Comment by imtringued

Solving a decidable problem is a large subset of reasoning tasks. Counting is also a critical reasoning task, since it requires you to both understand natural numbers and the concept of distinct instances of objects belonging to a general category.

Two centuries ago there were no computers, everything had to be done by humans. Get to that level first before you whip out code.