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
https://portal.mardi4nfdi.de/entity/Q5493742	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/Q4792697	2003-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4792710	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Selmer Bringsjord