Selmer Bringsjord

From MaRDI portal
Person:514555

Available identifiers

zbMath Open bringsjord.selmerWikidataQ16192619 ScholiaQ16192619MaRDI QIDQ514555

List of research outcomes

PublicationDate of PublicationType
The Epistemology of Computer-Mediated Proofs2019-11-27Paper
Is Universal Computation a Myth?2018-10-04Paper
Proof verification and proof discovery for relativity2017-03-09Paper
A Vindication of Program Verification2017-02-22Paper
God, souls, and Turing: in defense of the theological objection to the Turing test2015-11-17Paper
THE MYTH OF 'THE MYTH OF HYPERCOMPUTATION'2013-08-16Paper
Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation2013-06-28Paper
Vivid: a framework for heterogeneous problem solving2009-12-21Paper
The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself2008-12-11Paper
https://portal.mardi4nfdi.de/entity/Q54937422006-10-16Paper
A new Gödelian argument for hypercomputing minds based on the busy beaver problem2006-06-30Paper
Computational Logic in Multi-Agent Systems2005-11-23Paper
The modal argument for hypercomputing minds2004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44343772004-01-13Paper
Superminds. People harness hypercomputation, and more2003-09-23Paper
https://portal.mardi4nfdi.de/entity/Q47926892003-02-17Paper
https://portal.mardi4nfdi.de/entity/Q47926972003-02-17Paper
https://portal.mardi4nfdi.de/entity/Q47927102003-02-17Paper
A refutation of Penrose's Gödelian case against artificial intelligence2002-12-10Paper
Animals, zombanimals, and the total Turing test. The essence of artificial intelligence2001-09-10Paper
Are There Set Theoretic Possible Worlds?2000-08-22Paper
Cognition is not computation: The argument from irreversibility2000-01-11Paper
What robots can and can't be1993-01-23Paper
https://portal.mardi4nfdi.de/entity/Q40138211992-09-27Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Selmer Bringsjord