Skip to main content Accessibility help
×
Home
  • Print publication year: 2014
  • Online publication date: June 2014

Step by recursive step: Church's analysis of effective calculability

Summary

In fact, the only evidence for the freedom from contradiction of Principia Mathematica is the empirical evidence arising from the fact that the system has been in use for some time, many of its consequences have been drawn, and no one has found a contradiction.

(Church in a letter to Godel, July 27, 1932)

Abstract. Alonzo Church's mathematical work on computability and undecidability is well known indeed, and we seem to have an excellent understanding of the context in which it arose. The approach Church took to the underlying conceptual issues, by contrast, is less well understood. Why, for example, was “Church's Thesis” put forward publicly only in April 1935, when it had been formulated already in February/March 1934? Why did Church choose to formulate it then in terms of Gödel's general recursiveness, not his own λ-definability as he had done in 1934? A number of letters were exchanged between Church and Paul Bernays during the period from December 1934 to August 1937; they throw light on critical developments in Princeton during that period and reveal novel aspects of Church's distinctive contribution to the analysis of the informal notion of effective calculability. In particular, they allow me to give informed, though still tentative answers to the questions I raised; the character of my answers is reflected by an alternative title for this paper, Why Church needed Gödel's Recursiveness for his Thesis.

Bernays, Paul 19351936 Logical Calculus; Notes by Prof. Bernays with assistance of Mr. F.A. Ficken, The Institute for Advanced Studies, Princeton, 125 pp.
Church, Alonzo 1927 Alternatives to Zermelo's assumption; Transactions of the American Mathematical Society, vol. 29, pp. 178-208. (Ph.D. thesis; Princeton.)
Church, Alonzo 1928 On the law of the excluded middle; American Mathematical Society. Bulletin, vol. 34, pp. 75-781.
Church, Alonzo 1932 A set of postulates for the foundation of logic, part I; Annals of Mathematics, vol. 33, pp. 346-366.
Church, Alonzo 1933 A set of postulates for the foundation of logic, part II; Annals of Mathematics, vol. 34, pp. 839-864.
Church, Alonzo 1934 The Richard Paradox; The American Mathematical Monthly, vol. 41, pp. 356-361.
Church, Alonzo 1935 A proof of freedom from contradiction; Proceedings of the National Academy of Sciences of the United States of America, vol. 21, pp. 275-81; reviewed in (Gödel 1936b).
Church, Alonzo 1935a An unsolvable problem of elementary number theory; American Mathematical Society. Bulletin, vol. 41, pp. 332-333.
Church, Alonzo 1936 An unsolvable problem of elementary number theory; American Journal of Mathematics, vol. 58, pp. 345-363.
Church, Alonzo 1936a A note on the Entscheidungsproblem; The Journal of Symbolic Logic, vol. 1, pp. 40-41, and Corrections, Church Alonzo 1936a A note on the Entscheidungsproblem; The Journal of Symbolic Logic, vol. 1, pp. 101–102.
Church, Alonzo 1937 Review of(Turing 1936), The Journal of Symbolic Logic, vol. 2, pp. 42-43.
Church, Alonzo 1937a Review of(Post 1936), The Journal of Symbolic Logic, vol. 2, p. 43.
Church, Alonzo 1956 Introduction to mathematical logic, volume I; Princeton University Press, Princeton.
Church, Alonzo and J. Barkley, Rosser 1935 Some properties of conversion; American Mathematical Society. Bulletin, vol. 41, p. 332.
Church, Alonzo and J. Barkley, Rosser 1936 Some properties of conversion; Transactions of the American Mathematical Society, vol. 39, pp. 472-482.
Church, Alonzo and Stephen C., Kleene 1935 Formal definitions in the theory of ordinal numbers; American Mathematical Society. Bulletin, vol. 41, p. 627.
Church, Alonzo and Stephen C., Kleene 1936 Formal definitions in the theory of ordinal numbers; Fundamenta Mathematicae, vol. 28, pp. 11-21.
Davis, Martin *1958 Computability and unsolvability; McGraw-Hill.
Davis, Martin 1965 The Undecidable; Raven Press, Hewlett, New York.
Davis, Martin 1982 Why Gödel didn't have Church's Thesis; Information and Control, vol. 54, pp. 3-24.
Davis, Martin *1994 Emil L. Post: His life and his work; in Solvability, Provability, Definability: The Collected Works of Emil L. Post, (M., Davis, editor), Birkhäuser, pp. xi–xxviii.
Davis, Martin 1995 American logic in the 1920s; The Bulletin of Symbolic Logic, vol. 1, pp. 273-278.
Dawson, John W. 1997 Logical Dilemmas—The life and work of Kurt Gödel; A. K. Peters, Wellesley.
Dedekind, Richard 1872 Stetigkeit und irrationale Zahlen; Vieweg, Braunschweig.
Dedekind, Richard 1888 Was sind und was sollen die Zahlen?; Vieweg, Braunschweig.
Enderton, Herb 1995 In Memoriam: Alonzo Church; The Bulletin of Symbolic Logic, vol. 1, pp. 486-488.
Feferman, Solomon 1988 Turing in the land of O(z); in The Universal Turing Machine (Rolf, Herken, editor), Oxford University Press, Oxford, 1988, pp. 113-147.
Gandy, Robin 1988 The confluence of ideas; in The Universal Turing Machine, (Rolf, Herken, editor), Oxford University Press, Oxford, 1988, pp. 55-111.
Gödel, Kurt 1931 On formally undecidable propositions of Principia Mathematica and related systems I; in Collected Works I, pp. 145-195.
Gödel, Kurt 1933o The present situation in the foundations of mathematics; in Collected Works III, pp. 45-53.
Gödel, Kurt 1934 On undecidable propositions offormal mathematical systems; in Collected Works I, pp. 346-371.
Gödel, Kurt 1934e Review of Church 1933; in Collected Works I, pp. 381-383.
Gödel, Kurt 1936a On the length of proofs; in Collected Works I, pp. 397-399.
Gödel, Kurt 1936b Review of Church 1935; in Collected Works I, pp. 399-401.
Gödel, Kurt *193? [[Undecidable Diophantine propositions]]; in Collected Works III, pp. 164-175.
Gödel, Kurt 1946 Remarks before the Princeton bicentennial conference on problems in mathematics; in Collected Works II, pp. 150-153.
Gödel, Kurt 1986 Collected Works I, Oxford University Press, Oxford.
Gödel, Kurt 1990 Collected Works II, Oxford University Press, Oxford.
Gödel, Kurt 1995 Collected Works III, Oxford University Press, Oxford.
Gödel, Kurt *2003a Collected Works VI, Oxford University Press, Oxford.
Gödel, Kurt *2003b Collected Works V, Oxford University Press, Oxford.
Hilbert, David 1919 Natur und mathematisches Erkennen; Lecture given in the Winter term 1919, the notes were written by Paul, Bernays; reprint by the Mathematical Institute of the University Göttingen, 1989.
Hilbert, David and Paul, Bernays 1934 Grundlagen der Mathematik I, Springer Verlag, Berlin.
Hilbert, David and Paul, Bernays 1939 Grundlagen der Mathematik II, Springer Verlag, Berlin.
Kleene, Stephen C. 1934 Proof by cases in formal logic; Annals of Mathematics, vol. 35, pp. 529-544.
Kleene, Stephen C. 1935 A theory ofpositive integers in formal logic; American Journal of Mathematics, vol. 57, pp. 153–173 and 219-244.
Kleene, Stephen C. 1935a General recursive functions of natural numbers; American Mathematical Society. Bulletin, vol. 41, p. 489.
Kleene, Stephen C. 1935b λ-definability and recursiveness; American Mathematical Society. Bulletin, vol. 41, p. 490.
Kleene, Stephen C. 1936 General recursive functions of natural numbers; Mathematische Annalen, vol. 112, 727-742.
Kleene, Stephen C. 1936a λ-definability and recursiveness; Duke Mathematical Journal, vol. 2, pp. 340-353. (1935a and b are abstracts of these two papers and were received by the AMS on July 1, 1935.)
Kleene, Stephen C. 1936b A note on recursive functions; American Mathematical Society. Bulletin, vol. 42, pp. 544-546.
Kleene, Stephen C. 1952 Introduction to metamathematics; Wolters-Noordhoff Publishing, Groningen.
Kleene, Stephen C. 1981 Origins of recursive function theory; Annals of the History of Computing, vol. 3, pp. 52-66.
Kleene, Stephen C. and J. Barkley, Rosser 1935 The inconsistency of certain formal logics; American Mathematical Society. Bulletin, vol. 41, p. 24.
Kleene, Stephen C. and J. Barkley, Rosser 1935 The inconsistency of certain formal logics; Annals of Mathematics, vol. 36, no. 2, pp. 630-636.
Mendelson, Elliott 1990 Second thoughts about Church's Thesis and mathematical proofs; The Journal of Philosophy, vol. 87, no. 5, 225-233.
Odifreddi, Piergiorgio 1996 Kreisel's Church; in Kreiseliana (P., Odifreddi, editor), A. K. Peters, Wellesley, pp. 389-415.
Pepis, Józef 1938 Ein Verfahren der mathematischen Logik; The Journal of Symbolic Logic, vol. 3, pp. 61-76.
Post, Emil 1936 Finite combinatory processes. Formulation I; The Journal of Symbolic Logic, vol. 1, pp. 103-105.
Post, Emil *1941 Absolutely unsolvable problems and relatively undecidable propositions—Account of an anticipation; submitted to the American Journal of Mathematics in 1941, but published only in Davis' “The Undecidable” in 1965. (The mathematical core was published in (Post 1943).)
Post, Emil *1943 Formal reductions of the general combinatorial decision problem; American Journal of Mathematics, vol. 55, no. 2, pp. 197-215.
Post, Emil *1947 Recursive unsolvability of a problem of Thue; The Journal of Symbolic Logic, vol. 12, pp. 1-11.
Rosser, J. Barkley 1935 A mathematical logic without variables; Annals of Mathematics, vol. 36, no. 2, pp. 127-150 and Duke Mathematical Journal, vol. 1, pp. 328–355.
Rosser, J. Barkley 1984 Highlights of the history of the lambda-calculus; Annals of the History of Computing, vol. 6, no. 4, pp. 337-349.
Shagrir, Oron *2006 Gödel on Turing on computability; in Church's Thesis after 70 years, (A., Olszewski, J., Wolenski and R., Janusz, editors), Ontos Verlag, pp. 393-419.
Shoenfield, Joseph R. 1967 Mathematical Logic; Addison-Wesley, Reading (Massachusetts).
Sieg, Wilfried 1994 Mechanical procedures and mathematical experience; in Mathematics and Mind, (A., George, editor), Oxford University Press, Oxford, pp. 71-117.
Sieg, Wilfried 1996 Aspects of mathematical experience; in Philosophy of Mathematics Today, (E., Agazzi and G., Darvas, editors), Kluwer, pp. 195-217.
Sieg, Wilfried *2002 Calculations by man and machine: conceptual analysis; in Reflections on the Foundations of Mathematics (W., Sieg, R., Sommer and C., Talcott, editors), Lecture Notes in Logic 15, Association for Symbolic Logic, pp. 390-409.
Sieg, Wilfried *2005 Only two letters: The correspondence between Herbrand and Gödel; The Bulletin of Symbolic Logic, vol. 11, no. 2, pp. 172-184.
Sieg, Wilfried *2006 Gödel on computability; Philosophia Mathematica, vol. 14, pp. 189-207.
Sieg, Wilfried *2009 On computability; in Philosophy of Mathematics, (Andrew, Irvine, editor), pp. 535-630.
Sieg, Wilfried and John, Byrnes 1996 K-graph machines: generalizing Turing's machines and arguments; in Gödel '96, (Petr, Hajek, editor), Lecture Notes in Logic 6, Springer Verlag, pp. 98-119.
Sieg, Wilfried and John, Byrnes 1997 Gödel, Turing, and K-graph machines; in Logic and Foundations of Mathematics, (Andrea, Cantini et al. editors), Kluwer Academic Publisher, pp. 57-66.
Soare, Robert 1996 Computability and recursion; The Bulletin of Symbolic Logic, vol. 2, pp. 284-321.
Turing, Alan 1936 On computable numbers, with an application to the Entscheidungsproblem; Proceedings of the London Mathematical Society, Second Series, vol. 42, pp. 230-265.
Turing, Alan *1950 The word problem in semi-groups with cancellation; Annals of Mathematics, vol. 52, pp. 491-505.
Turing, Alan *1954 Solvable and unsolvable problem; Science News, vol. 31, pp. 7-23.