Shadows of the mind - a search for the missing science of consciousness

From the Publisher: A New York Times bestseller when it appeared in 1989, Roger Penrose's The Emperor's New Mind was universally hailed as a marvelous survey of modern physics as well as a brilliant reflection on the human mind, offering a new perspective on the scientific landscape and a visionary glimpse of the possible future of science. Now, in Shadows of the Mind, Penrose offers another exhilarating look at modern science as he mounts an even more powerful attack on artificial intelligence. But perhaps more important, in this volume he points the way to a new science, one that may eventually explain the physical basis of the human mind. Penrose contends that some aspects of the human mind lie beyond computation. This is not a religious argument (that the mind is something other than physical) nor is it based on the brain's vast complexity (the weather is immensely complex, says Penrose, but it is still a computable thing, at least in theory). Instead, he provides powerful arguments to support his conclusion that there is something in the conscious activity of the brain that transcends computation - and will find no explanation in terms of present-day science. To illuminate what he believes this "something" might be, and to suggest where a new physics must proceed so that we may understand it, Penrose cuts a wide swathe through modern science, providing penetrating looks at everything from Turing computability and Godel's incompleteness, via Schrodinger's Cat and the Elitzur-Vaidman bomb-testing problem, to detailed microbiology. Of particular interest is Penrose's extensive examination of quantum mechanics, which introduces some new ideas that differ markedly from those advanced in The Emperor's New Mind, especially concerning the mysterious interface where classical and quantum physics meet. But perhaps the most interesting wrinkle in Shadows of the Mind is Penrose's excursion into microbiology, where he examines cytoskeletons and microtubules, minute substructures lying dee

[1]  J. Neumann.  Mathematische grundlagen der Quantenmechanik , 1935 .

[2]  Ettore Majorana.  Atomi orientati in campo magnetico variabile , 1932 .

[3]  C. Brooks.  Studies on the Cerebral Cortex , 1933 .

[4]  E. Schrödinger.  Discussion of Probability Relations between Separated Systems , 1935, Mathematical Proceedings of the Cambridge Philosophical Society.

[5]  J. Barkley Rosser,et al.  Extensions of some theorems of Gödel and Church , 1936, Journal of Symbolic Logic.

[6]  Emil L. Post.  Finite combinatory processes—formulation , 1936, Journal of Symbolic Logic.

[7]  A. Church.  An Unsolvable Problem of Elementary Number Theory , 1936 .

[8]  K. Gödel.  The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis. , 1938, Proceedings of the National Academy of Sciences of the United States of America.

[9]  A. Church.  The calculi of lambda-conversion , 1941 .

[10]  K. J. Craik,et al.  The nature of explanation , 1944 .

[11]  J. Neumann,et al.  Theory of Games and Economic Behavior. , 1945 .

[12]  K. Gödel.  An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation , 1949 .

[13]  L. Birch,et al.  The concept of nature , 1992 .

[14]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[15]  D. Bohm.  A SUGGESTED INTERPRETATION OF THE QUANTUM THEORY IN TERMS OF "HIDDEN" VARIABLES. II , 1952 .

[16]  R. H. Brown,et al.  A New type of interferometer for use in radio astronomy , 1954 .

[17]  L. Broglie.  Une tentative d'interprétation causale et non linéaire de la mécanique ondulatoire : (la théorie de la double solution) , 1957 .

[18]  O. Penrose,et al.  Bose-Einstein Condensation and Liquid Helium , 1956 .

[19]  A. Heyting,et al.  Intuitionism: An introduction , 1956 .

[20]  J. Wheeler.  Assessment of Everett's 'Relative State' Formulation of Quantum Theory , 1957 .

[21]  B. Gelber.  Retention in Paramecium aurelia. , 1958, Journal of comparative and physiological psychology.

[22]  J. Weber.  Detection and Generation of Gravitational Waves , 1960 .

[23]  J. Lucas.  Minds, Machines and Gödel , 1961, Philosophy.

[24]  Austin Marsden Farrer,et al.  The freedom of the will , 1961 .

[25]  A. A. Mullin,et al.  Principles of neurodynamics , 1962 .

[26]  D. Scott.  Review: G. Kreisel, Ordinal Logics and the Characterization of Informal Concepts of Proof , 1962 .

[27]  L. Pauling.  THE HYDRATE MICROCRYSTAL THEORY OF GENERAL ANESTHESIA* , 1964, Anesthesia and analgesia.

