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

Bulletin of Symbolic Logic

Volumn 3, Issue 2, 1997, Pages 154-180

  Sieg, Wilfried ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031510755     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2307/421012     Document Type: Article

References (67)

1. PAUL BERNAYS, Logical calculus, The Institute for Advanced Studies, Princeton, 1935-6, notes by Prof. Bernays with assistance of Mr. F. A. Ficken.
2. ALONZO CHURCH, Alternatives to Zermelo's assumption, Transactions of the American Mathematical Society, vol. 29 (1927), pp. 178-208, Ph.D. thesis, Princeton.
3. _, On the law of the excluded middle, Bulletin of the American Mathematical Society, vol. 34 (1928), pp. 75-78.
4. _, A set of postulates for the foundation of logic, part I, Annals of Mathematics, vol. 33 (1932), no. 2, pp. 346-66.
5. _, A set of postulates for the foundation of logic, part II, Annals of Mathematics, vol. 34 (1933), no. 2, pp. 839-64.
6. _, The Richard paradox, American Mathematical Monthly, vol. 41 (1934), pp. 356-61.
7. _, A proof of freedom from contradiction, Proceedings of the National Academy of Sciences, vol. 21 (1935), pp. 275-81.
8. _, An unsolvable problem of elementary number theory, Bulletin American Mathematical Society, vol. 41 (1935), pp. 332-3.
9. _, A note on the Entscheidungsproblem, Journal of Symbolic Logic, vol. 1 (1936), pp. 40-1, Corrections, ibid., pp. 101-2.
10. _, An unsolvable problem of elementary number theory, American Journal of Mathematics, vol. 58 (1936), pp. 345-63.
11. _, Review of [54], Journal of Symbolic Logic, vol. 2 (1937), no. 1, p. 43.
12. _, Review of [63], Journal of Symbolic Logic, vol. 2 (1937), no. 1, pp. 42-3.
13. _, Introduction to mathematical logic, vol. I, Princeton University Press, Princeton, 1956.
14. ALONZO CHURCH and STEPHEN C. KLEENE, Formal definitions in the theory of ordinal numbers, Bulletin of the American Mathematical Society, vol. 41 (1935), p. 627.
15. _, Formal definitions in the theory of ordinal numbers, Fundamenta Mathematicae, vol. 28 (1936), pp. 11-21.
16. ALONZO CHURCH and J. BARKLEY ROSSER, Some properties of conversion, Bulletin of the American Mathematical Society, vol. 41 (1935), p. 332.
17. _, Some properties of conversion, Transactions of the American Mathematical Society, vol. 39 (1936), pp. 472-82.
18. MARTIN DAVIS, The undecidable, Raven Press, Hewlett, New York, 1965.
19. _, Why Gödel didn't have Church's thesis, Information and Control, vol. 54 (1982), pp. 3-24.
20. _, American logic in the 1920s, this BULLETIN, vol. 1 (1995), no. 3, pp. 273-8.
21. JOHN W. DAWSON, Logical dilemmas - the life and work of Kurt Gödel, A. K. Peters, Wellesley, 1997.
22. RICHARD DEDEKIND, Stetigkeit und irrationale Zahlen, Vieweg, Braunschweig, 1872.
23. _, Was sind und was sollen die Zahlen?, Vieweg, Braunschweig, 1888.
24. HERB ENDERTON, In memoriam: Alonzo Church, this BULLETIN, vol. 1 (1995), no. 4, pp. 486-88.
25. SOLOMON FEFERMAN, Turing in the land of O(z), The universal Turing machine (Rolf Herken, editor), Oxford University Press, Oxford, 1988, pp. 113-47.
26. ROBIN GANDY, The confluence of ideas, The universal Turing machine (Rolf Herken, editor), Oxford University Press, Oxford, 1988, pp. 55-111.
27. KURT GöDEL, The present situation in the foundations of mathematics, Collected works III, Oxford University Press, Oxford, 1933, pp. 45-53.
28. _, On undecidable propositions of formal mathematical systems, Collected works I, Oxford University Press, Oxford, 1934, pp. 346-371.
29. _, Review of [5], Collected works I, Oxford University Press, Oxford, 1934, pp. 381-3.
30. _, On the length of proofs, Collected works I, Oxford University Press, Oxford, 1936, pp. 397-9.
31. _, Review of [7], Collected works I, Oxford University Press, Oxford, 1936, pp. 399-401.
32. _, Remarks before the Princeton bicentennial conference on problems in mathematics, Collected works II, Oxford University Press, Oxford, 1946, pp. 150-3.
33. _, Collected works I, Oxford University Press, Oxford, 1986.
34. _, Collected works II, Oxford University Press, Oxford, 1990.
35. _, Collected works III, Oxford University Press, Oxford, 1995.
36. DAVID HILBERT, Natur und mathematisches Erkennen, 1919, 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.
37. DAVID HILBERT and PAUL BERNAYS, Grundlagen der Mathematik I, Springer-Verlag, Berlin, 1934.
38. _, Grundlagen der Mathematik II, Springer-Verlag, Berlin, 1939.
39. STEPHEN C. KLEENE, Proof by cases informal logic, Annals of Mathematics, vol. 35 (1934), pp. 529-44.
40. _, General recursive functions of natural numbers, Bulletin of the American Mathematical Society, vol. 41 (1935), p. 489.
41. _, λ-definability and recursiveness, Bulletin of the American Mathematical Society, vol. 41 (1935), p. 490.
42. _, A theory of positive integers in formal logic, American Journal of Mathematics, vol. 57 (1935), pp. 153-73, 219-44, the story behind this paper is described in [47, pp. 57-58]; it was first submitted on October 9, 1933; its revised version was re-submitted on June 13, 1934.
43. _, General recursive functions of natural numbers, Mathematische Annalen, vol. 112 (1936), pp. 727-42.
44. _, λ-definability and recursiveness, Duke Mathematics Journal, vol. 2 (1936), pp. 340-53, [40] and [41] are abstracts of these two papers and were received by the American Mathematical Society on July 1, 1935.
45. _, A note on recursive functions, Bulletin of the American Mathematical Society, vol. 42 (1936), pp. 544-6.
46. _, Introduction to metamathematics, Wolters-Noordhoff Publishing, Groningen, 1952.
47. _, Origins of recursive function theory, Annals of Historical Computing, vol. 3 (1981), no. 1, pp. 52-66.
48. STEPHEN C. KLEENE and J. BARKLEY ROSSER, The inconsistency of certain formal logics, Bulletin of the American Mathematical Society, vol. 41 ( 1935), p. 24, this abstract was received by the American Mathematical Society on November 16, 1934.
49. _, The inconsistency of certain formal logics, Annals of Mathematics, vol. 36 (1935), no. 2, pp. 630-6.
50. ELLIOTT MENDELSON, Second thoughts about Church's thesis and mathematical proofs, The Journal of Philosophy, vol. 87 (1990), no. 5, pp. 225-33.
51. DANIELE MUNDICI and WILFRIED SIEG, Paper machines, Philosophia Mathematica, vol. 3 (1995), pp. 5-30.
52. PIERGIORGIO ODIFREDDI, Kreisel's Church, Kreiseliana (P. Odifreddi, editor), A. K. Peters, Wellesley, 1996, pp. 389-415.
53. JÓZEF PEPIS, Ein Verfahren der mathematischen Logik, Journal of Symbolic Logic, vol. 3 (1938), pp. 61-76, reviews of some of his papers appeared in the Journal of Symbolic Logic, vol. 2, p. 84; vol. 3, pp. 160-1; vol. 4, p. 93.
54. JÓZEF PEPIS, Ein Verfahren der mathematischen Logik, Journal of Symbolic Logic, vol. 3 (1938), pp. 61-76, reviews of some of his papers appeared in the Journal of Symbolic Logic, vol. 2, p. 84; vol. 3, pp. 160-1; vol. 4, p. 93.
55. JÓZEF PEPIS, Ein Verfahren der mathematischen Logik, Journal of Symbolic Logic, vol. 3 (1938), pp. 61-76, reviews of some of his papers appeared in the Journal of Symbolic Logic, vol. 2, p. 84; vol. 3, pp. 160-1; vol. 4, p. 93.
56. JÓZEF PEPIS, Ein Verfahren der mathematischen Logik, Journal of Symbolic Logic, vol. 3 (1938), pp. 61-76, reviews of some of his papers appeared in the Journal of Symbolic Logic, vol. 2, p. 84; vol. 3, pp. 160-1; vol. 4, p. 93.
57. EMIL POST, Finite combinatory processes. Formulation I, Journal of Symbolic Logic, vol. 1 (1936), pp. 103-5.
58. J. BARKLEY ROSSER, A mathematical logic without variables, Annals of Mathematics, vol. 36 (1935), no. 2, pp. 127-50, also Duke Mathematics Journal, vol. 1, pp. 328-55.
59. J. BARKLEY ROSSER, A mathematical logic without variables, Annals of Mathematics, vol. 36 (1935), no. 2, pp. 127-50, also Duke Mathematics Journal, vol. 1, pp. 328-55.
60. _, Highlights of the history of the lambda-calculus, Annals of Historical Computing, vol. 6 (1984), no. 4, pp. 337-49.
61. JOSEPH R. SHOENFIELD, Mathematical logic, Addison-Wesley, Reading, Massachusetts, 1967.
62. WILFRIED SIEG, Mechanical procedures and mathematical experience, Mathematics and mind (A. George, editor), Oxford University Press, Oxford, 1994, pp. 71-117.
63. _, Aspects of mathematical experience, Philosophy of mathematics today (E. Agazzi and G. Darvas, editors), Kluwer, 1996, pp. 195-217.
64. WILFRIED SIEG and JOHN BYRNES, K-graph machines: generalizing Turing's machines and arguments, Gödel '96 (Petr Hájek, editor), Lecture Notes in Logic, vol. 6, Springer-Verlag, 1996, pp. 98-119.
65. _, Gödel, Turing, and K-graph machines, to appear in Logic in Florence, 1997.
66. ROBERT SOARE, Computability and recursion, this BULLETIN, vol. 2 (1996), no. 3, pp. 284-321.
67. ALAN TURING, On comptable numbers, with an application to the Entscheidungsproblem, Proceedings of the London Mathematical Society. Series 2, vol. 42 (1936), pp. 230-265.