Selmer Bringsjord

Available identifiers

zbMath Open bringsjord.selmerDBLP99/3934WikidataQ16192619 ScholiaQ16192619MaRDI QIDQ514555

List of research outcomes

Publication	Date of Publication	Type
The Epistemology of Computer-Mediated Proofs	2019-11-27	Paper
Is Universal Computation a Myth?	2018-10-04	Paper
Proof verification and proof discovery for relativity	2017-03-09	Paper
A Vindication of Program Verification	2017-02-22	Paper
God, souls, and Turing: in defense of the theological objection to the Turing test	2015-11-17	Paper
The myth of `the myth of hypercomputation'	2013-08-16	Paper
Small steps toward hypercomputation via infinitary machine proof verification and proof generation	2013-06-28	Paper
Vivid: a framework for heterogeneous problem solving	2009-12-21	Paper
The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself	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	2006-06-30	Paper
Computational Logic in Multi-Agent Systems	2005-11-23	Paper
The modal argument for hypercomputing minds	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4434377	2004-01-13	Paper
Superminds. People harness hypercomputation, and more	2003-09-23	Paper
https://portal.mardi4nfdi.de/entity/Q4792689	2003-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4792710	2003-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4792697	2003-02-17	Paper
A refutation of Penrose's Gödelian case against artificial intelligence	2002-12-10	Paper
Animals, zombanimals, and the total Turing test. The essence of artificial intelligence	2001-09-10	Paper
Are There Set Theoretic Possible Worlds?	2000-08-22	Paper
Cognition is not computation: The argument from irreversibility	2000-01-11	Paper
What robots can and can't be	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4013821	1992-09-27	Paper

Research outcomes over time

This page was built for person: Selmer Bringsjord