The Writing of Introduction to Metamathematics

  • Stephen C. Kleene


It was suggested that I talk here on the writing of my book Introduction to Metamathematics (IM).


Formal System Recursive Function Symmetric Form Proof Theory Incompleteness Theorem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Supplement to the Bibliography in IM

  1. Cohen, P.J. (1963–4), The independence of the continuum hypothesis, and ibid., II. Proc. Nat. Acad. Sci. 50, 1143–1148 and 51, 105–110.CrossRefMathSciNetGoogle Scholar
  2. Davis, M. (1982), Why Gödel didn’t have Church’s thesis, Inform, and Control, 54, 3–24.MATHCrossRefMathSciNetGoogle Scholar
  3. Kleene, S.C. (1973), Readability: A retrospective survey. Cambridge Summer School in Mathematical Logic, 1971, in A.R.D. Mathias and H. Rogers (eds.), Lecture Notes in Mathematics, No. 337, Springer-Verlag, Berlin, pp. 95–112.CrossRefGoogle Scholar
  4. Kleene, S.C. (1981), Origins of recursive function theory. Ann. Hist. Comput. 3, 52–67. For six corrections, see Davis (1982), footnotes 10 and 12.MATHCrossRefMathSciNetGoogle Scholar
  5. Kolmogorov, A.N. (1932), Zur Deutung der intuitionistischen Logik, Math. Z. 35, 58–65.MATHCrossRefMathSciNetGoogle Scholar
  6. Wang, H. (1974), From Mathematics to Philosophy, Routledge and Kegan Paul, London and Humanities Press, New York, xiv + 428 pp.MATHGoogle Scholar

Copyright information

© Birkhäuser Boston 2008

Authors and Affiliations

  • Stephen C. Kleene
    • 1
  1. 1.Department of MathematicsUniversity of WisconsinMadisonUSA

Personalised recommendations