| Publication | Date of Publication | Type |
|---|
A new perspective on completeness and finitist consistency
Journal Of Logic And Computation | 2024-11-12 | Paper |
Proofs as Objects
Axiomatic Thinking I | 2022-12-14 | Paper |
Shortening of proof length is elusive for theorem provers
Parallel Processing Letters | 2022-07-08 | Paper |
Human-centered automated proof search
Journal of Automated Reasoning | 2022-01-21 | Paper |
NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
The Review of Symbolic Logic | 2021-07-22 | Paper |
Methodological frames: Paul Bernays, mathematical structuralism, and proof theory
The Prehistory of Mathematical Structuralism | 2021-03-25 | Paper |
The ways of Hilbert's axiomatics: structural and formal
The Prehistory of Mathematical Structuralism | 2021-03-25 | Paper |
Why post did [not have Turing's thesis]
Outstanding Contributions to Logic | 2020-08-06 | Paper |
A brief note on Gödel, Nagel, minds, and machines
Outstanding Contributions to Logic | 2020-02-05 | Paper |
The Cantor-Bernstein theorem: how many proofs?
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2019-12-05 | Paper |
| Dedekind's structuralism: creating concepts and deriving theorems | 2019-10-15 | Paper |
| scientific article; zbMATH DE number 7095141 (Why is no real title available?) | 2019-08-16 | Paper |
Dedekind's abstract concepts: models and mappings
Philosophia Mathematica | 2019-02-26 | Paper |
| What is the concept of computation? | 2018-09-06 | Paper |
Conceptual Confluence in 1936: Post and Turing
Turing’s Revolution | 2018-04-18 | Paper |
IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
The Bulletin of Symbolic Logic | 2018-01-11 | Paper |
Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency
Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) | 2017-10-11 | Paper |
In the Shadow of Incompleteness: Hilbert and Gentzen
Epistemology versus Ontology | 2015-06-05 | Paper |
The ways of Hilbert's axiomatics: structural and formal
Perspectives on Science | 2014-07-22 | Paper |
| Gödel's philosophical challenge (to Turing) | 2014-06-24 | Paper |
| Hilbert's programs and beyond | 2013-03-18 | Paper |
Axioms for computability: do they allow a proof of Church's thesis?
A Computable Universe | 2013-02-26 | Paper |
| Searching for proofs (and uncovering capacities of the mathematical mind) | 2011-05-31 | Paper |
| scientific article; zbMATH DE number 5878244 (Why is no real title available?) | 2011-04-14 | Paper |
| scientific article; zbMATH DE number 5859774 (Why is no real title available?) | 2011-03-02 | Paper |
Automated search for Gödel's proofs
Deduction, Computation, Experiment | 2010-01-11 | Paper |
Beyond Hilbert’s Reach?
Synthese Library | 2009-03-12 | Paper |
Church Without Dogma: Axioms for Computability
New Computational Paradigms | 2008-04-29 | Paper |
The AProS Project: Strategic Thinking & Computational Logic
Logic Journal of the IGPL | 2007-11-27 | Paper |
| Relative consistency and accessible domains | 2007-10-24 | Paper |
On mind \& Turing's machines
Natural Computing | 2007-06-14 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Godel on computability
Philosophia Mathematica | 2007-02-13 | Paper |
| Beyond Hilbert's reach? | 2006-11-16 | Paper |
| scientific article; zbMATH DE number 5064406 (Why is no real title available?) | 2006-10-16 | Paper |
Dedekind's analysis of number: Systems and axioms
Synthese | 2006-02-08 | Paper |
Only Two Letters: The Correspondence between Herbrand and Gödel
The Bulletin of Symbolic Logic | 2006-02-08 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Automated search for Gödel's proofs
Annals of Pure and Applied Logic | 2005-04-21 | Paper |
| scientific article; zbMATH DE number 1984273 (Why is no real title available?) | 2003-09-22 | Paper |
| scientific article; zbMATH DE number 1867335 (Why is no real title available?) | 2003-07-31 | Paper |
| scientific article; zbMATH DE number 1870428 (Why is no real title available?) | 2003-02-18 | Paper |
| scientific article; zbMATH DE number 1555192 (Why is no real title available?) | 2001-01-22 | Paper |
Normal natural deduction proofs (in classical logic)
Studia Logica | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1418434 (Why is no real title available?) | 2000-03-19 | Paper |
Hilbert's Programs: 1917–1922
The Bulletin of Symbolic Logic | 1999-09-12 | Paper |
Step by Recursive Step: Church's Analysis of Effective Calculability
The Bulletin of Symbolic Logic | 1998-03-17 | Paper |
| scientific article; zbMATH DE number 922618 (Why is no real title available?) | 1997-02-24 | Paper |
Paper Machines
Philosophia Mathematica | 1996-01-02 | Paper |
| scientific article; zbMATH DE number 727991 (Why is no real title available?) | 1995-03-02 | Paper |
Effectiveness and provability
Rendiconti del Seminario Matematico e Fisico di Milano | 1995-01-11 | Paper |
Relative consistency and accessible domains
Synthese | 1993-02-02 | Paper |
Herbrand analyses
Archive for Mathematical Logic | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4139739 (Why is no real title available?) | 1990-01-01 | Paper |
Hilbert's program sixty years later
Journal of Symbolic Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4099295 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4051610 (Why is no real title available?) | 1987-01-01 | Paper |
Fragments of arithmetic
Annals of Pure and Applied Logic | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4025439 (Why is no real title available?) | 1985-01-01 | Paper |
Foundations for analysis and proof theory
Synthese | 1984-01-01 | Paper |
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
Lecture Notes in Mathematics | 1981-01-01 | Paper |
