| Publication | Date of Publication | Type |
|---|
Seventy Years of Computer Science
Fields of Logic and Computation III | 2022-11-09 | Paper |
Pragmatic Platonism
Outstanding Contributions to Logic | 2020-08-06 | Paper |
Concluding comments by Martin
Outstanding Contributions to Logic | 2020-08-06 | Paper |
My Life as a Logician
Outstanding Contributions to Logic | 2020-08-06 | Paper |
Pragmatic Platonism
Outstanding Contributions to Logic | 2020-02-05 | Paper |
| scientific article; zbMATH DE number 7015110 (Why is no real title available?) | 2019-02-07 | Paper |
| Turing's vision and deep learning | 2018-09-06 | Paper |
Conceptual Confluence in 1936: Post and Turing
Turing’s Revolution | 2018-04-18 | Paper |
| The universal computer. The road from Leibniz to Turing | 2017-12-12 | Paper |
In memory of Jacob Schwartz
Notices of the American Mathematical Society | 2016-06-15 | Paper |
| scientific article; zbMATH DE number 6536274 (Why is no real title available?) | 2016-01-27 | Paper |
The Logician and the Engineer—A Book Review
Notices of the American Mathematical Society | 2015-10-14 | Paper |
Representation theorems for recursively enumerable sets and a conjecture related to Poonen's large subring of \(\mathbb Q\)
Journal of Mathematical Sciences (New York) | 2014-01-16 | Paper |
| Hao Wang's contributions to mechanized deduction and to the Entscheidungsproblem | 2013-09-03 | Paper |
| The universal computer. The road from Leibniz to Turing. | 2012-02-02 | Paper |
| scientific article; zbMATH DE number 5859782 (Why is no real title available?) | 2011-03-02 | Paper |
Sex and the mathematician: the High School Prom Theorem
Games and Economic Behavior | 2009-07-15 | Paper |
| scientific article; zbMATH DE number 5542561 (Why is no real title available?) | 2009-04-14 | Paper |
| What is a computation? | 2008-03-20 | Paper |
| scientific article; zbMATH DE number 5251037 (Why is no real title available?) | 2008-03-19 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Why there is no such discipline as hypercomputation
Applied Mathematics and Computation | 2006-08-04 | Paper |
| scientific article; zbMATH DE number 5037238 (Why is no real title available?) | 2006-06-29 | Paper |
An appreciation of Bob Paige
Higher-Order and Symbolic Computation | 2006-02-08 | Paper |
What did Gödel Believe and When did He believe It?
The Bulletin of Symbolic Logic | 2006-02-08 | Paper |
| scientific article; zbMATH DE number 1964695 (Why is no real title available?) | 2003-08-14 | Paper |
Mathematics and design: Yes, but will it fly?
Nexus Network Journal | 2003-03-16 | Paper |
| The early history of automated deduction | 2002-08-27 | Paper |
Book review of: J. W. Dawson jun., Logical dilemmas: the life and work of Kurt Gödel; J. L. Casti and W. DePauli, Gödel: a life of logic
Notices of the American Mathematical Society | 2001-11-18 | Paper |
| scientific article; zbMATH DE number 1521550 (Why is no real title available?) | 2000-10-25 | Paper |
| scientific article; zbMATH DE number 1342343 (Why is no real title available?) | 2000-02-08 | Paper |
American Logic in the 1920s
The Bulletin of Symbolic Logic | 1997-03-25 | Paper |
American Logic in the 1920s
The Bulletin of Symbolic Logic | 1997-03-25 | Paper |
| scientific article; zbMATH DE number 897306 (Why is no real title available?) | 1996-11-11 | Paper |
A Free Variable Version of the First-Order Predicate Calculus
Journal Of Logic And Computation | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 4180767 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4074999 (Why is no real title available?) | 1988-01-01 | Paper |
Metric Space-based Test-data Adequacy Criteria
The Computer Journal | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4084979 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4039834 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3909745 (Why is no real title available?) | 1983-01-01 | Paper |
A formal notion of program-based test data adequacy
Information and Control | 1983-01-01 | Paper |
Why Gödel didn't have church's thesis
Information and Control | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3880670 (Why is no real title available?) | 1982-01-01 | Paper |
The mathematics of non-monotonic reasoning
Artificial Intelligence | 1980-01-01 | Paper |
Metamathematical extensibility for theorem verifiers and proof-checkers
Computers & Mathematics with Applications | 1979-01-01 | Paper |
A relativity principle in quantum mechanics
International Journal of Theoretical Physics | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3559571 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3539209 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3440413 (Why is no real title available?) | 1974-01-01 | Paper |
Hilbert's Tenth Problem is Unsolvable
The American Mathematical Monthly | 1973-01-01 | Paper |
| On the Number of Solutions of Diophantine Equations | 1972-01-01 | Paper |
An explicit diophantine definition of the exponential function
Communications on Pure and Applied Mathematics | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3339444 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3494398 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3305736 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3317375 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3316951 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3329900 (Why is no real title available?) | 1966-01-01 | Paper |
Diophantine sets over polynomial rings
Illinois Journal of Mathematics | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3212023 (Why is no real title available?) | 1963-01-01 | Paper |
Extensions and corollaries of recent work on Hilbert's tenth problem
Illinois Journal of Mathematics | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3211077 (Why is no real title available?) | 1963-01-01 | Paper |
A machine program for theorem-proving
Communications of the ACM | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3304988 (Why is no real title available?) | 1962-01-01 | Paper |
The decision problem for exponential diophantine equations
Annals of Mathematics. Second Series | 1961-01-01 | Paper |
A Computing Procedure for Quantification Theory
Journal of the ACM | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3273189 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3275578 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3319534 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3139754 (Why is no real title available?) | 1959-01-01 | Paper |
Reductions of Hilbert's tenth problem
Journal of Symbolic Logic | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3131080 (Why is no real title available?) | 1958-01-01 | Paper |
| The Definition of Universal Turing Machine | 1958-01-01 | Paper |
Arithmetical problems and recursively enumerable predicates
Journal of Symbolic Logic | 1953-01-01 | Paper |
