Acquisition Talk cover image

Programmed to Fail - 7. Complexity

Acquisition Talk

00:00

The Self-Referential Statement of Aristotle

Gurdle proved using arithmetic that arithmetic itself was either incomplete or inconsistent. He imagined an enumerator that would codify every arithmetic function into a unique code number. The analogous statement Gurdle mathematically employed was, this statement is unprovable. Later, Alan Turing proved it was undecidable.

Play episode from 24:27
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app