The Incompleteness Theorem

@inproceedings{Davis2006TheIT,
  title={The Incompleteness Theorem},
  author={Martin A. Davis},
  year={2006}
}
414 NOTICES OF THE AMS VOLUME 53, NUMBER 4 I n September 1930 in Königsberg, on the third day of a symposium devoted to the foundations of mathematics, the young Kurt Gödel launched his bombshell announcing his incompleteness theorem. At that time, there were three recognized “schools” on the foundations of mathematics: the logicism based on the work of Frege, Russell, and Whitehead that saw mathematics as simply part of logic, Brouwer’s radical intuitionism, and Hilbert’s proof theory (also… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-4 of 4 references

Über formal unentscheidbare Sätze der Principia Mathematica und verwandte Systeme I” with page-facing English translation

KURT GÖDEL
Solomon Feferman, et al. (eds.), Kurt Gödel, Collected Works, vol. I., Oxford, New York • 1986
View 1 Excerpt

Computability: An Introduction to Recursive Function Theory

NIGEL CUTLAND
Cambridge University Press, Cambridge, England, and New York • 1980
View 1 Excerpt

Hilbert’s Tenth Problem: Diophantine Equations: Positive Aspects of a Negative Solution

MARTIN DAVIS, YURI MATIJASEVIC, JULIA ROBINSON
Proceedings of Symposia in Pure Mathematics, vol. 28 • 1976
View 2 Excerpts

Similar Papers

Loading similar papers…