A refutation of Penrose's Gödelian case against artificial intelligence

@article{Bringsjord2000ARO,
  title={A refutation of Penrose's G{\"o}delian case against artificial intelligence},
  author={Selmer Bringsjord and Hong Xiao},
  journal={Journal of Experimental \& Theoretical Artificial Intelligence},
  year={2000},
  volume={12},
  pages={307 - 329}
}
Having, as it is generally agreed, failed to destroy the computational conception of mind with the Godelian attack he articulated in his The Emperor's New Mind, Penrose has returned, armed with a more elaborate and more fastidious Gödelian case, expressed in Chapters 2 and 3 of his Shadows of the Mind. The core argument in these chapters is enthymematic, and when formalized, a remarkable number of technical glitches come to light. Over and above these defects, the argument, at best, is an… 

The 'Mental Eye' Defence of an Infinitized Version of Yablo's Paradox

Jc. Beall (2001) argues that Yablo's (1993) paradox, despite Sorensen's (1998) defence to the contrary, is circular. The crux of Beall's case is the view that we have but two ways to fix the referent

The modal argument for hypercomputing minds

The Asphalt World

This chapter conceives the history of neural networks emerging from two millennia of attempts to rationalise and formalise the operation of mind. It begins with a brief review of early classical

Are we evolved computers?: A critical review of Steven Pinker's How the mind works

Steven Pinker's How the mind works (HTMW) marks in my opinion an historic point in the history of humankind's attempt to understand itself. Socrates delivered his "know thyself" imperative rather

History and Philosophy of Neural Networks

This chapter conceives the history of neural networks emerging from two millennia of attempts to rationalise and formalise the operation of mind. It begins with a brief review of early classical

A Cognitive Computation Fallacy? Cognition, Computations and Panpsychism

TLDR
A group of philosophical arguments that suggest either unequivocal optimism in computationalism is misplaced—computation is neither necessary nor sufficient for cognition—or panpsychism (the belief that the physical universe is fundamentally composed of elements each of which is conscious) is true are reviewed.

Theological and Ethical Aspects of Mind Transfer in Transhumanism

TLDR
The paper contains a very brief description of these technical capabilities with the necessary short commentary on their ethical aspects and the latest AI algorithms seem to be very fast approaching the moment when practical mind transfer will be possible.

Why we shouldn't fault Lucas and Penrose for continuing to believe in the Goedelian argument against computationalism

The only fault we can fairly lay at Lucas' and Penrose's doors, for continuing to believe in the essential soundness of the Goedelian argument, is their naive faith in, first, non-verifiable

Non-computability of human intelligence

TLDR
The question (most famously) initiated by Turing: can human intelligence be completely modeled by a Turing machine is revisited, and it is shown that at least some meaningful thought processes of the brain cannot be Turing computable.

The Singularity, or How I Learned to Stop Worrying and Love AI

Professor Stephen Hawking recently warned about the growing power of Artificial Intelligence (AI) to imbue robots with the ability to both replicate them- selves and to increase the rate at which

References

SHOWING 1-10 OF 66 REFERENCES

Penrose’s Gödelian argument

In his book Shadows of the Mind: A search for the missing science of consciousness [SM below], Roger Penrose has turned in another bravura performance, the kind we have come to expect ever since The

Yablo's paradox

Stephen Yablo has given an ingenious liar-style paradox that, he claims, avoids self-reference, even of an indirect kind, one that is, in fact, 'not in any way circular' (Yablo 1993, his italics). He

Minds, Machines and Godel:

I Would like to draw attention to the basic defect in the argument used by Mr J. R. Lucas (Minds, Machines and Gödel, Philosophy, July 1961, p. 112). Mr Lucas there states that Gödel's theorem shows

Minds and machines

The emergence of electronic computers in the last thirty years has given rise to many interesting questions. Many of these questions are technical, relating to a machine’s ability to perform complex

Gödel's Theorem and the Mind1

  • P. Slezak
  • Philosophy
    The British Journal for the Philosophy of Science
  • 1982
J. R. Lucas has articulated and defended the view that Godel's theorems imply the falsity of mechanism as a theory of the mind. In this paper I offer a novel analysis of Lucas's argument which shows

Minds, Machines and Gödel

Gödei's Theorem seems to me to prove that Mechanism is false, that is, that minds cannot be explained as machines. So also has it seemed to many other people: almost every mathematical logician I

Paradox without Self-Reference

TLDR
Proofs are normalizable when they can be brought into normal form by a finite sequence of applications of reduction procedures, designed to get rid of unnecessary prolixity.

Why Gödel's Theorem Cannot Refute Computationalism

Beyond the Doubting of a Shadow A Reply to Commentaries on Shadows of the Mind

1. Bernard J. Baars: Can physics provide a theory of consciousness? 2. David J. Chalmers: Minds, machines, and mathematics 3. Solomon Feferman: Penrose's Gödelian argument 4. Stanley A. Klein: Is

Artificial Intelligence and Literary Creativity: Inside the Mind of Brutus, A Storytelling Machine

From the Publisher: Computers can play superlative chess, diagnose disease, guide spacecraft, power robots that can deliver mail and (soon) clean houses, etcetera. But can computers originate
...