[28]  I. J. Good,et al.  Speculations Concerning the First Ultraintelligent Machine , 1965, Adv. Comput..

[29]  Martin Davis,et al.  The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions , 2004 .

[30]  T. R. Parkin,et al.  COUNTEREXAMPLE TO EULER'S CONJECTURE ON SUMS OF LIKE POWERS , 1966 .

[31]  P. J. Cohen.  Set Theory and the Continuum Hypothesis , 1966 .

[32]  L. Sagan.  On the origin of mitosing cells , 1967, Journal of theoretical biology.

[33]  E. Specker,et al.  The Problem of Hidden Variables in Quantum Mechanics , 1967 .

[34]  G. Kreisel.  Informal Rigour and Completeness Proofs , 1967 .

[35]  Irving John Good.  HUMAN AND MACHINE LOGIC , 1967, The British Journal for the Philosophy of Science.

[36]  H. Fröhlich.  Long-range coherence and energy storage in biological systems , 1968 .

[37]  H. Longuet-Higgins.  Understanding the Brain , 1968, Nature.

[38]  I. Good.  GÖDEL'S THEOREM IS A RED HERRING , 1969, The British Journal for the Philosophy of Science.

[39]  D. Lewis.  Lucas against Mechanism , 1969 .

[40]  Master Gardener,et al.  Mathematical games: the fantastic combinations of john conway's new solitaire game "life , 1970 .

[41]  H. Fröhlich.  Long Range Coherence and the Action of Enzymes , 1970, Nature.

[42]  K. Pribram.  Some Dimensions of Remembering: Steps Toward a Neuropsychological Model of Memory , 1972 .

[43]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[44]  F. Károlyházy.  Gravitation and quantum mechanics of macroscopic bodies , 1974 .

[45]  M. Horne,et al.  Experimental Consequences of Objective Local Theories , 1974 .

[46]  J. Wheeler,et al.  The Physics of Time Asymmetry , 1974 .

[47]  Hao Wang,et al.  From Mathematics to Philosophy. , 1975 .

[48]  M. B. Pour-El,et al.  Abstract computability and its relation to the general purpose analog computer (some connections between logic, differential equations and analog computers) , 1974 .

[49]  K. Pribram.  Toward a holonomic theory of perception , 1975 .

[50]  H. Asai,et al.  Spiral Motion of Paramecium caudatum in a Small Capillary Glass Tube , 1976 .

[51]  P. Pearle.  Reduction of the state vector by a nonlinear Schrödinger equation , 1976 .

[52]  Allen Newell,et al.  Computer science as empirical inquiry: symbols and search , 1976, CACM.

[53]  Randall C. Thompson,et al.  Experimental Test of Local Hidden-Variable Theories , 1976 .

[54]  S. Weinberg.  The First Three Minutes: A Modern View of the Origin of the Universe , 1988 .

[55]  M. Gardner.  Mathematical Magic Show , 1978 .

[56]  B. Libet,et al.  Subjective Referral of the Timing for a Conscious Sensory Experience , 1979 .

[57]  A. Cook.  Topics in Theoretical and Experimental Gravitation Physics , 1979 .

[58]  L. Steen.  Mathematics Today Twelve Informal Essays , 1979 .

[59]  D. Hofstadter,et al.  Godel, Escher, Bach: An Eternal Golden Braid , 1979 .

[60]  Marian Boylan Pour-el,et al.  A computable ordinary differential equation which possesses no computable solution , 1979 .

[61]  G. Ghirardi,et al.  A general argument against superluminal transmission through the quantum mechanical measurement process , 1980 .

[62]  R. Hamming.  The Unreasonable Effectiveness of Mathematics. , 1980 .

[63]  R. Penrose.  1 – On Schwarzschild Causality—A Problem for “Lorentz Covariant” General Relativity , 1980 .

[64]  N. Cutland.  Computability: An Introduction to Recursive Function Theory , 1980 .

[65]  John R. Searle,et al.  Minds, brains, and programs , 1980, Behavioral and Brain Sciences.

[66]  Philip J. Davis,et al.  The Mathematical Experience , 1982 .

[67]  G. Lee Bowie,et al.  Lucas' number is finally up , 1982, J. Philos. Log..

[68]  P. Benioff.  Quantum mechanical hamiltonian models of turing machines , 1982 .

[69]  R. Feynman.  Simulating physics with computers , 1999 .

