A Brief Introduction to Gödel’s Theorems

Michael Detlefsen, University of Minnesota at Duluth


Gödel’s two famous incompleteness theorems are results that have come up a number of times in the discussions at the 1977 ACMS conference. This paper provides a brief and relatively non-technical statement on these results and of their significance for the foundations of mathematics.