The Incompleteness Theorem

@inproceedings{Davis2006TheIT,
  title={The Incompleteness Theorem},
  author={M. Davis},
  year={2006}
}
  • M. Davis
  • Published 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
    13 Citations
    Series Incompleteness : A Personal Perspective
    Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics
    • 35
    • PDF
    An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
    • D. Willard
    • Mathematics, Computer Science
    • J. Symb. Log.
    • 2005
    • 23
    • PDF
    Axiomatic (and Non-Axiomatic) Mathematics
    • S. Salehi
    • Mathematics, Computer Science
    • ArXiv
    • 2020
    Reflection principles, propositional proof systems, and theories
    Context-Dependent Functions: Narrowing the Realm of Turing's Halting Problem
    • N. Macias
    • Computer Science, Mathematics
    • ArXiv
    • 2015
    Construction and Set Theory.

    References

    SHOWING 1-9 OF 9 REFERENCES
    Elements of Set Theory
    • 104
    • PDF
    A mathematical introduction to logic
    • 2,170
    • PDF
    Hilbert's Tenth Problem: Diophantine Equations: Positive Aspects of a Negative Solution
    • Proceedings of Symposia in Pure Mathematics The Collected Works of Julia Robinson
    • 1976
    Hilbert’s Tenth Problem: Diophantine Equations: Positive Aspects of a Negative Solution
    • Proceedings of Symposia in Pure Mathematics, vol. 28
    • 1976
    How Gödel Transformed Set Theory, Notices
    • How Gödel Transformed Set Theory, Notices
    • 2006
    Über formal unentscheidbare Sätze der Principia Mathematica und verwandte Systeme I " with page-facing English translation
    • Kurt Gödel, Collected Works
    • 1986
    Π 0 1 Incompleteness: Finite Graph Theory 1
    • Π 0 1 Incompleteness: Finite Graph Theory 1