Computability and recursion

Bulletin of Symbolic Logic

Volumn 2, Issue 3, 1996, Pages 284-321

  Soare, Robert I ^a  

^a UNIVERSITY OF CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030238604     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2307/420992     Document Type: Article

References (116)

1. G. BOOLOS and R. JEFFREY. Computability and logic, Cambridge University Press, Cambridge, England.
2. A. CHURCH, An unsolvable problem of elementary number theory, Bulletin of the American Mathematical Society, vol. 41, pp. 332-333, Preliminary report (abstract).
3. _, An unsolvable problem of elementary number theory, American Journal of Mathematics, vol. 58, pp. 345-363.
4. _, A note on the Entscheidungsproblem, Journal of Symbolic Logic, vol. 1, pp. 40-41, correction 101-102.
5. _, Review of Turing 1936, Journal of Symbolic Logic, vol. 2, no. 1, pp. 42-43.
6. _, Review of Post 1936, Journal of Symbolic Logic, vol. 2, no. 1, p. 43.
7. _, The constructive second number class, Bulletin of the American Mathematical Society, vol. 44, pp. 224-232.
8. A. CHURCH and S. C. KLEENE, Formal definitions in the theory of ordinal numbers, Fundamenta Mathematicae, vol. 28, pp. 11-21.
9. NIGEL CUTLAND, Computability: An introduction to recursive function theory, Cambridge University Press, Cambridge, England.
10. M. DAVIS, Computability and unsolvability, Mc-Graw-Hill, New York, reprinted in 1982 by Dover Publications.
11. M. Davis (editor), The undecidable. Basic papers on undecidable propositions, unsolvable problems, and computable functions, Raven Press, Hewlett, New York.
12. _, Why Gödel did not have Church's thesis, Information and Control, vol. 54, pp. 3-24.
13. _, Mathematical logic and the origin of modern computers, in Herken, 1988, pp. 149-174.
14. R. DEDEKIND, Stetigkeit und irrational Zahlen, Braunschweig, 5th ed., 1927; also in Dedekind Gesammelte mathematische Werke (Vieweg and Sohn, editors), vol. III, Braunschweig, 1932, pp. 315-334; English translation by Wooster Woodruff Beman entitled Continuity and irrational numbers, Essays on the theory of numbers, Open Court, Chicago, 1901, pp. 1-24.
15. R. DEDEKIND, Stetigkeit und irrational Zahlen, Braunschweig, 5th ed., 1927; also in Dedekind Gesammelte mathematische Werke (Vieweg and Sohn, editors), vol. III, Braunschweig, 1932, pp. 315-334; English translation by Wooster Woodruff Beman entitled Continuity and irrational numbers, Essays on the theory of numbers, Open Court, Chicago, 1901, pp. 1-24.
16. R. DEDEKIND, Stetigkeit und irrational Zahlen, Braunschweig, 5th ed., 1927; also in Dedekind Gesammelte mathematische Werke (Vieweg and Sohn, editors), vol. III, Braunschweig, 1932, pp. 315-334; English translation by Wooster Woodruff Beman entitled Continuity and irrational numbers, Essays on the theory of numbers, Open Court, Chicago, 1901, pp. 1-24.
17. _, Was sind und was sollen die Zahlen?, Braunschweig, 6th ed., 1930; also in Dedekind Gesammelte Mathematische Werke, vol. III, pp. 335-391; English translation by Beman, The nature and meaning of numbers. loc. cit., pp. 31-105; English translation in Dedekind, Essays on the theory of numbers, Open Court, Chicago, 1901, pp. 29-115.
18. _, Was sind und was sollen die Zahlen?, Braunschweig, 6th ed., 1930; also in Dedekind Gesammelte Mathematische Werke, vol. III, pp. 335-391; English translation by Beman, The nature and meaning of numbers. loc. cit., pp. 31-105; English translation in Dedekind, Essays on the theory of numbers, Open Court, Chicago, 1901, pp. 29-115.
19. _, Was sind und was sollen die Zahlen?, Braunschweig, 6th ed., 1930; also in Dedekind Gesammelte Mathematische Werke, vol. III, pp. 335-391; English translation by Beman, The nature and meaning of numbers. loc. cit., pp. 31-105; English translation in Dedekind, Essays on the theory of numbers, Open Court, Chicago, 1901, pp. 29-115.
20. _, Was sind und was sollen die Zahlen?, Braunschweig, 6th ed., 1930; also in Dedekind Gesammelte Mathematische Werke, vol. III, pp. 335-391; English translation by Beman, The nature and meaning of numbers. loc. cit., pp. 31-105; English translation in Dedekind, Essays on the theory of numbers, Open Court, Chicago, 1901, pp. 29-115.
21. R. L. EPSTEIN and W. A. CARNIELLI, Computability: computable functions, logic, and the foundations of mathematics, Brooks/Cole Advanced Books and Software, Pacific Grove, Calif.
22. S. FEFERMAN, Turing in the land of O(z), in Herken, 1988, pp. 113-147.
23. _, Turing's "oracle": From absolute to relative computability - and back, The space of mathematics (J. Echeverria et al., editors), Walter de Gruyter, Berlin, pp. 314-348.
24. M. FITTING, Computability theory, semantics, and logic programming, Oxford University Press.
25. R. GANDY, Church's thesis and principles for mechanisms, The Kleene symposium, North-Holland, pp. 123-148.
26. _, The confluence of ideas in 1936, in Herken, 1988, pp. 55-111.
27. K. GÖDEL, Undecidable diophantine propositions, in Gödel 1995, pp. 156-175.
28. _, Über formal unentscheidbare sätze der Principia Mathematica und verwandter systeme. I, Monatsch. Math. Phys., vol. 38, pp. 173-178, English translation in Davis 1965, pp. 4-38, and in van Heijenoort, 1967, pp. 592-616.
29. _, Über formal unentscheidbare sätze der Principia Mathematica und verwandter systeme. I, Monatsch. Math. Phys., vol. 38, pp. 173-178, English translation in Davis 1965, pp. 4-38, and in van Heijenoort, 1967, pp. 592-616.
30. _, Über formal unentscheidbare sätze der Principia Mathematica und verwandter systeme. I, Monatsch. Math. Phys., vol. 38, pp. 173-178, English translation in Davis 1965, pp. 4-38, and in van Heijenoort, 1967, pp. 592-616.
31. _, On undecidable propositions of formal mathematical systems, notes by S. C. Kleene and J. B. Rosser on lectures at the Institute for Advanced Study, Princeton, New Jersey, 1934, reprinted in Davis 1965, pp. 39-74].
32. _, On the length of proofs, Gödel 1986, pp. 397-399; reprinted in Davis 1965, pp. 82-83, with a Remark added in proof [of the original German publication].
33. _, Remarks before the Princeton bicentennial conference of problems in mathematics, reprinted in Davis 1965, pp. 84-88.
34. _, Some basic theorems on the foundations of mathematics and their implications, in Gödel 1995, pp. 304-323. (This was the Gibbs Lecture delivered by Gödel on December 26, 1951 to the American Mathematical Society).
35. _, Über eine bisher noch nicht benütze Erweiterung des finiten Standpunktes, Dialectica, vol. 12, pp. 280-287, German and English translation in Godel 1986. pp. 240-251, with introductory note by A. S. Troelstra, pp. 217-241.
36. _, Postscriptum to Gödel 1931, written in 1946, printed in Davis 1965, pp. 71-73.
37. _. Some remarks on the undecidability results, in Gödel 1990, pp. 305-306, written in 1972.
38. _, Collected works volume I: Publications 1929-36 (S. Feferman et al., editors), Oxford University Press, Oxford.
39. _, Collected works volume II: Publications 1938-1974 (S. Feferman et al., editors), Oxford University Press, Oxford.
40. _, Collected works volume III: Unpublished essays and lectures (S. Feferman et al., editors), Oxford University Press, Oxford.
41. L. HARRINGTON and R. I. SOARE. Definability, automorphisms, and dynamic properties of computable enumerable sets, this BULLETIN, vol. 2, 1996, pp. 199-213.
42. R. Herken (editor), The universal Turing machine: A half-century survey, Oxford University Press.
43. D. HILBERT, Grundlagen der Geometrie, 7th ed., Tuebner-Verlag, Leipzig, Berlin, 1930.
44. _, Über die Grundlagen der Logik und der Arithmetik, in Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8. bis 13. August 1904, Teubner, Leipzig, 1905, pp. 174-185. Reprinted in van Heijenoort 1967, pp. 129-138.
45. _, Axiomatisches Denken, Mathematische Annalen, vol. 78, pp. 405-415.
46. _, Über das Unendliche, Mathematische Annalen, vol. 95, pp. 161-190, English translation in van Heijenoort 1967, 367-392.
47. _, Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität, Die Grundlagen der Mathematik, vol. 6, pp. 65-85, reprinted in van Heijenoort 1967, pp. 464-479.
48. D. HILBERT and W. ACKERMANN, Grundzüge der theoretischen Logik, Springer-Verlag, Berlin, English translation of 1938 edition, Chelsea, New York, 1950.
49. D. HILBERT and P. BERNAYS, Grundlagen der Mathematik I (1934), II (1939), second ed., Springer-Verlag, Berlin, I (1968), II (1970).
50. A. HODGES, Alan Turing: The enigma, Burnett Books and Hutchinson, London, and Simon and Schuster, New York.
51. S. C. KLEENE, General recursive functions of natural numbers, Mathematische Annalen, vol. 112, pp. 727-742.
52. _, λ-definability and recursiveness, Duke Mathematics Journal, vol. 2, pp. 340-353.
53. _, A note on recursive functions, Bulletin of the American Mathematical Society, vol. 42, pp. 544-546.
54. _, On notation for ordinal numbers, Journal of Symbolic Logic, vol. 3, pp. 150-155.
55. _, Recursive predicates and quantifiers, Transactions of the American Mathematical Society, vol. 53, pp. 41-73.
56. _, On the forms of the predicates in the theory of constructive ordinals, American Journal of Mathematics, vol. 66, pp. 41-58.
57. _, Introduction to metamathematics, Van Nostrand, New York, ninth reprint 1988, Walters-Noordhoff Publishing Co., Groningën and North-Holland, Amsterdam.
58. _, Recursive functions and intuitionistic mathematics, Proceedings of the international congress of mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, vol. 1, American Mathematical Society (Providence, R.I.), pp. 679-685.
59. _, Arithmetical predicates and function quantifiers, Transactions of the American Mathematical Society, vol. 79, pp. 312-340.
60. _, On the forms of the predicates in the theory of constructive ordinals (second paper), American Journal of Mathematics, vol. 77, pp. 405-428.
61. _, Hierarchies of number-theoretical predicates, Bulletin of the American Mathematical Society, vol. 61, pp. 193-213.
62. _, Recursive functionals and quantifiers of finite type I, Transactions of the American Mathematical Society, vol. 91, pp. 1-52.
63. _, Turing-machine computable functionals of finite types I, Logic, methodology, and philosophy of science: Proceedings of the 1960 international congress, Stanford University Press, pp. 38-45.
64. _, Turing-machine computable functionals of finite types II, Proceedings of the London Mathematical Society, vol. 12, no. 3, pp. 245-258.
65. _, Recursive functionals and quantifiers of finite type II, Transactions of the American Mathematical Society, vol. 108, pp. 106-142.
66. _, Origins of recursive function theory, Annals of the History of Computing, vol. 3, pp. 52-67.
67. _, The theory of recursive functions, approaching its centennial, Bulletin of the American Mathematical Society (n.s.), vol. 5, pp. 43-61.
68. _, Algorithms in various contexts, Proc. sympos. algorithms in modern mathematics and computer science (dedicated to Al-Khowarizimi), Urgench, Khorezm Region, Uzbek, SSSR, 1979, Springer-Verlag, Berlin, Heidelberg and New York.
69. _, Reflections on Church's Thesis, Notre Dame Journal of Formal Logic, vol. 28, pp. 490-498.
70. _, Gödel's impression on students of logic in the 1930's, Gödel remembered (P. Weingartner and L. Schmetterer, editors), Bibliopolis, Naples, pp. 49-64.
71. _, Turing's analysis of computability, and major applications of it in Herken 1988, pp. 17-54.
72. S. C. KLEENE and E. L. POST, The upper semi-lattice of degrees of recursive unsolvability, Annals of Mathematics, vol. 59, pp. 379-407.
73. M. KLINE, Mathematical thought from ancient to modern times, Oxford University Press, Oxford.
74. M. LERMAN, Degrees of unsolvability: Local and global theory, Springer-Verlag, Heidelberg, New York, Tokyo.
75. D. NORMANN, Recursion on countable functionals, Lecture notes in mathematics, no. 811, Springer-Verlag, Heidelberg, New York.
76. P. ODIFREDDI, Classical recursion theory, North-Holland, Amsterdam.
77. J. A. Simpson and E. S. C. Weiner (editors), Oxford english dictionary, second ed., Clarendon Press, Oxford.
78. G. PEANO, Arithmetices principia, nova methodo exposita, Turin Bocca, English translation in van Heijenoort, 1967, pp. 83-97.
79. _, Sul concetto di numero, Rivista di Matematica vol. 1, pp. 87-102, 256-267.
80. CHARLES S. PEIRCE, Book II. Speculative grammar, Volume II: Elements of logic (C. Hartshorne and P. Weiss, editors). Collected Papers of Charles Sanders Peirce. The Belknap Press of Harvard University Press, Cambridge, Massachusetts and London, England.
81. R. PENROSE, Shadows of the mind, Oxford University Press, Oxford.
82. R. PÉTER, Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion, Mathematische Annalen, vol. 110, pp. 612-632.
83. _, Rekursire funktionen, Akadémaiai Kiadó (Akademische Verlag), Budapest, Recursive functions, third revised ed., Academic Press, New York, 1967.
84. R. PLATEK, Foundations of recursion theory, Ph.D. thesis, Stanford University, Stanford, CA.
85. E. L. POST, Finite combinatory processes-formulation I, Journal of Symbolic Logic, vol. 1, pp. 103-105, reprinted in Davis 1965, pp. 288-291.
86. _, Absolutely unsolvable problems and relatively undecidable propositions: Account of an anticipation, submitted for publication in 1941: printed in Davis 1965, pp. 340-433.
87. _, Formal reductions of the general combinatorial decision problem, American Journal of Mathematics, vol. 65, pp. 197-215.
88. _, Recursively enumerable sets of positive integers and their decision problems, Bulletin of the American Mathematical Society, vol. 50, pp. 284-316, reprinted in Davis 1965, pp. 304-337.
89. _. Recursive unsolvability of a problem of Thue, Journal of Symbolic Logic, vol. 12, pp. 1-11, reprinted in Davis 1965, pp. 292-303.
90. _, Degrees of recursive unsolvability: preliminary report (abstract), Bulletin of the American Mathematical Society, vol. 54, pp. 641-642.
91. H. PUTNAM, Review of Penrose 1994, Bulletin of the American Mathematical Society, vol. 32, pp. 370-373.
92. G. E. SACKS, Higher recursion theory, Springer-Verlag, Heidelberg, New York.
93. J. R. SHOENFIELD, Mathematical logic, Addison-Wesley, Reading, Massachusetts.
94. _, Recursion theory, Lecture notes in logic, Springer-Verlag, Heidelberg, New York.
95. _, The mathematical work of S. C. Kleene, this BULLETIN, vol. 1, pp. 8-43.
96. W. SIEG, Mechanical procedures and mathematical experience, Mathematics and mind (A. George, editor), Oxford University Press.
97. W. SIEG and J. BYRNES, K-graph machines: generalizing Turing's machines and arguments, preprint.
98. T. SKOLEM, Begründung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbare Veränderlichen mit unendlichen Ausdehnungsbereich, Skrifter utgit av Videnskapsselskapet i Kristiania, I. Mathematisk-Naturvidenskabelig Klasse, vol. 6, English translation in van Heijenoort, 1967, pp. 302-333.
99. R. I. SOARE, An overview of the computably enumerable sets, Handbook of computability theory, North-Holland, Amsterdam, in preparation.
100. _, Computability and enumerability, Proceedings of the 10th international congress of logic, methodology, and philosophy of science, August 19-25, 1995, Florence, Italy, to appear.
101. _, Constructions in the recursively enumerable degrees, Recursion theory and computational complexity (G. Lolli, editor), Proceedings of Centro Internazionale Matematico Estivo (C.I.M.E.), June 14-23, 1979, in Bressanone, Italy, Liguori Editore, Naples, Italy.
102. _, Recursively enumerable sets and degrees: A study of computable functions and computably generated sets, Springer-Verlag, Heidelberg.
103. G. TAMBURRINI, Mechanistic theories in cognitive science: The import of Turing's Thesis, Proceedings of the 10th international congress of logic, methodology, and philosophy of science, August 19 25, 1995, Florence, Italy, to appear.
104. 15.
105. 15.
106. _, Computability and λ-definability, Journal of Symbolic Logic, vol. 2, pp. 153-163.
107. _, Systems of logic based on ordinals, part 3, Proceedings of the London Mathematical Society, vol. 45, pp. 161-228, reprinted in Davis 1965, pp. 154-222
108. _, Intelligent machinery, Machine Intelligence, vol. 5, pp 3-23 written in September, 1947 and submitted to the National Physical Laboratory in 1948.
109. _, Text of a lecture by Turing on June 24, 1949, in F. L. MORRIS and C. B. JONES, An early program proof by Alan Turing, Annals of the History of Computing, vol. 6 (1984), pp. 139-143.
110. _, Computing machinery and intelligence, Mind, vol. 59, pp 433-460.
111. _, The word problem in semi-groups with cancellation, Annals of Mathematics, vol. 52, pp. 491-505.
112. _, Solvable and insolvable problems, Science News, vol 31, pp 7-73.
113. _, Lecture to the London Mathematical Society on 20 February 1947, A. M. Turing's ACE report of 1946 and other papers (B. E. Carpenter and R. W. Doran, editors), Cambridge University Press, pp. 106-124.
114. J. van Heijenoort (editor), From Frege to Gödel, a sourcebook in mathematical logic, 1879-1931, Harvard University Press, Cambridge, Massachusetts.
115. Ph. B. Gove (editor), Webster's third new international dictionary of the English language (unabridged), Merriam-Webster Inc., Publishers, Springfield, Massachusetts, U.S.A.
116. S. L. ZABELL, Alan Turing and the central limit theorem, American Mathematical Monthly, vol. 102, no. 6, pp. 483-494.