"Mr. Dean complains that Gödel "cannot tell us what makes a mathematical statement true", but Gödel's Incompleteness theorems make no attempt to do this"
Godels 1st theorem
“....., there is an arithmetical statement that is true,[1] but not provable in the theory (Kleene 1967, p. 250)
but
Godel did not know what makes a maths statement true
Gödel thought that the ability to perceive the truth of a mathematical or logical proposition is a matter of intuition, an ability he admitted could be ultimately beyond the scope of a formal theory of logic or mathematics[63][64] and perhaps best considered in the realm of human comprehension and communication, but commented: Ravitch, Harold (1998). "On Gödel's Philosophy of Mathematics".,Solomon, Martin (1998). "On Kurt Gödel's Philosophy of Mathematics"
Last Edit: Apr 28, 2023 21:07:43 GMT by gabble: addition