A Brief Introduction to Gödel’s Theorems

Abstract

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