Lucas and Penrose vs. Computationalism: A Refutation of the Gödel-arguments

Sammanfattning: John Lucas and Roger Penrose attempted to refute Computationalism, the theory that the human mind is a computational system. They did so by utilizing meta-mathematical proofs by Kurt Gödel. I will explore various objections made against the attempt and discover that it relies on two uncertain premises – human consistency and proof for the consistency of a formal system. Revisions of the argument are made to avoid the second premise, but the first premise remains. In addition to the assumed premises, various technical objections have been made against Lucas’ and Penrose’s arguments. Lucas and Penrose’s attempt at refuting Computationalism ultimately fails because of the technical objections and the lack of a cogent proof for human consistency.