opinion claim
The speaker thinks the mathematical language of thought developed by mathematicians contains bugs.
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.80how strongly it was put, not whether it is true
0.80importance to the conversation
0.96confidence the claim was read correctly