| Publication | Date of Publication | Type |
|---|
| A busy-beaver-like function in complexity theory | 2024-10-24 | Paper |
| From here to eternity | 2024-10-24 | Paper |
On Hilbert's sixth problem
Synthese Library | 2021-09-14 | Paper |
Learning the Undecidable from Networked Systems
Unravelling Complexity | 2021-06-15 | Paper |
Selva Selvaggia
Unravelling Complexity | 2021-06-15 | Paper |
Can a free market be complete?
Advances in Intelligent Systems and Computing | 2020-06-29 | Paper |
A beautiful theorem
Towards Paraconsistent Engineering | 2020-02-04 | Paper |
Learning the undecidable from networked systems
(available as arXiv preprint) | 2019-04-08 | Paper |
Metamathematical limits to computation
The Handbook on Reasoning-Based Intelligent Systems | 2016-11-09 | Paper |
Einstein meets Gödel
New Mathematics and Natural Computation | 2014-01-24 | Paper |
| Why is the \(\mathrm{P}=?\mathrm{NP}\) question so difficult | 2013-04-24 | Paper |
Blueprint for a hypercomputer
A Computable Universe | 2013-02-26 | Paper |
| Gödel's way. Exploits into an undecidable world | 2011-11-25 | Paper |
| Are the foundations of computer science logic-dependent? | 2011-05-31 | Paper |
How to build a hypercomputer
Applied Mathematics and Computation | 2009-11-13 | Paper |
| Janus-faced physics: on Hilbert's 6th problem | 2008-03-20 | Paper |
Fast-Growing Functions and the P vs. NP Question
Logic Journal of the IGPL | 2008-01-18 | Paper |
On the metamathematics of the P vs. NP question
Applied Mathematics and Computation | 2007-09-19 | Paper |
Informal versus formal mathematics
Synthese | 2007-06-14 | Paper |
Some thoughts on hypercomputation
Applied Mathematics and Computation | 2006-08-04 | Paper |
| scientific article; zbMATH DE number 2109540 (Why is no real title available?) | 2004-10-25 | Paper |
Consequences of an exotic definition for \(\text{P}=\text{NP}\).
Applied Mathematics and Computation | 2003-11-25 | Paper |
Is there a simple, pedestrian arithmetic sentence which is independent of ZFC?
Synthese | 2001-09-13 | Paper |
Some new incompleteness theorems and their import to the foundations of mathematics
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
Leopoldo Nachbin: Some personal recollections
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
| A lemma on a total function defined over the Baker-Gill-Solovay set of polynomial Turing machines | 2001-06-12 | Paper |
| On a total function which overtakes all total recursive functions | 2001-06-12 | Paper |
| On the consistency of $P=NP$ with fragments of ZFC whose own consistency strength can be measured by an ordinal assignment | 2000-06-10 | Paper |
The Atiyah - Singer index theorem and the gauge field copy problem
Journal of Physics A: Mathematical and General | 2000-02-07 | Paper |
The incompleteness of theories of games
Journal of Philosophical Logic | 1999-04-22 | Paper |
| scientific article; zbMATH DE number 1163917 (Why is no real title available?) | 1998-11-02 | Paper |
| scientific article; zbMATH DE number 895222 (Why is no real title available?) | 1996-09-18 | Paper |
Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications
Complexity | 1996-07-01 | Paper |
Undecidable Hopf bifurcation with undecidable fixed point
International Journal of Theoretical Physics | 1996-03-05 | Paper |
| scientific article; zbMATH DE number 804141 (Why is no real title available?) | 1995-10-10 | Paper |
Undecidability, incompleteness and Arnol'd problems
Studia Logica | 1995-09-11 | Paper |
On Jaśkowski's discussive logics
Studia Logica | 1995-02-22 | Paper |
| scientific article; zbMATH DE number 605219 (Why is no real title available?) | 1994-11-24 | Paper |
Dynamical system where proving chaos is equivalent to proving Fermat's conjecture
International Journal of Theoretical Physics | 1994-05-26 | Paper |
| scientific article; zbMATH DE number 517071 (Why is no real title available?) | 1994-03-17 | Paper |
| scientific article; zbMATH DE number 496040 (Why is no real title available?) | 1994-02-07 | Paper |
| scientific article; zbMATH DE number 169728 (Why is no real title available?) | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 120353 (Why is no real title available?) | 1993-02-22 | Paper |
Undecidability and incompleteness in classical mechanics
International Journal of Theoretical Physics | 1992-06-25 | Paper |
A Suppes predicate for general relativity and set-theoretically generic spacetimes
International Journal of Theoretical Physics | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4043835 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4041892 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3883167 (Why is no real title available?) | 1984-01-01 | Paper |
The geometry of gauge field copies
Communications in Mathematical Physics | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3824666 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3674999 (Why is no real title available?) | 1979-01-01 | Paper |
Mesonic test fields and spacetime cohomology
Journal of Mathematical Physics | 1978-01-01 | Paper |
