descriptive claim
Gödel encoded logical formulas as numbers in arithmetic and used numerical equations to calculate the outcomes of logical procedures, 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
“And inside of the arithmetic, he expresses his logical formulisms using numbers and then comes up with numerical equations that calculate the outcome of the logical procedures.”13:07Report 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