Login / Signup
What Your Computer Still Can't Know: A Refutation of Bringsjord's Refutation of Searle's Refutation of Bostrom and Floridi.
Ahti-Veikko Pietarinen
Published in:
Robophilosophy/TRANSOR (2016)
Keyphrases
</>
theorem prover
theorem proving
inductive inference
automated theorem proving
classical logic
computer systems
genetic algorithm
trade off
database
data mining
three dimensional
first order logic