''Shadows of the Mind: A Search for the Missing Science of Consciousness'' is a 1994 book by
mathematical physicist Roger Penrose
Sir Roger Penrose (born 8 August 1931) is an English mathematician, mathematical physicist, Philosophy of science, philosopher of science and Nobel Prize in Physics, Nobel Laureate in Physics. He is Emeritus Rouse Ball Professor of Mathematics i ...
that serves as a followup to his 1989 book ''
The Emperor's New Mind: Concerning Computers, Minds and The Laws of Physics''.
Penrose hypothesizes that:
*Human
consciousness
Consciousness, at its simplest, is awareness of a state or object, either internal to oneself or in one's external environment. However, its nature has led to millennia of analyses, explanations, and debate among philosophers, scientists, an ...
is non-
algorithm
In mathematics and computer science, an algorithm () is a finite sequence of Rigour#Mathematics, mathematically rigorous instructions, typically used to solve a class of specific Computational problem, problems or to perform a computation. Algo ...
ic, and thus is not capable of being modelled by a conventional
Turing machine
A Turing machine is a mathematical model of computation describing an abstract machine that manipulates symbols on a strip of tape according to a table of rules. Despite the model's simplicity, it is capable of implementing any computer algori ...
type of
digital computer
A computer is a machine that can be programmed to automatically carry out sequences of arithmetic or logical operations (''computation''). Modern digital electronic computers can perform generic sets of operations known as ''programs'', wh ...
.
*
Quantum mechanics
Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
plays an essential role in the understanding of human
consciousness
Consciousness, at its simplest, is awareness of a state or object, either internal to oneself or in one's external environment. However, its nature has led to millennia of analyses, explanations, and debate among philosophers, scientists, an ...
; specifically, he believes that
microtubule
Microtubules are polymers of tubulin that form part of the cytoskeleton and provide structure and shape to eukaryotic cells. Microtubules can be as long as 50 micrometres, as wide as 23 to 27 nanometer, nm and have an inner diameter bet ...
s within
neuron
A neuron (American English), neurone (British English), or nerve cell, is an membrane potential#Cell excitability, excitable cell (biology), cell that fires electric signals called action potentials across a neural network (biology), neural net ...
s support
quantum superpositions.
*The
objective collapse of the quantum
wavefunction
In quantum physics, a wave function (or wavefunction) is a mathematical description of the quantum state of an isolated quantum system. The most common symbols for a wave function are the Greek letters and (lower-case and capital psi (letter) ...
of the microtubules is critical for
consciousness
Consciousness, at its simplest, is awareness of a state or object, either internal to oneself or in one's external environment. However, its nature has led to millennia of analyses, explanations, and debate among philosophers, scientists, an ...
.
*The collapse in question is physical behaviour that is non-algorithmic and transcends the limits of
computability
Computability is the ability to solve a problem by an effective procedure. It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science. The computability of a problem is c ...
.
*The human mind has abilities that no
Turing machine
A Turing machine is a mathematical model of computation describing an abstract machine that manipulates symbols on a strip of tape according to a table of rules. Despite the model's simplicity, it is capable of implementing any computer algori ...
could possess because of this mechanism of non-computable physics.
Argument
Mathematical thought
In 1931, the mathematician and logician
Kurt Gödel
Kurt Friedrich Gödel ( ; ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel profoundly ...
proved his
incompleteness theorem
Complete may refer to:
Logic
* Completeness (logic)
* Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable
Mathematics
* The completeness of the real numbers, which implies ...
s, showing that any effectively generated theory capable of expressing elementary arithmetic cannot be both
consistent
In deductive logic, a consistent theory is one that does not lead to a logical contradiction. A theory T is consistent if there is no formula \varphi such that both \varphi and its negation \lnot\varphi are elements of the set of consequences ...
and
complete
Complete may refer to:
Logic
* Completeness (logic)
* Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable
Mathematics
* The completeness of the real numbers, which implies t ...
. Further to that, for any consistent formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true, but not provable in the theory. The essence of Penrose's argument is that while a formal proof system cannot, because of the theorem, prove its own incompleteness, Gödel-type results are provable by human mathematicians. He takes this disparity to mean that human mathematicians are not describable as formal proof systems and are not running an algorithm, so that the
computational theory of mind
In philosophy of mind, the computational theory of mind (CTM), also known as computationalism, is a family of views that hold that the human mind is an information processing system and that cognition and consciousness together are a form of comp ...
is false, and computational approaches to
artificial general intelligence
Artificial general intelligence (AGI)—sometimes called human‑level intelligence AI—is a type of artificial intelligence that would match or surpass human capabilities across virtually all cognitive tasks.
Some researchers argue that sta ...
are unfounded. (The argument was first given by Penrose in ''
The Emperor's New Mind
''The Emperor's New Mind: Concerning Computers, Minds and The Laws of Physics'' is a 1989 book by the mathematical physicist Roger Penrose.
Penrose argues that human consciousness is non-algorithmic, and thus is not capable of being modeled by ...
'' (1989) and is developed further in ''Shadows of The Mind''. An
earlier version of the argument was given by
J. R. Lucas in 1959. For this reason, the argument is sometimes called the Penrose-Lucas argument.)
Objective reduction
Penrose's theory of Objective Reduction predicts the relationship between
quantum mechanics
Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
and
general relativity
General relativity, also known as the general theory of relativity, and as Einstein's theory of gravity, is the differential geometry, geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of grav ...
. Penrose proposes that a
quantum state
In quantum physics, a quantum state is a mathematical entity that embodies the knowledge of a quantum system. Quantum mechanics specifies the construction, evolution, and measurement of a quantum state. The result is a prediction for the system ...
remains in
superposition
In mathematics, a linear combination or superposition is an expression constructed from a set of terms by multiplying each term by a constant and adding the results (e.g. a linear combination of ''x'' and ''y'' would be any expression of the form ...
until the difference in
space-time curvature reaches a significant level.
This idea is inspired by
quantum gravity
Quantum gravity (QG) is a field of theoretical physics that seeks to describe gravity according to the principles of quantum mechanics. It deals with environments in which neither gravitational nor quantum effects can be ignored, such as in the v ...
, because it uses both the physical constants
and
. It is an alternative to the
Copenhagen interpretation
The Copenhagen interpretation is a collection of views about the meaning of quantum mechanics, stemming from the work of Niels Bohr, Werner Heisenberg, Max Born, and others. While "Copenhagen" refers to the Danish city, the use as an "interpretat ...
, which posits that superposition fails under observation, and the
many-worlds hypothesis, which states that each alternative outcome of a superposition becomes real in a separate world.
Penrose's idea is a type of
objective collapse theory. In these theories the wavefunction is a physical wave, which undergoes
wave function collapse as a physical process, with observers playing no special role. Penrose theorises that the wave function cannot be sustained in superposition beyond a certain energy difference between the quantum states. He gives an approximate value for this difference: a
Planck mass worth of matter, which he calls the "'one-graviton' level".
He then hypothesizes that this energy difference causes the wave function to collapse to a single state, with a probability based on its amplitude in the original wave function, a procedure taken from standard
quantum mechanics
Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
.
Orchestrated objective reduction
When he wrote his first consciousness book, ''The Emperor's New Mind'' in 1989, Penrose lacked a detailed proposal for how such quantum processes could be implemented in the brain. Subsequently,
Stuart Hameroff read ''The Emperor's New Mind'' and suggested to Penrose that
microtubule
Microtubules are polymers of tubulin that form part of the cytoskeleton and provide structure and shape to eukaryotic cells. Microtubules can be as long as 50 micrometres, as wide as 23 to 27 nanometer, nm and have an inner diameter bet ...
s within brain cells were suitable candidate sites for quantum processing and ultimately for consciousness.
The Orch-OR theory arose from the cooperation of these two scientists and was developed in Penrose's second consciousness book ''Shadows of the Mind'' (1994).
Hameroff's contribution to the theory derived from studying brain cells (
neuron
A neuron (American English), neurone (British English), or nerve cell, is an membrane potential#Cell excitability, excitable cell (biology), cell that fires electric signals called action potentials across a neural network (biology), neural net ...
s). His interest centred on the
cytoskeleton
The cytoskeleton is a complex, dynamic network of interlinking protein filaments present in the cytoplasm of all cells, including those of bacteria and archaea. In eukaryotes, it extends from the cell nucleus to the cell membrane and is compos ...
, which provides an internal supportive structure for neurons, and particularly on the microtubules,
[ which are the important component of the cytoskeleton. As neuroscience has progressed, the role of the cytoskeleton and microtubules has assumed greater importance. In addition to providing a supportive structure for the cell, the known functions of the microtubules include transport of molecules, including neurotransmitter molecules bound for the ]synapse
In the nervous system, a synapse is a structure that allows a neuron (or nerve cell) to pass an electrical or chemical signal to another neuron or a target effector cell. Synapses can be classified as either chemical or electrical, depending o ...
s, and control of the cell's movement, growth and shape.[
]
Criticism
Gödelian argument and nature of human thought
Penrose's views on the human thought
In their most common sense, the terms thought and thinking refer to cognitive processes that can happen independently of sensory stimulation. Their most paradigmatic forms are judging, reasoning, concept formation, problem solving, and de ...
process are not widely accepted in certain scientific circles ( Drew McDermott, David Chalmers
David John Chalmers (; born 20 April 1966) is an Australian philosopher and cognitive scientist, specializing in philosophy of mind and philosophy of language. He is a professor of philosophy and neural science at New York University, as well ...
and others). According to Marvin Minsky
Marvin Lee Minsky (August 9, 1927 – January 24, 2016) was an American cognitive scientist, cognitive and computer scientist concerned largely with research in artificial intelligence (AI). He co-founded the Massachusetts Institute of Technology ...
, because people can construe false ideas to be factual, the process of thinking is not limited to formal logic. Further, AI programs can also conclude that false statements are true, so error is not unique to humans.
In May 1995, Stanford
Leland Stanford Junior University, commonly referred to as Stanford University, is a private research university in Stanford, California, United States. It was founded in 1885 by railroad magnate Leland Stanford (the eighth governor of and th ...
mathematician Solomon Feferman
Solomon Feferman (December 13, 1928July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, computability theory, and set theory, he was known for h ...
attacked Penrose's approach on multiple grounds, including the mathematical validity of his Gödelian argument and theoretical background. In 1996, Penrose offered a consolidated reply to many of the criticisms of "Shadows".
John Searle
John Rogers Searle (; born July 31, 1932) is an American philosopher widely noted for contributions to the philosophy of language, philosophy of mind, and social philosophy. He began teaching at UC Berkeley in 1959 and was Willis S. and Mario ...
criticises Penrose's appeal to Gödel as resting on the fallacy that all computational algorithms must be capable of mathematical description. As a counter-example, Searle cites the assignment of license plate numbers (LPN) to specific vehicle identification number
A vehicle identification number (VIN; also called a chassis number or frame number) is a unique code, including a serial number, used by the automotive industry to identify individual motor vehicles, towed vehicles, motorcycles, scooters a ...
s (VIN), to register a vehicle. According to Searle, no mathematical function can be used to connect a known VIN with its LPN, but the process of assignment is quite simple—namely, "first come, first served"—and can be performed entirely by a computer.
Microtubule hypothesis
Penrose and Stuart Hameroff have constructed the Orch-OR theory in which human consciousness is the result of quantum gravity effects in microtubules. However, in 2000, Max Tegmark
Max Erik Tegmark (born 5 May 1967) is a Swedish-American physicist, machine learning researcher and author. He is best known for his book ''Life 3.0'' about what the world might look like as artificial intelligence continues to improve. Tegmark i ...
calculated in an article he published in ''Physical Review E'' that the time scale of neuron firing and excitations in microtubules is slower than the decoherence
Quantum decoherence is the loss of quantum coherence. It involves generally a loss of information of a system to its environment. Quantum decoherence has been studied to understand how quantum systems convert to systems that can be expla ...
time by a factor of at least 1010. Tegmark's article has been widely cited by critics of the Penrose-Hameroff hypothesis. The reception of the article is summed up by this statement in his support: "Physicists outside the fray, such as IBM's John Smolin, say the calculations confirm what they had suspected all along. 'We're not working with a brain that's near absolute zero. It's reasonably unlikely that the brain evolved quantum behavior', he says." In other words, there is a missing link between physics and neuroscience, and to date, it is too premature to claim that the Orch-OR hypothesis is right.
In response to Tegmark's claims, Hagan, Tuszynski and Hameroff claimed that Tegmark did not address the Orch-OR model, but instead a model of his own construction. This involved superpositions of quanta separated by 24 nm rather than the much smaller separations stipulated for Orch-OR. As a result, Hameroff's group claimed a decoherence time seven orders of magnitude greater than Tegmark's, although still far below 25 ms. Hameroff's group also suggested that the Debye
The debye ( , ; symbol: D) is a CGS unit (a non- SI metric unit) of electric dipole momentTwo equal and opposite charges separated by some distance constitute an electric dipole. This dipole possesses an electric dipole moment whose value is give ...
layer of counterion
160px, cation-exchange_resin.html" ;"title="Polystyrene sulfonate, a cation-exchange resin">Polystyrene sulfonate, a cation-exchange resin, is typically supplied with as the counterion.
In chemistry, a counterion (sometimes written as "counter ...
s could screen thermal fluctuations, and that the surrounding actin gel might enhance the ordering of water, further screening noise. They also suggested that incoherent metabolic energy could further order water, and finally that the configuration of the microtubule lattice might be suitable for quantum error correction
Quantum error correction (QEC) is a set of techniques used in quantum computing to protect quantum information from errors due to decoherence and other quantum noise. Quantum error correction is theorised as essential to achieve fault tolerant ...
, a means of resisting quantum decoherence.
In 2007, Gregory S. Engel claimed that all arguments concerning the brain being "too warm and wet" have been dispelled, as multiple "warm and wet" quantum processes have been discovered.
See also
* Alan Turing
Alan Mathison Turing (; 23 June 1912 – 7 June 1954) was an English mathematician, computer scientist, logician, cryptanalyst, philosopher and theoretical biologist. He was highly influential in the development of theoretical computer ...
, creator of the Turing test
* Quantum mind
Notes and references
*''This article include
text originally by Philip Dorrell
which is licensed under the GFDL''
{{Roger Penrose
1994 non-fiction books
Cognitive science literature
Works about consciousness
Oxford University Press books
Quantum mind
Popular physics books
Works by Roger Penrose
Turing machine
Non-fiction books about artificial intelligence