The incompleteness theorem

Notices of the American Mathematical Society

Volumn 53, Issue 4, 2006, Pages 414-418

  Davis, Martin ^a,b  

^a NEW YORK UNIVERSITY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33645571421     PISSN: 00029920     EISSN: 10889477     Source Type: Journal    
DOI: None     Document Type: Review

References (10)

1. NIGEL CUTLAND, Computability: An Introduction to Recursive Function Theory, Cambridge University Press, Cambridge, England, and New York, 1980.
2. MARTIN DAVIS, YURI MATIJASEVIC, and JULIA ROBINSON, "Hilbert's Tenth Problem: Diophantine Equations: Positive Aspects of a Negative Solution", Proceedings of Symposia in Pure Mathematics, vol. 28 (1976), pp. 323-378;
3. reprinted in Feferman, Solomon, ed. The Collected Works of Julia Robinson, Amer. Math. Soc. 1996, pp. 269-378.
4. HERBERT ENDERTON, A Mathematical Introduction to Logic, Academic Press, New York, 1972.
5. _, Elements of Set Theory, Academic Press, New York, 1977.
6. SOLOMON FEFERMAN, The Impact of the Incompleteness Theorems on Mathematics, Notices, April 2006.
7. JULIET FLOYD and AKIHIRO KANAMORI, How Gödel Transformed Set Theory, Notices, April 2006.
8. 0 Incompleteness: Finite Graph Theory 1." http://www.math.ohio-state.edu/%7Efriedman/pdf/ Pi01013006.pdf.
9. KURT GÖDEL, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandte Systeme I" with page-facing English translation, in Solomon Feferman, et al. (eds.), Kurt Gödel, Collected Works, vol. I., Oxford, New York, 1986.
10. YURI MATIYASEVICH, Hilbert's Tenth Problem, MIT Press, Cambridge, Massachusetts, 1983.