Именно это особое свойство цифровых вычислительных машин – то, что они могут имитировать любую машину с дискретными состояниями, и имеют в виду, когда говорят, что цифровые вычислительные машины являются универсальными машинами. Из того, что имеются машины, обладающие свойством универсальности, вытекает важное следствие: чтобы выполнять различные вычислительные процедуры, нам вовсе не нужно создавать все новые и новые разнообразные машины (если отвлечься от растущих требований к быстроте вычислений). Все вычисления могут быть выполнены с помощью одной-единственной цифровой вычислительной машины, если снабжать ее надлежащей программой для каждого случая. В дальнейшем мы увидим в качестве следствия из этого результата, что все цифровые вычислительные машины в каком-то смысле эквивалентны друг другу.
Теперь мы можем вернуться к вопросу, поднятому нами в конце раздела III. Там мы высказали предположение, что вопрос «Могут ли машины мыслить?» можно заменить вопросом «Существуют ли воображаемые цифровые вычислительные машины, которые могли бы хорошо играть в имитацию?». Если угодно, мы можем придать этому вопросу видимость еще большей общности и спросить: «Существуют ли машины с дискретными состояниями, которые могли бы хорошо играть в эту игру?» Но в свете того, что цифровые вычислительные машины универсальны, мы видим, что любой из этих вопросов эквивалентен следующему: «Если взять только одну конкретную цифровую вычислительную машину Ц, то спрашивается: справедливо ли утверждение о том, что, изменяя емкость памяти этой машины, увеличивая скорость ее действия и снабжая ее подходящей программой, можно заставить Ц удовлетворительно исполнять роль А в “игре в имитацию” (причем роль В будет исполнять человек)?»
VI. Противоположные точки зрения по основному вопросу
Теперь мы можем считать, что основные понятия нами выяснены, и перейти к рассмотрению вопроса «Могут ли машины мыслить?» и его варианта, изложенного в конце предыдущего раздела. Вместе с тем мы не можем отказаться и от первоначальной формы вопроса, так как по поводу равноценности замены одной формы вопроса другой мнения могут расходиться, и в любом случае необходимо выслушать то, что было бы сказано в этой связи.
Читателю будет легче разобраться в этой дискуссии, если я сначала разъясню свои собственные убеждения. Рассмотрим сперва более точную форму вопроса. Я уверен, что лет через пятьдесят станет возможным программировать работу машин с емкостью памяти около 109, так чтобы они могли играть в имитацию настолько успешно, что шансы среднего человека установить присутствие машины через пять минут после того, как он начнет задавать вопросы, не поднимались бы выше 70 %. Первоначальный вопрос «Могут ли машины мыслить?» я считаю слишком неосмысленным, чтобы он заслуживал рассмотрения. Тем не менее я убежден, что к концу нашего века употребление слов и мнения, разделяемые большинством образованных людей, изменятся настолько, что можно будет говорить о мыслящих машинах, не боясь, что тебя поймут неправильно. Более того, я считаю вредным скрывать такие убеждения. Широко распространенное представление о том, что ученые с неуклонной последовательностью переходят от одного вполне установленного факта к другому, не менее хорошо установленному факту, не давая увлечь себя никакому непроверенному предположению, в корне ошибочно. Не будет никакого ущерба от того, что мы ясно осознаем, что является доказанным фактом, а что – предположением. Догадки очень важны, ибо они подсказывают направления, полезные для исследований.
Теперь я перехожу к рассмотрению мнений, противоположных моему собственному.
Теологическое возражение«Мышление есть свойство бессмертной души человека. Бог дал бессмертную душу каждому мужчине и каждой женщине, но не дал души никакому другому животному или машинам. Следовательно, ни животное, ни машина не могут мыслить».
Конец ознакомительного фрагмента.
Текст предоставлен ООО «ЛитРес».
Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.
Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.
Примечания
1
Статья впервые опубликована в английском журнале «Mind» в 1950 г. (т. 59, стр. 433–460) под заголовком «Computing Machinery and Intelligence». Перепечатана в 4-м томе «Мира математики» Ньюмана (The World of Mathematics. A small library of the literature of mathematics from A’h-mose the Scribe to Albert Einstein, presented with commentaries and notes by James R. Newman, Simon and Schuster, New York, v. 4, 1956, p. 2099–2123). В издании Ньюмана статья озаглавлена «Can the Machine Think?». Перевод сделан по тексту издания Ньюмана.
2
Институт Гэллапа – Американский институт общественного мнения (American Institute of Public Opinion). Основан Гэллапом (George Gallup) в 1935 г. Проводит опросы групп населения по специально разработанной методике с целью определения настроения избирателей перед выборами (президента, депутатов конгресса США и др.) и предсказания результатов выборов, а также по другим вопросам.
3
Мост через реку Форт – известный мост консольно-арочного типа, в два пролета перекрывающий реку Форт (Шотландия) при впадении ее в залив Ферт-оф-Форт. Сооружен в 1882–1889 гг. и в течение 28 лет держал мировой рекорд длины пролетов (длина каждого пролета – свыше 518 м, длина моста – около 1626 м).
4
Очевидно, в смысле «существуют ли абстрактные», т. е. идеализированные машины, которые строятся теоретически с использованием каких-нибудь абстракций, например абстракции потенциальной осуществимости, согласно которой некоторые операции можно повторять сколь угодно большое число раз, некоторые записи могут быть сколь угодно длинными, емкость «памяти» машины может быть неограниченно большой и т. п.
Фактически поставленный здесь вопрос эквивалентен вопросу о том, существует ли (осуществим ли потенциально) алгоритм, решающий некоторую массовую задачу, формулируемую в терминах игры в имитацию. (Вопросам этого рода посвящена брошюра: Трахтенброт Б.А. Алгоритмы и машинное решение задач. М.: Физматгиз, 1957.)
5
Чарлз Бэббедж (1792–1871) – английский ученый, работавший в области математики, вычислительной техники и механики. Выступил инициатором применения механических устройств для вычисления и печатания математических таблиц. В 1812 г. у Бэббеджа возникла идея разностной вычислительной машины (Difference Engine). Строительство этой машины, которая должна была вычислять любую функцию, заданную ее первыми пятью разностями, началось в 1823 г. на средства английского правительства, однако в 1833 г. работа была прекращена главным образом в связи с финансовыми затруднениями. К этому времени у Бэббеджа возник проект другой, более совершенной машины. Эта машина, которую Бэббедж назвал «Аналитической машиной» (Analitical Engine), должна была проводить вычислительный процесс, заданный любыми математическими формулами. Бэббедж весь отдался конструированию своей новой машины, однако к моменту его смерти она так и не была закончена. Сын Бэббеджа завершил строительство некоторой части машины и провел успешные опыты по применению ее для вычислений некоторого рода. Подробнее о Ч. Бэббедже и его машинах см.: Бут Э. и Бут К. Автоматические цифровые машины / перев. с англ. М.: Физматгиз, 1959. С. 18–21; Hartree D.R. Calculating Instruments and Machines, Cambridge, 1950, chapter 9: «Charles Babbage and the Analitical Engine».
6
Люкасовская кафедра в Тринити-колледже основана в 1663 г. на средства, пожертвованные Генри Люкасом. Первым люкасовским профессором был учитель Ньютона Барроу, вторым – сам Ньютон. Получение этой кафедры, сохранившейся до нашего времени, считалось всегда большой честью. В настоящее время ее занимает Дирак.
7
Манчестерская машина была построена в Манчестерском университете (Англия) в конце 40-х годов. Конструирование машины происходило под руководством Вильямса (F.С. Williams) и Килберна (Т. Kilburn). В разработке и отладке машины принимал участие Тьюринг, который с этой целью в 1948 г. был приглашен в Манчестерский университет. Тьюринг занимался математическими вопросами, связанными с Манчестерской машиной, и особенно вопросами программирования (см.: Biographical Memoirs of Fellows of the Royal Society, v. 1, London, 1955, p. 254–255). Описание Манчестерской машины см. в кн.: Faster than Thought. A Symposium on Digital Computing Machines. Ed. by B.V. Bowden, London, 1953, chapter I.
Вы ознакомились с фрагментом книги.
Для бесплатного чтения открыта только часть текста.
Приобретайте полный текст книги у нашего партнера:
Полная версия книги