Order:
Disambiguations
Martin Davis [153]Martin D. Davis [1]
See also
Martin Davis
University of Arizona
Martin Davis
Sewanee, The University of the South
  1. Computability & Unsolvability.Martin Davis - 1958 - Dover Publications.
    Classic text considersgeneral theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   105 citations  
  2. The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions.Martin Davis (ed.) - 1965 - Dover Publication.
    "A valuable collection both for original source material as well as historical formulations of current problems."-- The Review of Metaphysics "Much more than a mere collection of papers . . . a valuable addition to the literature."-- Mathematics of Computation An anthology of fundamental papers on undecidability and unsolvability by major figures in the field, this classic reference opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by (...)
    Direct download  
     
    Export citation  
     
    Bookmark   74 citations  
  3.  75
    Is Mathematical Insight Algorithmic?Martin Davis - 1990 - Behavioral and Brain Sciences 13 (4):659-660.
  4.  33
    A Computing Procedure for Quantification Theory.Martin Davis & Hilary Putnam - 1966 - Journal of Symbolic Logic 31 (1):125-126.
  5.  37
    Origins of Recursive Function Theory.Stephen C. Kleene & Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348-350.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  6.  44
    How Subtle is Gödel's Theorem? More on Roger Penrose.Martin Davis - 1993 - Behavioral and Brain Sciences 16 (3):611-612.
  7.  64
    What Did Gödel Believe and When Did He Believe It?Martin Davis - 2005 - Bulletin of Symbolic Logic 11 (2):194-206.
  8.  15
    The Decision Problem for Exponential Diophantine Equations.Martin Davis, Hilary Putnam & Julia Robinson - 1970 - Journal of Symbolic Logic 35 (1):151-152.
  9.  18
    Arithmetical Problems and Recursively Enumerable Predicates.Martin Davis - 1953 - Journal of Symbolic Logic 18 (1):33-41.
  10.  8
    A Note on Universal Turing Machines.M. D. Davis & Martin Davis - 1970 - Journal of Symbolic Logic 35 (4):590-590.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  15
    Mathematical Problems. Lecture Delivered Before the International Congress of Mathematicians at Paris in 1900.David Hilbert, Mary Winston Newsom, Felix E. Browder, Donald A. Martin, G. Kreisel & Martin Davis - 1979 - Journal of Symbolic Logic 44 (1):116-119.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  10
    [Omnibus Review].Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):342-343.
  13.  14
    American Logic in the 1920s.Martin Davis - 1995 - Bulletin of Symbolic Logic 1 (3):273-278.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  5
    Applied Nonstandard Analysis.Martin Davis - 1978 - Journal of Symbolic Logic 43 (2):383-384.
  15.  5
    Review: Edward Nelson, Internal Set Theory: A New Approach to Nonstandard Analysis. [REVIEW]Martin Davis - 1983 - Journal of Symbolic Logic 48 (4):1203-1204.
  16.  46
    On Undecidable Propositions of Formal Mathematical Systems .PostscriptumIntroductory Note to 1934.Martin Davis, Kurt Godel & Stephen C. Kleene - 1990 - Journal of Symbolic Logic 55 (1):347.
  17.  15
    A Machine Program for Theorem-Proving.Martin Davis, George Logemann & Donald Loveland - 1967 - Journal of Symbolic Logic 32 (1):118-118.
  18. REVIEWS-Super-Recursive Algorithms.M. Burgin & Martin Davis - 2007 - Bulletin of Symbolic Logic 13 (2).
  19.  15
    Alan Turing and the Turing Machine.Turing's Analysis of Computability, and Major Applications of It.The Confluence of Ideas in 1936.Turing in the Land of O.Mathematical Logic and the Origin of Modern Computers. [REVIEW]John N. Crossley, Andrew Hodges, Rolf Herken, Stephen C. Kleene, Robin Gandy, Solomon Feferman, Martin Davis & Esther R. Phillips - 1991 - Journal of Symbolic Logic 56 (3):1089.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  9
    Addison J. W. And Kleene S. C.. A Note on Function Quantification. Proceedings of the American Mathematical Society, Vol. 8 , Pp. 1002–1006. [REVIEW]Martin Davis - 1958 - Journal of Symbolic Logic 23 (1):47-48.
  21. Arithmetical Problems and Recursively Enumerable Predicates.Martin Davis - 1953 - Journal of Symbolic Logic 18 (4):341-342.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  20
    Beth E. W.. Construction Sémantique de la Logique Intuitioniste. Le Raisonnement En Mathématiques Et En Sciences Expérimentales. Colloques Internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, Pp. 77–83.Heyting A.. Intervention. Le Raisonnement En Mathématiques Et En Sciences Expérimentales. Colloques Internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, P. 84.Heyting A.. La Théorie Élémentaire de l'Intégration En Mathématiques Intuitionnistes. Le Raisonnement En Mathématiques Et En Sciences Expérimentales. Colloques Internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, Pp. 85–90. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):287-287.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  35
    Fraïssé Roland. Sur une extension de la polyrelation et des parentés tirant son origine du calcul logique du kème échelon. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 45–50.Tarski A.. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, p. 50.de Possel René and Fraïssé Roland. Hypothèses de la théorie des relations qui permettent d'associer, a un bon ordre d'un ensemble, un bon ordre, défini sans ambiguïté, de l'ensemble de ses parties. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 5. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):285-285.
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  52
    Corrado Böhm. On a Family of Turing Machines and the Related Programming Language. ICC Bulletin, Vol. 3 , Pp. 185–194.Martin Davis - 1966 - Journal of Symbolic Logic 31 (1):140-140.
  25.  11
    Church's Thesis and Representation of Grammars.Martin Davis - 1983 - Behavioral and Brain Sciences 6 (3):404-404.
  26.  30
    Destouches Jean-Louis and Février Paulette. Remarques Sur Certains Aspects Formels des Théories Physiques. Le Raisonnement En Mathématiques Et En Sciences Expérimentales. Colloques Internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, Pp. 127–131.Fréchet M., Destouches J.-L., Bouligand G., Beth E. W., Février P.. Interventions. Le Raisonnement En Mathématiques Et En Sciences Expérimentales. Colloques Internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, Pp. 132–133. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):288-288.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  7
    J. C. E. Dekker. Two Notes on Recursively Enumerable Sets. Proceedings of the American Mathematical Society, Vol. 4 , Pp. 495–501. [REVIEW]Martin Davis - 1955 - Journal of Symbolic Logic 20 (1):73-74.
  28.  12
    Dekker J. C. E. And Myhill J.. Some Theorems on Classes of Recursively Enumerable Sets. Transactions of the American Mathematical Society, Vol. 89 , Pp. 25–59. [REVIEW]Martin Davis - 1962 - Journal of Symbolic Logic 27 (1):84-84.
  29.  1
    Eliminating the Irrelevant From Mechanical Proofs.Martin Davis - 1967 - Journal of Symbolic Logic 32 (1):118-119.
  30.  28
    Albert Ch'telet. Allocution prononcée par M. A. Ch'telet. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 11–12. - Th. Skolem. Une relativisation des notions mathématiques fondamentales. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 13–17. - A. Tarski, M. Krasner, A. Mostowski, R. de Possel. Interventions. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 17–18. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):285-286.
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  4
    Hartley RogersJr., Gödel Numberings of Partial Recursive Functions. The Journal of Symbolic Logic, Vol. 23 No. 3 , Pp. 331–341.Martin Davis - 1964 - Journal of Symbolic Logic 29 (3):146.
  32.  13
    It is Difficult to Admit That the Word If Acquires, When Written⊃, a Virtue It Did Not Possess When Written If. Principia Provided No Very Convincing Answer to Poincaré. Indeed the Fact That the Authors of Principia Saw Fit to Place Their First Two “Primitive Propo-Sitions”. [REVIEW]Martin Davis - 1995 - Bulletin of Symbolic Logic 1 (3).
  33. John Myhill. Criteria of Construclibility for Real Numbers. The Journal of Symbolic Logic, Vol. 18 , Pp. 7–10.Martin Davis - 1955 - Journal of Symbolic Logic 20 (2):178.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  19
    Julia Robinson. Recursive Functions of One Variable. Proceedings of the American Mathematical Society, Vol. 19 , Pp. 815–820. [REVIEW]Martin Davis - 1970 - Journal of Symbolic Logic 35 (3):476.
  35.  15
    Julia Robinson. The Undecidability of Algebraic Rings and Fields. Proceedings of the American Mathematical Society, Vol. 10 , Pp. 950–957. [REVIEW]Martin Davis - 1964 - Journal of Symbolic Logic 29 (1):57-58.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  31
    John W. Dawson Jr. A Gödel Chronology. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 37– 43. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341.
  37. Gödel Kurt. Über Die Länge von Beweisen (1936a). A Reprint of I 116. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986 Pp. 396, 398. Gödel Kurt. On the Length of Proofs (1936a). English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348.
  38.  28
    Kurt Gödel. Über Unabhängigkeitsbeweise Im Aussagenkalküls . A Reprint of 41810. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 268, 270. - Kurt Gödel. On Independence Proofs in the Propositional Calculus . English Translation by John Dawson of the Preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 269, 271. - W. V. Quine. Introductory Note to 1933a. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarend. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):345-346.
  39.  77
    Kurt Gödel. Über Die Vollständigkeit des Logikkalküls . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Even Pp. 60– 100. - Kurt Gödel. On the Completeness of the Calculus of Logic . English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Odd Pp. 61– 101. - Kurt Gödel. Die Vollständigkeit der Axiome des Logischen Funktionenkalküls . A Reprint of 4182. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341-342.
  40.  34
    Kurt Gödel. Diskussion Zur Grundlegung der Mathematik . A Reprint of 4184. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 200, 202. - Kurt Gödel. Discussion on Providing a Foundation for Mathematics . English Translation by John Dawson of the Preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 201, 203. , Pp. 125-126.) - Kurt Gödel. Nachtrag. A Reprint of 4185. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoor. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):343-343.
  41.  50
    Kurt Gödel. Eine Interpretation des Intuitionistischen Aussagenkalküls . A Reprint of 41812. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 300, 302. - Kurt Gödel. An Interpretation of the Intuitionistic Propositional Calculus . English Translation by John Dawson of the Preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 301, 303. - A. S. Troelstra. Introductory Note to 1933f. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Je. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-346.
  42.  46
    Kurt Gödel. Einige Metamathematische Resultate Über Entscheidunasdefinitheit Und Widerspruchsfreiheit . A Reprint of 4181. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 140, 142. - Kurt Gödel. Some Metamathematical Results on Completeness and Consistency . A Reprint of XXXVII 405 . Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 141, 143. - Kurt Gödel. Über Formal Unentscheidbare Sätze der Principia Mathematica Und Verwandter Systeme I . A Reprint of 4183. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, Edited by Solomon Feferman, John W. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):342-343.
  43.  31
    Kurt Gödel. Ein Spezialfall des Entscheidungsproblems der Theoretischen Logik . A Reprint of 4187. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Even Pp. 230–234. - Kurt Gödel. A Special Case of the Decision Problem for Theoretical Logic . English Translation by John Dawson of the Preceding. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Odd Pp. 231– 235. - Kurt Gödel. Zum Entscheidungsproblem des Logischen Funktionenkalüls . A Reprint of 41813. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-345.
  44.  15
    Kreisel Georg, Lacombe Daniel, and Shoenfield Joseph R.. Fonctionnelles récursivement définissables et fonctionnelles récursives. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 245 , pp. 399–402. [REVIEW]Martin Davis - 1958 - Journal of Symbolic Logic 23 (1):48-48.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  90
    Kurt Gödel. Review of Hahn's Reelle Funktionen. By Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Even Pp. 332– 336. , Literaturberichte, Pp. 20– 22.) - Kurt Gödel. English Translation by John Dawson of This Review. Reelle Funktionen, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 Odd Pp. 333– 337. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-347.
  46. Kurt Gödel. Review of Skolem's Über Die Unmöglichkeit Einer Vollständigen Charakterisierung der Zahlenreihe Mittels Eines Endlichen Axiomensystems . Reelle Funktionen, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 Pp. 378, 380. , Pp. 193–194.) - Kurt Gödel. English Translation by John Dawson of This Review. Reelle Funktionen, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 Pp. 379, 381. - Kurt Gödel. Review of Skolem's Über Die Nicht-Charakterisierbarkeit der Zahlenreihe Mittels Endlich Oder Abzählbar Unendlich Vieler Aussagen Mil Ausschlieβlich Zahlenvariablen . Reelle Funktionen, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregor. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):347-348.
  47.  39
    Kurt Gödel. Review of Church's A Set of Postulates for the Foundation of Logic . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 256, 258. , Pp. 145–146.) - Kurt Gödel. English Translation by John Dawson of This Review. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 257, 259. - Kurt Gödel. Review of Church's A Set of Postulates for the Foundation of Logic . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon P. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):345-345.
  48.  42
    Kurt Gödel. Review of Hilbert's Die Grundlegung der Elementaren Zahlentheorie . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 212, 214. , P. 260.) - Kurt Gödel. English Translation by John Dawson of This Review. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, Pp. 213, 215. - Solomon Feferman. Introductory Note to 1931C. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York A. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-344.
  49.  33
    Lacombe Daniel. Sur les possibilités d'extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 67–74.Bouligand G.. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, p. 75. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):286-287.
    Direct download (9 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Mostowski Andrzej. An Undecidable Arithmetical Statement. Fundamenta Mathetnaticae, Vol. 36 , Pp. 143–164.Martin Davis - 1954 - Journal of Symbolic Logic 19 (2):118-119.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark