Group prayer on Skype on behalf of our Christian members

[Huggy Bear]

Calculators can problem solve NOT reason.

Well considering that you only seem to be using wikipedia and dictionaries and considering anything appearing in them as correct ...

https://en.wikipedia.org/wiki/Automated_reasoning

The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science, and even philosophy.

The most developed subareas of automated reasoning are automated theorem proving (and the less automated but more pragmatic subfield of interactive theorem proving) and automated proof checking (viewed as guaranteed correct reasoning under fixed assumptions). Extensive work has also been done in reasoning by analogy induction and abduction.

Other important topics include reasoning under uncertainty and non-monotonic reasoning

The simple fact that there is a qualifier in front of the word 'reasoning' should be a clue they aren't the same thing.
https://en.wiktionary.org/wiki/qualifier

qualifier
(grammar) A word or phrase, such as an adjective or adverb, that describes or characterizes another word or phrase, such as a noun or verb; a modifier; that adds or subtracts attributes to another.

*emphasis mine*

Therefore the term 'automated reasoning' is not the same as reasoning, or there would be no need for a qualifier.

Also from your wikki link
https://en.wikipedia.org/wiki/Automated_reasoning

Automated reasoning has been most commonly used to build automated theorem provers. Oftentimes, however, theorem provers require some human guidance to be effective and so more generally qualify as proof assistants.

Oh but look what I found, a wikipedia page not making a distinction between problem solving and reasoning ...

https://en.wikipedia.org/wiki/Case-based_reasoning

Case-based reasoning (CBR), broadly construed, is the process of solving new problems based on the solutions of similar past problems

It has been argued that case-based reasoning is not only a powerful method for computer reasoning, but also a pervasive behavior in everyday human problem solving; or, more radically, that all reasoning is based on past cases personally experienced. This view is related to prototype theory, which is most deeply explored in cognitive science.

*emphasis mine*

Again with the qualifiers...

Also from your link.
https://en.wikipedia.org/wiki/Case-based_reasoning

Critics of CBR (Case-based reasoning) argue that it is an approach that accepts anecdotal evidence as its main operating principle.

Humans have the ability to reason PERIOD. there is no need for a qualifier; if you have to add a qualifier then we aren't talking about the same thing.

If your ability to reason was only case-based then you'd have zero capacity for critical thought, because your conclusions would be formed by the results in other cases, and therefore you wouldn't be able to "think outside the box".

Got it?