Why the mind is more than a machine
Bobby Azarian writes: Before Kurt Gödel, logicians and mathematicians believed that all statements about numbers — and reality more generally — were either true or false, and that there must be a rule-based way of determining which category a specific statement belonged to. According to this logic, mathematical proof is the true source of knowledge. The Pythagorean theorem, for example, is a mathematical conjecture that is true: It has been proved formally, and in more ways than one. With many…