| Publication | Date of Publication | Type |
|---|
The epistemology of computer-mediated proofs
Philosophy of Engineering and Technology | 2019-11-27 | Paper |
Is universal computation a myth?
Emergent Computation | 2018-10-04 | Paper |
Proof verification and proof discovery for relativity
Synthese | 2017-03-09 | Paper |
A vindication of program verification
History and Philosophy of Logic | 2017-02-22 | Paper |
God, souls, and Turing: in defense of the theological objection to the Turing test
Kybernetes | 2015-11-17 | Paper |
The myth of `the myth of hypercomputation'
Parallel Processing Letters | 2013-08-16 | Paper |
Small steps toward hypercomputation via infinitary machine proof verification and proof generation
Unconventional Computation and Natural Computation | 2013-06-28 | Paper |
Vivid: a framework for heterogeneous problem solving
Artificial Intelligence | 2009-12-21 | Paper |
The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
Journal of Applied Logic | 2008-12-11 | Paper |
| On the provability, veracity, and AI-relevance of the Church-Turing thesis | 2006-10-16 | Paper |
A new Gödelian argument for hypercomputing minds based on the busy beaver problem
Applied Mathematics and Computation | 2006-06-30 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-11-23 | Paper |
The modal argument for hypercomputing minds
Theoretical Computer Science | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2001417 (Why is no real title available?) | 2004-01-13 | Paper |
Superminds. People harness hypercomputation, and more
Studies in Cognitive Systems | 2003-09-23 | Paper |
scientific article; zbMATH DE number 1869980 (Why is no real title available?)
Minds and Machines | 2003-02-17 | Paper |
scientific article; zbMATH DE number 1869995 (Why is no real title available?)
Minds and Machines | 2003-02-17 | Paper |
scientific article; zbMATH DE number 1869985 (Why is no real title available?)
Minds and Machines | 2003-02-17 | Paper |
A refutation of Penrose's Gödelian case against artificial intelligence
Journal of Experimental & Theoretical Artificial Intelligence | 2002-12-10 | Paper |
Animals, zombanimals, and the total Turing test. The essence of artificial intelligence
Journal of Logic, Language and Information | 2001-09-10 | Paper |
| Are There Set Theoretic Possible Worlds? | 2000-08-22 | Paper |
Cognition is not computation: The argument from irreversibility
Synthese | 2000-01-11 | Paper |
What robots can and can't be
Studies in Cognitive Systems | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 67851 (Why is no real title available?) | 1992-09-27 | Paper |
