# The undecidable Gödel sentence

Related reading | |
---|---|

Newly PublishedThe Annotated Turing:
A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
Charles Petzold explains the legendary 36-page paper in the context of Turing's life | |

I am a strange loop
Hofstadter's latest book, in which he examines the parallels between Gödel's incompleteness theorem and the the emergence of mind My Review of I am a strange loop
| |

A madman dreams of Turing machines
Janna Levin gives a partially fictional account of the lives of two of the most prominent mathematicians of the 20 ^{th} century, Kurt Godel and Alan Turing.
My Review of A madman dreams of Turing machines
| |

On formally undecidable propositions of Principia mathematica and related systems
This is where it all began | |

See Gödel's incompleteness theorem - recommended reading for more information related to this subject |