Lucas and Penrose vs. Computationalism: A Refutation of the Gödel-arguments
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 a