descriptive claim
According to the speaker, Gödel showed that bugs in mathematical thought can only be eliminated by redefining mathematics’ underlying language.
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 I think that's because this programming language for thought that mathematicians have developed has bugs in it. And what Gödel has discovered is that these bugs cannot be eliminated b- except by redefining the programming language of mathematics.”1:11:13Report a misattribution
0.90how strongly it was put, not whether it is true
0.90importance to the conversation
0.91confidence the claim was read correctly