4 sources healthy · latest episode 9 Nov 2026
descriptive claim

In response to apparent problems in mathematics, Hilbert urged mathematicians to fix them, and Gödel attempted to prove properties of a language by defining it within itself.

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 a- all these issues led, uh, Hilbert to saying, "Please, mathematicians, there seems to be something wrong here. Can't you fix this?" And so Gödel had this idea of trying to prove properties of his language by defining the language within itself.”
1:12:01Report a misattribution
0.90how strongly it was put, not whether it is true
0.80importance to the conversation
0.92confidence the claim was read correctly