89 found
Sort by:
See also:
Profile: Martin Stone Davis (University of Arizona)
  1. Martin Davis (2010). PHILOSOPHY OF MATHEMATICS. What Did Gödel Believe and When Did He Believe It? In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
  2. M. Burgin & Martin Davis (2007). REVIEWS-Super-Recursive Algorithms. Bulletin of Symbolic Logic 13 (2).
     
    My bibliography  
     
    Export citation  
  3. Martin Davis (2006). Why There is No Such Discipline as Hypercomputation. Applied Mathematics and Computation, Volume 178, Issue 1, 1.
     
    My bibliography  
     
    Export citation  
  4. Martin Davis (2005). What Did Gödel Believe and When Did He Believe It? Bulletin of Symbolic Logic 11 (2):194-206.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Martin Davis (1997). Minsky Marvin L.. Recursive Unsolvability of Post's Problem of “Tag” and Other Topics in the Theory of Turing Machines. Annals of Mathematics, Second Series, Vol. 74 (1961), Pp. 437–455. [REVIEW] Journal of Symbolic Logic 31 (4):654-655.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Martin Davis (1997). Minsky ML. Size and Structure of Universal Turing Machines Using Tag Systems. Recursive Function Theory, Proceedings of Symposia in Pure Mathematics, Vol. 5, American Mathematical Society, Providence 1962, Pp. 229–238. [REVIEW] Journal of Symbolic Logic 31 (4):655-655.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Martin Davis (1996). Böhm Corrado. On a Family of Turing Machines and the Related Programming Language. ICC Bulletin, Vol. 3 (1964), Pp. 185–194. [REVIEW] Journal of Symbolic Logic 31 (1):140-140.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Martin Davis (1995). American Logic in the 1920s. Bulletin of Symbolic Logic 1 (3):273-278.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  9. Martin Davis (1995). 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] Bulletin of Symbolic Logic 1 (3).
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Martin Davis (1993). How Subtle is Gödel's Theorem? More on Roger Penrose. Behavioral and Brain Sciences 16 (3):611.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Martin Davis (1993). Review: D. C. Ince, Mechanical Intelligence, Collected Works of A. M. Turing. [REVIEW] Journal of Symbolic Logic 58 (4):1463-1465.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Martin Davis (1990). 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] Journal of Symbolic Logic 55 (1):348-348.
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Martin Davis (1990). Gödel Kurt. Über Die Vollständigkeit des Logikkalküls (1929). Collected Works, Volume I, Publications 1929–1936, 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, Even Pp. 60–100. Gödel Kurt. On the Completeness of the Calculus of Logic (1929). English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Collected ... [REVIEW] Journal of Symbolic Logic 55 (1):341-342.
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Martin Davis (1990). Gödel Kurt. Diskussion Zur Grundlegung der Mathematik (1931a). A Reprint of 4184. Collected Works, Volume I, Publications 1929–1936, 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. 200, 202. Gödel Kurt. Discussion on Providing a Foundation for Mathematics (1931a). English Translation by John Dawson of the Preceding. Collected Works ... [REVIEW] Journal of Symbolic Logic 55 (1):343-343.
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Martin Davis (1990). Gödel Kurt. Einige Metamathematische Resultate Über Entscheidunasdefinitheit Und Widerspruchsfreiheit (1930b). A Reprint of 4181. Collected Works, Volume I, Publications 1929–1936, 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. 140, 142. Gödel Kurt. Some Metamathematical Results on Completeness and Consistency (1930b). A Reprint of ... [REVIEW] Journal of Symbolic Logic 55 (1):342-343.
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Martin Davis (1990). Gödel Kurt. Eine Interpretation des Intuitionistischen Aussagenkalküls (1933f). A Reprint of 41812. Collected Works, Volume I, Publications 1929–1936, 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. 300, 302. Gödel Kurt. An Interpretation of the Intuitionistic Propositional Calculus (1933f). English Translation by John Dawson of the ... [REVIEW] Journal of Symbolic Logic 55 (1):346-346.
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Martin Davis (1990). Gödel Kurt. Ein Spezialfall des Entscheidungsproblems der Theoretischen Logik (1932a). A Reprint of 4187. Collected Works, Volume I, Publications 1929–1936, 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, Even Pp. 230–234. Gödel Kurt. A Special Case of the Decision Problem for Theoretical Logic (1932a). English Translation by John Dawson of ... [REVIEW] Journal of Symbolic Logic 55 (1):344-345.
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Martin Davis (1990). Gödel Kurt. On Undecidable Propositions of Formal Mathematical Systems (1934). A Reprint of XXXI 484. 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. 346–369. Gödel Kurt. Postscriptum. A Reprint of XXXI 484. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory ... [REVIEW] Journal of Symbolic Logic 55 (1):347-347.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Martin Davis (1990). Gödel Kurt. Review of Church's A Set of Postulates for the Foundation of Logic (3594). Collected Works, Volume I, Publications 1929–1936, 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. 256, 258.(Reprinted From Zentralblatt für Mathematik Und Ihre Grenzgebiete, Vol. 4 (1932), Pp. 145–146.) Gödel Kurt. English Translation by John Dawson of ... [REVIEW] Journal of Symbolic Logic 55 (1):345-345.
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Martin Davis (1990). Gödel Kurt. Review of Skolem's Über Die Unmöglichkeit Einer Vollständigen Charakterisierung der Zahlenreihe Mittels Eines Endlichen Axiomensystems (24716). 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. 378, 380.(Reprinted From Zentralblatt für Mathematik Undihre Grenzgebiete, Vol. 7 (1934), Pp. 193–194.) Gödel Kurt ... [REVIEW] Journal of Symbolic Logic 55 (1):347-348.
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Martin Davis (1990). Gödel Kurt. Zur Intuitionistischen Arithmetik Und Zahlentheorie (1933e). A Reprint of 41811. Collected Works, Volume I, Publications 1929–1936, 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, Even Pp. 286–294. Gödel Kurt. On Intuitionistic Arithmetic and Number Theory (1933e). English Translation by Stefan Bauer-Mengelberg and Jean van ... [REVIEW] Journal of Symbolic Logic 55 (1):346-346.
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. Martin Davis (1990). Is Mathematical Insight Algorithmic? Behavioral and Brain Sciences 13 (4):659-660.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Martin Davis (1990). [Omnibus Review]. Journal of Symbolic Logic 55 (1):342-343.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  24. Martin Davis (1990). Review: John W. Dawson, A Godel Chronology. [REVIEW] Journal of Symbolic Logic 55 (1):341-341.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Martin Davis (1990). Review: Kurt Godel, On Undecidable Propositions of Formal Mathematical Systems (1934); Kurt Godel, Postscriptum; Stephen C. Kleene, Introductory Note to 1934. [REVIEW] Journal of Symbolic Logic 55 (1):347-347.
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Martin Davis (1990). Review: Kurt Godel, John Dawson, A Property of the Realizations of the Propositional Calculus (1932c); W. V. Quine, Introductory Note to 1932c. [REVIEW] Journal of Symbolic Logic 55 (1):345-345.
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. Martin Davis (1990). Review: Kurt Godel, John Dawson, On the Intuitionistic Propositional Calculus (1932); A. S. Troelstra, Introductory Note to 1932. [REVIEW] Journal of Symbolic Logic 55 (1):344-344.
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Martin Davis (1990). Review: Kurt Godel, John Dawson, Review of Hahn's Reele Funktionen. [REVIEW] Journal of Symbolic Logic 55 (1):346-347.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. Martin Davis (1990). Review: Kurt Godel, Uber Die Lange Yon Beweisen (1936a); Kurt Godel, Stefan Bauer-Mengelberg, Jean van Heijenoort, On the Length of Proofs (1936a); Rohit Parikh, Introductory Note to 1936a. [REVIEW] Journal of Symbolic Logic 55 (1):348-348.
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Martin Davis (1990). Review: Kurt Godel, John Dawson, Review of Skolem's Uber die Unmoglichkeit Einer Vollstandigen Charakterisierung der Zahlenreihe Mittels Eines Endlichen Axiomensystems (24716); Kurt Godel, John Dawson, Review of Skolem's Uber die Nicht-Charakterisierbarkeit der Zahlenreihe Mittels endlich oder Abzahlbar Unendlich Vieler Aussagen mit Ausschlieblich Zahlenvariablen; Robert Vaught, Introductory Note to 1934c and 1935. [REVIEW] Journal of Symbolic Logic 55 (1):347-348.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. Martin Davis (1990). Review: Kurt Godel, On Independence Proofs in the Propositional Calculus (1933a); W. V. Quine, Introductory Note to 1933a. [REVIEW] Journal of Symbolic Logic 55 (1):345-346.
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Martin Davis (1990). Review: Kurt Godel, Stefan Bauer-Mengelberg, Jean van Heijenoort, On Intuitionistic Arithmetic and Number Theory (1933e); A. S. Troelstra, Introductory Note to 1933e. [REVIEW] Journal of Symbolic Logic 55 (1):346-346.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Martin Davis (1990). Review: Kurt Godel, John Dawson, Review of Hilbert's Die Grundlegung der Elementaren Zahlentheorie (10818); Solomon Feferman, Introductory Note to 1931c. [REVIEW] Journal of Symbolic Logic 55 (1):344-344.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. Martin Davis (1990). Review: Kurt Godel, John Dawson, An Interpretation of the Intuitionistic Propositional Calculus (1933f); A. S. Troelstra, Introductory Note to 1933f. [REVIEW] Journal of Symbolic Logic 55 (1):346-346.
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Martin Davis (1990). Review: Solomon Feferman, Godel's Life and Work. [REVIEW] Journal of Symbolic Logic 55 (1):340-341.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Martin Davis (1990). Book Review: Melvin Fitting. Computability Theory, Semantics, and Logic Programming. [REVIEW] Notre Dame Journal of Formal Logic 31 (3):485-486.
  37. Martin Davis & Rohit Parikh (1988). Meeting of the Association for Symbolic Logic: New York City, May 1987. Journal of Symbolic Logic 53 (4):1270-1274.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. Martin Davis, Edgar E. K. Lopez-Escobar & Wilfred Sieg (1986). Meeting of the Association for Symbolic Logic: Washington, D. C., 1985. Journal of Symbolic Logic 51 (4):1085-1092.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  39. Martin Davis (1983). Church's Thesis and Representation of Grammars. Behavioral and Brain Sciences 6 (3):404.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. Martin Davis (1983). Review: Edward Nelson, Internal Set Theory: A New Approach to Nonstandard Analysis. [REVIEW] Journal of Symbolic Logic 48 (4):1203-1204.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. Martin Davis (1982). Review: W. A. J. Luxemburg, A. Robinson, Selected Papers of Abraham Robinson: Nonstandard Analysis and Philosophy. [REVIEW] Journal of Symbolic Logic 47 (1):203-210.
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. Martin Davis (1974). Review: Ju. V. Matijasevic, F. M. Goldware, Diophantine Representation of Enumerable Predicates. [REVIEW] Journal of Symbolic Logic 39 (3):605-605.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Martin Davis (1973). Review: John Myhill, Finitely Representable Functions. [REVIEW] Journal of Symbolic Logic 38 (1):157-158.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. Martin Davis (1970). Review: Julia Robinson, Recursive Functions of One Variable. [REVIEW] Journal of Symbolic Logic 35 (3):476-476.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. Martin Davis (1969). Review: J. W. Swanson, A Variant of Turing Machines Requiring Print Instructions Only. [REVIEW] Journal of Symbolic Logic 34 (1):134-135.
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Martin Davis (1968). Review: A. Robinson, A Basis for the Mechanization of the Theory of Equations; A. Robinson, On the Mechanization of the Theory of Equations. [REVIEW] Journal of Symbolic Logic 33 (1):118-118.
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. Martin Davis (1968). Review: E. W. Beth, Observations Concerning Computing, Deduction, and Heuristics. [REVIEW] Journal of Symbolic Logic 33 (1):118-118.
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. Martin Davis (1968). Review: John McCarthy, Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. [REVIEW] Journal of Symbolic Logic 33 (1):117-117.
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. Martin Davis (1968). Review: John McCarthy, A Basis for a Mathematical Theory of Computation, Preliminary Report; John McCarthy, P. Braffort, D. Hirschberg, A Basis for a Mathematical Theory of Computation. [REVIEW] Journal of Symbolic Logic 33 (1):117-117.
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Martin Davis (1966). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 31 (4):697-706.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 89