There is some machine M that can give the nth digit of some real number given some name or description of the real number. Then M is closed if whenever M has a name for some real number s, then M also has a name for real numbers that have simple definitions in terms of s. This leads to a contradiction where M cannot name some diagonal number (constructed using the table used in lecture to prove that the reals are uncountably infinite) but if M has a name for T and M is closed, it must name this diagonal number too. This, similar to the Berry paradox, demonstrates a finite scheme cannot “capture the essence of how one connects the real and the ideal.” The last paradox is one most of us are familiar with. It is sentences that seem to contradict themselves, such as “This sentence is false.” The remainder of the chapter discusses this paradox in detail, but at the end it reaches a similar conclusion as the other two paradoxes: there is an inherent limitation in our language, semantics, and representation. The first paradox shows this through the natural numbers, the second paradox through the real numbers, and the last through truth
There is some machine M that can give the nth digit of some real number given some name or description of the real number. Then M is closed if whenever M has a name for some real number s, then M also has a name for real numbers that have simple definitions in terms of s. This leads to a contradiction where M cannot name some diagonal number (constructed using the table used in lecture to prove that the reals are uncountably infinite) but if M has a name for T and M is closed, it must name this diagonal number too. This, similar to the Berry paradox, demonstrates a finite scheme cannot “capture the essence of how one connects the real and the ideal.” The last paradox is one most of us are familiar with. It is sentences that seem to contradict themselves, such as “This sentence is false.” The remainder of the chapter discusses this paradox in detail, but at the end it reaches a similar conclusion as the other two paradoxes: there is an inherent limitation in our language, semantics, and representation. The first paradox shows this through the natural numbers, the second paradox through the real numbers, and the last through truth