| Publication | Date of Publication | Type |
|---|
Formalism and Hilbert's understanding of consistency problems
Archive for Mathematical Logic | 2021-07-21 | Paper |
Abstraction, Axiomatization and Rigor: Pasch and Hilbert
Outstanding Contributions to Logic | 2020-02-05 | Paper |
On the motives for proof theory
Dag Prawitz on Proofs and Meaning | 2020-02-04 | Paper |
Ian Hacking. Why Is There Philosophy of Mathematics At All?
Philosophia Mathematica | 2019-02-26 | Paper |
| Poincaré versus Russell on the role of logic in mathematics | 2018-12-17 | Paper |
Gentzen's anti-formalist views
Gentzen's Centenary | 2017-09-27 | Paper |
Freedom & Consistency
Proceedings of the 12th Asian Logic Conference | 2017-05-31 | Paper |
| Completeness and the ends of axiomatization | 2016-01-27 | Paper |
Duality, epistemic efficieny \& consistency
Formalism and Beyond | 2015-11-18 | Paper |
| Comment on Mary Leng's `Creation and discovery in mathematics'. Sensing objectivity | 2011-10-05 | Paper |
| scientific article; zbMATH DE number 5953895 (Why is no real title available?) | 2011-10-05 | Paper |
| Rigor, re-proof and Bolzano's critical program | 2011-06-21 | Paper |
| scientific article; zbMATH DE number 1984526 (Why is no real title available?) | 2003-09-22 | Paper |
scientific article; zbMATH DE number 1870126 (Why is no real title available?)
Minds and Machines | 2003-02-17 | Paper |
What does Gödel's second theorem say?
Philosophia Mathematica. Series III | 2002-10-07 | Paper |
| Philosophy of mathematics in the twentieth century | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1460604 (Why is no real title available?) | 2000-06-18 | Paper |
Generalized symmetric elements generated by a prime sequence
Algebra Universalis | 2000-02-27 | Paper |
| scientific article; zbMATH DE number 1254489 (Why is no real title available?) | 1999-05-26 | Paper |
Wright on the Non-mechanizability of Intuitionist Reasoning
Philosophia Mathematica | 1996-07-22 | Paper |
| scientific article; zbMATH DE number 859510 (Why is no real title available?) | 1996-04-22 | Paper |
Poincaré against the logicians
Synthese | 1992-06-28 | Paper |
On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem
Journal of Philosophical Logic | 1990-01-01 | Paper |
Hilbert's program. An essay on mathematical instrumentalism
Synthese Library | 1986-01-01 | Paper |
On interpreting Gödel's second theorem
Journal of Philosophical Logic | 1979-01-01 | Paper |
Symmetric sublattices of a Noether lattice
Pacific Journal of Mathematics | 1978-01-01 | Paper |
Computation with Roman numerals
Archive for History of Exact Sciences | 1976-01-01 | Paper |
Prime sequences and distributivity in local Noether lattices
Fundamenta Mathematicae | 1974-01-01 | Paper |
| Regularity in Terms of Reductions in Local Noether Lattices | 1974-01-01 | Paper |