[70]  R. Rucker.  Infinity and the Mind: The Science and Philosophy of the Infinite , 1982 .

[71]  J J Hopfield,et al.  Neural networks and physical systems with emergent collective computational abilities. , 1982, Proceedings of the National Academy of Sciences of the United States of America.

[72]  Peter Danielson.  Artificial Intelligence and Natural Man , 1982 .

[73]  M. B. Pour-El,et al.  Noncomputability in models of physical phenomena , 1982 .

[74]  S. Hawking.  The unpredictability of quantum gravity , 1982 .

[75]  R. Goodstein,et al.  The Basic Laws of Arithmetic , 1966, The Mathematical Gazette.

[76]  Gilles Brassard,et al.  Quantum Cryptography, or Unforgeable Subway Tokens , 1982, CRYPTO.

[77]  S. Donaldson.  An application of gauge theory to four-dimensional topology , 1983 .

[78]  Allen Stairs.  Quantum Logic, Realism, and Value Definiteness , 1983, Philosophy of Science.

[79]  E. Giudice,et al.  Self-focusing and Ponderomotive Forces of Coherent Electric Waves: A Mechanism for Cytoskeleton Formation and Dynamics , 1983 .

[80]  Michael Hallett.  Cantorian set theory and limitation of size , 1984 .

[81]  R. Geroch.  The Everett Interpretation , 1984 .

[82]  A. Leggett.  Schrödinger's cat and her laboratory cousins , 2009 .

[83]  H. Fröhlich.  General Theory of Coherent Excitations on Biological Systems , 1984 .

[84]  S. Hameroff,et al.  Cellular automata in cytoskeletal lattices , 1984 .

[85]  Ralph Erskine,et al.  Alan Turing: the Enigma - Book Reviem , 1984, Cryptologia.

[86]  D. Deutsch.  Quantum theory, the Church–Turing principle and the universal quantum computer , 1985, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[87]  K. Gödel,et al.  Kurt Gödel : collected works , 1986 .

[88]  D. Koruga.  Microtubular Screw Symmetry: Packing of Spheres as a Latent Bioinformation Code , 1986, Annals of the New York Academy of Sciences.

[89]  P. Grangier,et al.  Experimental Evidence for a Photon Anticorrelation Effect on a Beam Splitter: A New Light on Single-Photon Interferences , 1986 .

[90]  E. Squires.  The mystery of the quantum world , 1986 .

[91]  C. Will.  Book-Review - was Einstein Right - Putting General Relativity to the Test , 1995 .

[92]  Weber,et al.  Unified dynamics for microscopic and macroscopic systems. , 1986, Physical review. D, Particles and fields.

[93]  H. Fröhlich.  Coherent Excitation in Active Biological Systems , 1986 .

[94]  James B. Hartle,et al.  Computability and physical theories , 1986, 1806.09237.

[95]  R. Penrose,et al.  Spinor and twistor methods in space-time geometry , 1986 .

[96]  F. Károlyházy,et al.  On the possible role of gravity in the reduction of the wave function , 1986 .

[97]  R. Feynman.  Quantum mechanical computers , 1986 .

[98]  M. Redhead.  Incompleteness, nonlocality, and realism , 1987 .

[99]  S. Chandrasekhar.  Truth and Beauty: Aesthetics and Motivations in Science , 1987 .

[100]  Eric Deeson.  The Recursive Universe: Cosmic Complexity and the Limits of Scientific Knowledge , 1987 .

[101]  H. C. Longuet-Higgins,et al.  Mental Processes: Studies in Cognitive Science , 1987 .

[102]  R. Penrose.  Newton, quantum theory and reality. , 1987 .

[103]  Hao Wang,et al.  Reflections on Kurt Gödel , 1987 .

[104]  S. Chou.  Mechanical Geometry Theorem Proving , 1987 .

[105]  Stuart R. Hameroff,et al.  Ultimate computing - biomolecular consciousness and nanotechnology , 1987 .

[106]  M. Gardner.  Penrose Tiles To Trapdoor Ciphers , 1988 .

[107]  Teuvo Kohonen,et al.  Self-Organization and Associative Memory , 1988 .

[108]  Geoffrey Hunter.  What Computers Can't Do , 1988, Philosophy.

[109]  Teich,et al.  Structural basis of multistationary quantum systems. I. Effective single-particle dynamics. , 1988, Physical review. B, Condensed matter.

