To expand the conversation a bit with the hopes of breaking out of what seems to be some kind of language trap ... Let's talk about how a person and a computer

To expand the conversation a bit with the hopes of breaking out of what seems to be some kind of language trap ... Let's talk about how a person and a computer can arrive at / prove truth. A person's brain can generate true concepts in many ways. One way is careful logical thinking based on true premises. Another is some other manner of thinking (pick whatever you like) which ends up being true. Speaking of combinatorics and algorithms now, there are many ways to validate truth. It depends of course on the style of logic in play. Depending on the set of logical primitives available (e.g. modus ponens), there are many different computational pathways get from a set of premises to a conclusion. In other words, there are many ways to prove the Pythagorean Theorem. I don't think we'll disagree. But maybe? Or maybe we'll get clear on some language barrier?