descriptive claim
The speaker says Gödel's work anticipated later AI and computer science programs that use arithmetic to express language contents and language to express arithmetic.
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 so he is preempting what we do later in artificial intelligence and computer science when we are building programs that use arithmetic to express the contents of a language and vice versa.”13:18Report a misattribution
0.85how strongly it was put, not whether it is true
0.70importance to the conversation
0.93confidence the claim was read correctly