Geroch, R. and Hartle, J. (1986) Computability and physical theories, Found. Phys., 16, 533.
Gödel, К. (1931) Uber formal unentscheidbare Satze der Principia Mathematica und verwandter System 1, Monatshefte für Mathematik und Physik, 38,173-98.
Golomb, S.W. (1966) Polyominoes (Scribner and Sons, London).
Haag, R. (1992) Local Quantum Physics: Fields, Particles, Algebras (Springer-Verlag, Berlin).
Hameroff, S.R. and Penrose, R. (1996). Orchestrated reduction of quantum coherence in brain microtubules — a model for consciousness. In Toward a Science of Consciousness: Contributions from the 1994 Tucson Conference, eds, S. Hameroff, A. Kaszniak and A. Scott (MT Press, Cambridge MA).
Hameroff, S. R. and Penrose, R. (1996). Conscious events as orchestrated space-time selections. J. Consciousness Studies, 3, 36—53.
Hameroff, S. R. and Watt, R. C. (1982). Information processing in microtubules, J. Theor. Biol., 98, 549-61.
Hawking, S. W. (1975) Particle creation by black holes, Comm. Math. Phys., 43, 199-220.
Hughston, L. P., Jozsa, R., and Wooters, W. K. (1993) A complete classification of quantum ensembles having a given density matrix, Phys. Letters, A183, 14-18.
Kärolyhäzy, F. (1966) Gravitation and quantum mechanics of macroscopic bodies, Nuovo Cim, A42, 390.
Kärolyhäzy, F. (1974) Gravitation and quantum mechanics of macroscopic bodies, Magyar Fizikai Polyoir Mat, 12, 24.
Kärolyhäzy, F., Frenkel, A. and Lukacs, B. (1986) On the possible role of gravity on the reduction of the wave function. In Quantum Concepts in Space and Time eds. R. Penrose and C. J. Isham (Oxford University Press, Oxford) pp. 109-28.
Kibble, T. W. B. (1981) Is a semi-classical theory of gravity viable? In Quantum Gravity 2: A Second Oxford Symposium; eds C. J. Isham, R. Penrose and D. W. Sciama (Oxford University Press, Oxford) pp. 63—80.
Libet, B. (1992) The neural time-factor in perception, volition and free will, Review de Metaphysique et de Morale, 2, 255—72.
Libet, В., Wright, E.W. Jr. Feinstein, В. and Pearl, D.K. (1979) Subjective referral of the timing for a conscious sensory experience, Brain, 102, 193-224.
Lockwood, M. (1989) Mind, Brain and the Quantum (Basil Blackwell, Oxford).
Lucas, J. R. (1961) Minds, Machines and Godel, Philosophy, 36,120-4; reprinted in Alan Ross Anderson (1964) Minds and Machines (Prentice-Hall, New Jersey).
Majorana, E. (1932) Atomi orientati in campo magnetico variabile, Nuovo Cimento, 9, 43-50.
Moravec, H. (1988) Mind Children: The Future of Robot and Human Intelligence (Harvard University Press, Cambridge, MA).
Omnes, R. (1992) Consistent interpretations of quantum mechanics, Rev. Mod. Phys., 64, 339-82.
Pearle, P. (1989) Combining stochastic dynamical state-vector reduction with spontaneous localisation, Phys. Rev., A39, 2277—89.
Penrose, R. (1989) The Emperor's New Mind: Concerning Computers, Minds,and the Laws of Physics (Oxford University Press, Oxford).
Penrose, R. (1989) Difficulties with inflationary cosmology, in Proceedings of the 14th Texas Symposium on Relativistic Astrophysics, ed. E. Fenves, Annals of NY Acad. Sci., 571, 249 (NY Acad. Science, New York).
Penrose, R. (1991) On the cohomology of impossible figures (La cohomologie des figures impossibles), Structural Topology (Topologie structurale), 17, 11-16. 140
Penrose, R. (1994) Shadows of the Mind: An Approach to the Missing Science of Consciousness (Oxford University Press, Oxford).
Penrose, R. (1996) On gravity's role in quantum state reduction, Gen. Rel. Crav.,28, 581.
Percival, I. C. (1995) Quantum spacetime fluctuations and primary state diffusion, Proc. R. Soc. Lond., A451, 503-13.
Schrödinger, E. (1935) Die gegenwärtige Situation in der Quantenmechanik, Naturwissenschaften, 23, 807-12, 823-8, 844-9. (Translation by J. T. Trimmer (1980) in Proc. Amer. Phil. Soc, 124, 323-38).
Schrödinger, E. (1935) Probability relations between separated systems, Proc. Camb. Phil. Soc, 31, 555-63.
Searle, J.R. (1980) Minds, Brains and Programs, in The Behavioral and Brain Sciences, Vol. 3 (Cambridge University Press, Cambridge).
Seymore, J. and Norwood, D. (1993) A game for life, New Scientist, 139, No. 1889, 23-6.
Squires, E. (1990) On an alleged proof of the quantum probability law, Phys. Lett., A145, 67-8.
Turing, A. M. (1937) On computable numbers with an application to the Entscheidungsproblem, Proc. Lond. Math. Soc. (ser. 2), 42, 230-65; a correction, 43, 544-6.
Turing, A. M. (1939) Systems of logic based on ordinals, P. Lond. Math. Soc, 45, 161-228.
von Neumann, J. (1955) Mathematical Foundations of Quantum Mechanics (Princeton University Press, Princeton).
Wigner, E. P. (1960) The unreasonable effectiveness of mathematics in the physical sciences, Commun. Pure Appl. Math., 13, 1—14 (имеется перевод: E. Вигнер. Этюды о симметрии. М.: — Мир, 1971; «Непостижимая эффективность математики в естественных науках», с. 182).
Zurek, W. Н. (1991) Decoherence and the transition from quantum to classical, Physics Today, 44 (No. 10), 36-44.
Глава 4. О мышлении, квантовой механике и актуализации возможностей.Абнер Шимони
ВВЕДЕНИЕ
Я всегда восхищался общим настроением и духом исследований Роджера Пенроуза, в которых строгая наука сочетается со страстным желанием познать природу вещей. В своем творчестве он следует возвышенному призыву Гильберта: «Мы должны знать, и мы будем знать»[2]. Что касается постановки проблем, то я полностью согласен с автором в формулировке трех его основных тезисов: во-первых, проблема мышления может изучаться научными методами; во-вторых, квантовомеханические идеи каким-то образом соотносятся с классической философской проблемой связи души и тела; и, в-третьих, квантовомеханическая проблема актуализации возможностей действительно относится к чистой физике и требует для своего разрешения модификации существующего формализма квантовой механики. Однако мое согласие с автором ограничивается только этими формулировками. Я скептически отношусь к доводам, выдвигаемым Пенроузом в защиту указанных тезисов, и надеюсь, что моя критика будет учтена им в дальнейших исследованиях.
4.1. О РОЛИ И МЕСТЕ МЫШЛЕНИЯ В ПРИРОДЕ
Приблизительно четверть объема трех первых глав этой книги и добрая половина предыдущей книги Пенроуза «Тени разума» (ниже я буду обозначать ее просто аббревиатурой TP) посвящены доказательствам неалгоритмической природы математических способностей человеческого мозга. В рецензии Хилари Патнам[3] на книгу TP уже подчеркивалось, что в доводах Пенроуза имеются явные пробелы. В частности, он не рассматривает возможность существования такой машины Тьюринга, которая может моделировать математические способности человека, но одновременно является настолько сложной, что человеческое сознание не может ее понять. Мне не показался убедительным ответ Пенроуза[4] на эту рецензию, хотя, должен сознаться, я не настолько знаком с так называемой теорией доказательств математической логики, чтобы судить о дискуссии с полной уверенностью. Однако мне кажется, что обсуждаемые доводы имеют прямое отношение к основной идее Роджера, так что, возможно, как говорят альпинисты, «он лезет не на ту вершину». Его основная идея состоит в том, что мысленные операции содержат нечто, недоступное для любого искусственного разума (т. е. любого компьютера, созданного человеком), но она оказывается несвязанной с предположением о неалгоритмическом характере математической деятельности человека. Интересно, что в TP Пенроуз не только подробно изложил доводы Гёделя, но и добавил две страницы (TP, с. 40-41 ) аргументов, почерпнутых из известной книги Джона Сирла Chinese room («Китайская комната»), доказывающих, что безупречная работа вычислительного автомата не «создает» понимания. Сущность доводов Сирла состоит в том, что человека подобно автомату вполне можно обучить повиноваться акустическим командам (подаваемым, например, на китайском языке, которым этот человек не владеет). Выполняя правильные вычисления по командам на незнакомом языке, человек может получить опыт работы в качестве автомата и сравнить его с нормальными ощущениями при вычислениях с пониманием их смысла. При этом не имеет никакого значения характер самих выполняемых математических действий (они могут быть, например, совершенно тривиальными) — разница между механическим вычислением и пониманием работы представляется очевидной.
Сирл доказывает (а Пенроуз подтверждает эту мысль), что математическое понимание применимо и к другим аспектам интеллектуального и психического опыта человека, например к сенсорному восприятию, чувству боли и удовольствия, ощущению желания и даже к интенциям (т. е. к направленности сознания, которая, в сущности, может быть сведена к переработанному опыту общения с реальными или воображаемыми объектами). В философском подходе, основанном на физическом описании мира (его обычно называют физикализмом), выработаны различные стратегии исследования таких явлений[5]. В так называемых двухаспектных теориях психический опыт связан со специфическими состояниями мозга, а в некоторых других теориях — с набором состояний мозга. При этом рассматриваемый класс состояний является настолько «хрупким», что его описание нельзя получить прямыми физическими экспериментами, вследствие чего необходима какая-то «редукция» психических и интеллектуальных понятий в физические. В теориях, основанных на функционализме, психические состояния идентифицируются с формальными программами, которые могут быть реализованы различными физическими системами, включая нейронные сети мозга (возможно, вследствие случайного стечения обстоятельств). Существующие физикалистские теории основаны главным образом на упомянутых двухаспектных подходах, характеризующихся тем, что в них некие сущности (обладающие одним набором свойств) считаются идентичными другим сущностям (обладающим совершенно другим набором свойств). Описание таких систем включает в себя разнообразные сенсорные модальности, а в некоторых случаях — одновременно сенсорные и микрофизические модальности. Обычно рассмотрение таких систем далее сводится к отождествлению ментальных состояний с конкретными состояниями мозга (либо с классом таких состояний или с определенной программой). Я думаю, что именно в этом переходе состоит серьезная ошибка всех указанных подходов. Идентифицируя один объект (характеризующийся некоторой сенсорной модальностью) с другим объектом (характеризующимся другой модальностью), мы «тайком» связываем две причинно-следственн