[110]  S. Feferman.  Turing in the land of O(z) , 1988 .

[111]  Robin Gandy,et al.  The confluence of ideas in 1936 , 1988 .

[112]  Lee A. Rubel,et al.  Digital simulation of analog computation and Church's thesis , 1989, Journal of Symbolic Logic.

[113]  Pearle,et al.  Combining stochastic dynamical state-vector reduction with spontaneous localization. , 1989, Physical review. A, General physics.

[114]  D. Deutsch.  Quantum computational networks , 1989, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[115]  S. Smale,et al.  On a theory of computation and complexity over the real numbers; np-completeness , 1989 .

[116]  Marian Boykan Pour-El,et al.  Computability in analysis and physics , 1989, Perspectives in Mathematical Logic.

[117]  A. Zeilinger,et al.  Speakable and Unspeakable in Quantum Mechanics , 1989 .

[118]  A. Zeilinger,et al.  Going Beyond Bell’s Theorem , 2007, 0712.0921.

[119]  W. Singer,et al.  Stimulus-specific neuronal oscillations in orientation columns of cat visual cortex. , 1989, Proceedings of the National Academy of Sciences of the United States of America.

[120]  David Mitchell.  Mindwaves: Thoughts on Intelligence, Identity and Consciousness , 1989 .

[121]  N. Gisin.  Stochastic quantum dynamics and relativity , 1989 .

[122]  Michael Lockwood,et al.  Mind, Brain And The Quantum , 1989 .

[123]  I. N. Marshall.  Consciousness and Bose-Einstein condensates , 1989 .

[124]  A. Peres.  Incompatible results of quantum measurements , 1990 .

[125]  T. Bailey,et al.  Twistors in Mathematics and Physics , 1990 .

[126]  Martin Davis,et al.  Is mathematical insight algorithmic? , 1990, Behavioral and Brain Sciences.

[127]  S. Kleene,et al.  Kurt Gödel: Collected Works Vol. Ii , 1990 .

[128]  Robert W. Kentridge.  Parallelism and patterns of thought , 1990, Behavioral and Brain Sciences.

[129]  W. Pitts,et al.  A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) , 2021, Ideas That Created the Future.

[130]  John K. Tsotsos.  Exactly which emperor is Penrose talking about? , 1990, Behavioral and Brain Sciences.

[131]  Adina L. Roskies,et al.  Seeing truth or just seeming true? , 1990, Behavioral and Brain Sciences.

[132]  C. Koch,et al.  Towards a neurobiological theory of consciousness , 1990 .

[133]  R. S. Ward,et al.  Twistor Geometry and Field Theory: Gauge theory , 1990 .

[134]  B. MacLennan.  The discomforts of dualism , 1990, Behavioral and Brain Sciences.

[135]  J. Butterfield.  Lucas revived? An undefended flank , 1990, Behavioral and Brain Sciences.

[136]  A. Shimony,et al.  Bell’s theorem without inequalities , 1990 .

[137]  David J. Chalmers,et al.  Computing the thinkable , 1990, Behavioral and Brain Sciences.

[138]  A. Houston,et al.  Selecting for the con in consciousness , 1990, Behavioral and Brain Sciences.

[139]  George Boolos,et al.  On “seeing” the truth of the Gödel sentence , 1990, Behavioral and Brain Sciences.

[140]  Grassi,et al.  Continuous-spontaneous-reduction model involving gravity. , 1989, Physical review. A, Atomic, molecular, and optical physics.

[141]  Donald Perlis,et al.  The emperor's old hat , 1990, Behavioral and Brain Sciences.

[142]  Kevin T. Kelly,et al.  Why you'll never know whether Roger Penrose is a computer , 1990, Behavioral and Brain Sciences.

[143]  R. McClelland,et al.  The self and its brain. , 1990, The Ulster medical journal.

[144]  D. McDermott.  Computation and consciousness , 1990, Behavioral and Brain Sciences.

[145]  F. Hsu,et al.  A Grandmaster Chess Machine , 1990 .

[146]  Robert Wilensky,et al.  Computability, consciousness, and algorithms , 1990, Behavioral and Brain Sciences.

[147]  E. Squires.  On an alleged “proof” of the quantum probability law , 1990 .

[148]  K. H. Becks,et al.  An Artificial Intelligence Approach to Data Analysis , 1991 .

[149]  Manfred Schroeder,et al.  Fractals, Chaos, Power Laws: Minutes From an Infinite Paradise , 1992 .

