Penrose–Lucas argument
The Penrose–Lucas argument is a logical argument partially based on a theory developed by mathematician and logician
Background
Kurt Gödel showed that any such theory also including a statement of its own consistency is inconsistent. A key element of the proof is the use of Gödel numbering to construct a "Gödel sentence" for the theory, which encodes a statement of its own incompleteness: "This theory can't prove this statement"; or "I am not provable in this system". Either this statement and its negation are both unprovable (the theory is incomplete) or both provable (the theory is inconsistent). In the first eventuality the statement is intuitively true[1] (since it is not provable); otherwise, the statement is intuitively false - though provable.
An analogous statement has been used to show that humans are subject to the same limits as machines: “Lucas cannot consistently assert this formula”. In defense of philosopher
Penrose argued that while a formal proof system cannot prove its own consistency, Gödel-unprovable results are provable by human mathematicians.[5] He takes this disparity to mean that human mathematicians are not describable as effective procedures and are therefore running a non-computable algorithm. Similar claims about the implications of Gödel's theorem were originally espoused by Alan Turing in the late 1940s, by Gödel himself in his 1951 Gibbs lecture, by E. Nagel and J.R. Newman in 1958,[6] and were subsequently popularized by Lucas in 1961.[7]
The inescapable conclusion seems to be: Mathematicians are not using a knowably sound calculation procedure in order to ascertain mathematical truth. We deduce that mathematical understanding – the means whereby mathematicians arrive at their conclusions with respect to mathematical truth – cannot be reduced to blind calculation!
— Roger Penrose[8]
Consequences
If correct, the Penrose–Lucas argument creates a need to understand the physical basis of non-computable behaviour in the brain.[9] Most physical laws are computable, and thus algorithmic. However, Penrose determined that wave function collapse was a prime candidate for a non-computable process.
In
If collapse is truly random, then no process or algorithm can deterministically predict its outcome. This provided Penrose with a candidate for the physical basis of the non-computable process that he hypothesized to exist in the brain. However, he disliked the random nature of environmentally induced collapse, as randomness was not a promising basis for mathematical understanding. Penrose proposed that isolated systems may still undergo a new form of wave function collapse, which he called objective reduction (OR).[10]
Penrose sought to reconcile
where:
- is the time until OR occurs,
- is the gravitational self-energy or the degree of spacetime separation given by the superpositioned mass, and
- is the reduced Planck constant.
Thus, the greater the mass-energy of the object, the faster it will undergo OR and vice versa. Atomic-level superpositions would require 10 million years to reach OR threshold, while an isolated 1 kilogram object would reach OR threshold in 10−37s. Objects somewhere between these two scales could collapse on a timescale relevant to neural processing.[10][citation needed][12]
An essential feature of Penrose's theory is that the choice of states when objective reduction occurs is selected neither randomly (as are choices following wave function collapse) nor algorithmically. Rather, states are selected by a "non-computable" influence embedded in the Planck scale of spacetime geometry. Penrose claimed that such information is Platonic, representing pure mathematical truth, aesthetic and ethical values at the Planck scale. This relates to Penrose's ideas concerning the three worlds: physical, mental, and the Platonic mathematical world. In his theory, the Platonic world corresponds to the geometry of fundamental spacetime that is claimed to support noncomputational thinking.[10][citation needed][13][14]
Criticism
The Penrose–Lucas argument about the implications of
Philosopher and mathematician
Geoffrey LaForte pointed out that in order to know the truth of an unprovable Gödel sentence, one must already know the formal system is consistent (although this was not the point Lucas tried to make); referencing Paul Benacerraf, he tried to demonstrate that humans cannot prove that they are consistent,[15] and in all likelihood human brains are inconsistent algorithms that use some sort of paraconsistent logic, pointing to alleged contradictions within Penrose's own writings as examples. Similarly, Marvin Minsky argued that because humans can believe false ideas to be true, human mathematical understanding need not be consistent and consciousness may easily have a deterministic basis.[31] Penrose argued against Minsky stating that mistakes human mathematicians make are irrelevant because they are correctable, while logical truths are “unassailable truths” to persons, which are the outputs of a sound system and the only ones that matter.[32] Mistakes do not directly imply that the human mind is inconsistent per se: biological organisms are subject to cognitive turmoils, reduced long-term memory and attention shifts; these reduce our reasoning capabilities and make humans act unconsciously without taking into consideration all the possible variables of a system. Thus, a disjunction holds: either the human mind is not a computation of a Turing Machine; or it is a product of an inconsistent Turing Machine that could be reasoning using some sort of paraconsistent logic.
See also
References
- ISBN 978-1-58488-876-5.
- S2CID 170576086.
- ^ Hofstadter 1979, pp. 476–477 , Russell & Norvig 2003, p. 950 , Turing 1950 under "The Argument from Mathematics" where he writes "although it is established that there are limitations to the powers of any particular machine, it has only been stated, without sort of proof, that no such limitations apply to the human intellect."
- ^ "Details view: Lucas tricks machines into contradicting themselves". debategraph.org. Retrieved 2023-06-14.
- ^ ISBN 978-0-19-851973-7.
- ^ a b "Gödel's Incompleteness Theorems". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2022.
- S2CID 55408480.
- ^ Roger Penrose. Mathematical intelligence. In Jean Khalfa, editor, What is Intelligence?, chapter 5, pages 107–136. Cambridge University Press, Cambridge, United Kingdom, 1994.
- ^ "Lucas-Penrose Argument about Gödel's Theorem | Internet Encyclopedia of Philosophy".
- ^ PMID 24070914.
- ISBN 978-0-19-853978-0.
- ^ "Physicists place fresh limits on gravity's role in wavefunction collapse". 10 October 2020.
- ^ "Kant's Views on Space and Time". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2022.
- arXiv:gr-qc/9409007.
- ^ a b LaForte, Geoffrey, Patrick J. Hayes, and Kenneth M. Ford 1998.Why Gödel's Theorem Cannot Refute Computationalism. Artificial Intelligence, 104:265–286.
- ^ CiteSeerX 10.1.1.130.7027.
- ^ Krajewski, Stanislaw 2007. On Gödel's Theorem and Mechanism: Inconsistency or Unsoundness is Unavoidable in any Attempt to 'Out-Gödel' the Mechanist. Fundamenta Informaticae 81, 173–181. Reprinted in Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science:In Recognition of Professor Andrzej Grzegorczyk (2008), p. 173
- ^ P. Pudlak, A note on applicability of the incompleteness theorem to human mind, Annals of Pure and Applied Logic, 96 (1999), 335-342 doi://10.1016/S0168-0072(98)00044-X
- ^ Putnam, Hilary 1995. Review of Shadows of the Mind. In Bulletin of the American Mathematical Society 32, 370–373 (also see Putnam's less technical criticisms in his New York Times review)
- ^ "MindPapers: 6.1b. Godelian arguments". Consc.net. Retrieved 2014-07-28.
- ^ "References for Criticisms of the Gödelian Argument". Users.ox.ac.uk. 1999-07-10. Archived from the original on 2020-09-17. Retrieved 2021-07-07.
- ^ Boolos, George, et al. 1990. An Open Peer Commentary on The Emperor's New Mind. Behavioral and Brain Sciences 13 (4) 655.
- ^ Davis, Martin 1993. How subtle is Gödel's theorem? More on Roger Penrose. Behavioral and Brain Sciences, 16, 611–612. Online version at Davis' faculty page at http://cs.nyu.edu/cs/faculty/davism/
- Lewis, David K. 1969.Lucas against mechanism. Philosophy 44 231–233.
- ^ Bringsjord, S. and Xiao, H. 2000. A Refutation of Penrose's Gödelian Case Against Artificial Intelligence. Journal of Experimental and Theoretical Artificial Intelligence 12: 307–329. The authors write that it is "generally agreed" that Penrose "failed to destroy the computational conception of mind."
- ^ In an article at "Penrose's Philosophical Error". Archived from the original on 2001-01-25. Retrieved 2010-10-22. L.J. Landau at the Mathematics Department of King's College London writes that "Penrose's argument, its basis and implications, is rejected by experts in the fields which it touches."
- ^ a b Princeton Philosophy professor John Burgess writes in On the Outside Looking In: A Caution about Conservativeness (published in Kurt Gödel: Essays for his Centennial, with the following comments found on pp. 131–132) that "the consensus view of logicians today seems to be that the Lucas–Penrose argument is fallacious, though as I have said elsewhere, there is at least this much to be said for Lucas and Penrose, that logicians are not unanimously agreed as to where precisely the fallacy in their argument lies. There are at least three points at which the argument may be attacked."
- Logic for Programming, Artificial Intelligence, and Reasoning(LPAR; Jamaica), G. Sutcliffe and A. Voronkov, eds., Lecture Notes in Computer Science, vol. 3835, Springer-Verlag, Berlin, pp. 125–138.
- ^ "What is Machine Learning?". IBM. Retrieved 2023-06-10.
- ^ "Building a Machine Learning Model through Trial and Error". KDnuggets. Retrieved 2023-06-10.
- ^ Marvin Minsky. "Conscious Machines." Machinery of Consciousness, Proceedings, National Research Council of Canada, 75th Anniversary Symposium on Science in Society, June 1991.
- ^ "Lucas-Penrose Argument about Gödel's Theorem". Internet Encyclopedia of Philosophy. Retrieved 2023-06-11.