descriptive claim
Gödel's logical language could express arithmetic, which allowed him to describe the language within itself, according to the speaker.
Unresolved speaker · Why Leibniz Couldn't Find the Mind Inside the Mill (Joscha Bach) · 2 Nov 2026
In their words
The transcript segments this claim was taken from
“He has a logical language that is also strong enough to build arithmetic in it, and in this way, he can basically describe the language in itself. He takes the logical language, builds Peano's axioms with it, and now he has arithmetic.”12:55Report a misattribution
0.85how strongly it was put, not whether it is true
0.70importance to the conversation
0.94confidence the claim was read correctly