Constructing a Gödel Sentence


Lee, Stephen (2011) Constructing a Gödel Sentence. [Quantropy eprint]



I argue that Gödel's incompleteness theorem is much easier to understand when thought of in terms of computers, and describe the writing of a computer program which generates the undecidable Gödel sentence.

Related URLs:

Item Type:Quantropy eprint
Subjects:Q - SCIENCE > QA1-939 --- Mathematics > QA01-43 General > QA09-QA10 Mathematical logic
ID Code:14
Deposited By:Mr Stephen Lee
Deposited On:22 Sep 2011 13:53
Last Modified:22 Sep 2011 13:57
Advisor Comments
Related Books