The following pages link to Selmer Bringsjord (Q514555):
Displaying 24 items.
- Proof verification and proof discovery for relativity (Q514557) (← links)
- The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself (Q959049) (← links)
- Vivid: a framework for heterogeneous problem solving (Q1045993) (← links)
- What robots can and can't be (Q1189564) (← links)
- Cognition is not computation: The argument from irreversibility (Q1297029) (← links)
- Superminds. People harness hypercomputation, and more (Q1408489) (← links)
- The modal argument for hypercomputing minds (Q1434374) (← links)
- Animals, zombanimals, and the total Turing test. The essence of artificial intelligence (Q1592258) (← links)
- A new Gödelian argument for hypercomputing minds based on the busy beaver problem (Q2495984) (← links)
- THE MYTH OF 'THE MYTH OF HYPERCOMPUTATION' (Q2842654) (← links)
- A Vindication of Program Verification (Q2963953) (← links)
- God, souls, and Turing: in defense of the theological objection to the Turing test (Q3451541) (← links)
- (Q4013821) (← links)
- (Q4434377) (← links)
- Are There Set Theoretic Possible Worlds? (Q4497490) (← links)
- Is Universal Computation a Myth? (Q4686642) (← links)
- A refutation of Penrose's Gödelian case against artificial intelligence (Q4784280) (← links)
- (Q4792689) (← links)
- (Q4792697) (← links)
- (Q4792710) (← links)
- The Epistemology of Computer-Mediated Proofs (Q4972861) (← links)
- Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation (Q5300915) (← links)
- (Q5493742) (← links)
- Computational Logic in Multi-Agent Systems (Q5706850) (← links)