descriptive claim
The speaker says Kurt Gödel used the idea of emulation to construct his proof by using Peano arithmetic to express a logical language and build an emulator.
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
“Kurt Gödel has already used it to construct his proof. He basically built an emulator using Peano arithmetic to express a logical language.”12:46Report a misattribution
0.85how strongly it was put, not whether it is true
0.70importance to the conversation
0.92confidence the claim was read correctly