“…to establish by counting or calculation…”
Wow. Our explanation for math has math starting out as methods to assist the simple counting of integers, and from there, expanding into quantification.
So, how do we think?
Computers can follow logical processes, but computers can’t think. What is the “thing” that takes fragments of possibilities and assembles the program for the computer?