Arindama Singh is with the Indian Institute of Technology Madras. He received his PhD from the Indian Institute of Technology Kanpur in 1990. His research interests are in mathematical logic, and numerical analysis.

This article discusses two theorems of Georg Cantor: Cantor's Little Theorem and Cantor's Diagonal Theorem. The results are obtained by generalizing the method of proof of the well known Cantor's theorem about the cardinalities of a set and its power set. As an application of these, Godel's first incompleteness theorem is proved. Hints are given as to how to derive other deeper results including the existence of Parikh's sentence.

Read full article (2.7 Mb)

Address for Correspondence
Arindama Singh
Department of Mathematics
Indian Institute of Technology, Madras
Chennai 600036, India
Email: asingh@iitm.ac.in