[150]  E. Squires.  Explicit collapse and superluminal signals , 1992 .

[151]  D. Deutsch,et al.  Rapid solution of problems by quantum computation , 1992, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences.

[152]  L. Diósi.  Quantum Measurement and Gravity for Each Other , 1992 .

[153]  C. Koch,et al.  The problem of consciousness. , 1992, Scientific American.

[154]  Gerard Casey.  Minds and machines , 1992 .

[155]  R. Omnes.  Consistent interpretations of quantum mechanics , 1992 .

[156]  G. Castagnoli,et al.  Steady, Simultaneous Quantum Computation: A Paradigm For The Investigation Of Nondeterministic And Non-Recursive Computation , 1992 .

[157]  P. Pearle.  Relativistic Model for Statevector Reduction , 1992 .

[158]  Michael Conrad.  Molecular computing: the lock-key paradigm , 1992, Computer.

[159]  J. Eccles.  Evolution of consciousness. , 1992, Proceedings of the National Academy of Sciences of the United States of America.

[160]  G. Ghirardi,et al.  Comment on “explicit collapse and superluminal signals” , 1992 .

[161]  K. Ewert.  The Quantum Self: Human Nature and Consciousness Defined by the New Physics. , 1992 .

[162]  A. Sloman.  The emperor''s real mind , 1992 .

[163]  R. Penrose.  The Renaissance of General Relativity and Cosmology: Quantum non-locality and complex reality , 1993 .

[164]  W. Zurek.  Preferred States, Predictability, Classicality and the Environment-Induced Decoherence , 1993 .

[165]  C. Isham.  Prima Facie Questions in Quantum Gravity , 1993 .

[166]  M. Conrad.  The fluctuon model of force, life, and computation: a constructive analysis , 1993 .

[167]  B. Libet.  The Neural Time — Factor in Perception, Volition and Free Will , 1993 .

[168]  R. Penrose,et al.  On bell non-locality without probabilities: More curious geometry , 1993 .

[169]  Zurek,et al.  Environment-induced decoherence, classicality, and consistency of quantum histories. , 1993, Physical review. D, Particles and fields.

[170]  R. Penrose,et al.  An emperor still without mind , 1993, Behavioral and Brain Sciences.

[171]  Habib,et al.  Reduction of the wave packet: Preferred observable and decoherence time scale. , 1993, Physical review. D, Particles and fields.

[172]  D. Broadbent.  Comparison with human experiments. , 1993 .

[173]  Hao Wang.  On Physicalism and Algorithmism: Can machines think? , 1993 .

[174]  Martin D. Davis.  How subtle is Gödel's theorem? More on Roger Penrose , 1993, Behavioral and Brain Sciences.

[175]  R. Penrose.  Gravity and quantum mechanics , 1993 .

[176]  S. Guccione,et al.  Mind the truth: Penrose's new step in the Gödelian argument , 1993, Behavioral and Brain Sciences.

[177]  B. Kosko.  Fuzzy Thinking: The New Science of Fuzzy Logic , 1993 .

[178]  G. Bock,et al.  Ciba Foundation Symposium 174 - Experimental and Theoretical Studies of Consciousness , 1993 .

[179]  I. N. Marshall,et al.  The Quantum Society: Mind, Physics and a New Social Vision , 1993 .

[180]  David G. Green,et al.  Complex Systems: From Biology to Computation , 1993 .

[181]  K. Pribram,et al.  Quantum optical coherence in cytoskeletal microtubules: implications for brain function. , 1994, Bio Systems.

[182]  D. Gelernter.  The Muse in the Machine , 1994 .

[183]  I. Percival.  Primary state diffusion , 1994, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences.

[184]  D. Home,et al.  Wave function collapse as a nonlocal quantum effect , 1994 .

[185]  J. Eccles.  How the Self Controls Its Brain , 1994 .

[186]  S. Schulman.  The Astonishing Hypothesis: The Scientific Search for the Soul , 1994 .

[187]  R. Omnes.  Consistent Histories and the Interpretation of Quantum Mechanics , 1995 .

[188]  E. Wigner.  Remarks on the Mind-Body Question , 1995 .

[189]  Terri Gullickson.  The Creative Mind: Myths and Mechanisms. , 1995 .

[190]  O. Sacks,et al.  The Man Who Mistook His Wife for a Hat and Other Clinical Tales , 1985 .