Constructing a Gödel Sentence

Abstract

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.