Опасная идея Дарвина: Эволюция и смысл жизни

Эта проблема всегда была камнем преткновения для тех, кто желал использовать теорему Гёделя, чтобы доказать, будто наш разум – это небесный крюк, а не какой-то там старый и скучный подъемный кран. Если сказать, что, в отличие от машин, люди-математики могут доказать любые арифметические истины, то это делу не поможет, ибо если под «доказательством» мы имеем в виду то же, что и Гёдель в своем доказательстве, то Гёдель показал, что люди (или ангелы, если бы они существовали) на это тоже не способны755; формального доказательства гёделевского предложения внутри системы, к которой оно принадлежит, не существует. Знаменитую раннюю попытку применения теоремы Гёделя предпринял философ Дж. Р. Лукас756, решивший определить ключевой подвиг как способность «произвести как верное» определенное предложение – то или иное гёделевское предложение. Однако это определение приводит к неразрешимой проблеме интерпретации, разрушая «подобную мечу в камне» определенность эмпирической стороны аргумента757. Мы можем лучше понять проблему, рассмотрев несколько сходных «подвигов», реальных и воображаемых.

В 1637 году Рене Декарт задался вопросом о том, как можно отличить настоящего человека от машины, и придумал «два верных средства»:

Во-первых, такая машина никогда не могла бы пользоваться словами или другими знаками, сочетая их так, как это делаем мы, чтобы сообщать другим свои мысли. Можно, конечно, представить себе, что машина сделана так, что произносит слова, и некоторые из них – даже в связи с телесным воздействием, вызывающим то или иное изменение в ее органах, как, например, если тронуть ее в каком-нибудь месте, и она спросит, что от нее хотят, тронуть в другом – закричит, что ей больно, и т. п. Но никак нельзя себе представить, что она расположит слова различным образом, чтобы ответить на сказанное в ее присутствии, на что, однако, способны даже самые тупые люди. Во-вторых, хотя такая машина многое могла бы сделать так же хорошо и, возможно, лучше, чем мы, в другом она непременно оказалась бы несостоятельной, и обнаружилось бы, что она действует не сознательно, а лишь благодаря расположению своих органов. Ибо в то время как разум – универсальное орудие, могущее служить при самых разных обстоятельствах, органы машины нуждаются в особом расположении для каждого отдельного действия. Отсюда немыслимо, чтобы в машине было столько различных расположений, чтобы она могла действовать во всех случаях жизни так, как нас заставляет действовать наш разум758.

В 1950 году Алан Тьюринг задался тем же вопросом и придумал в точности то же решающее испытание (описанное несколько строже), названное им игрой в имитацию; мы же теперь зовем его тестом Тьюринга. Поместите двух соперников – человека и компьютер – в коробки (или еще каким-нибудь образом изолируйте их) и побеседуйте с каждым; если компьютер сможет убедить вас в том, что он – человек, то он побеждает в игре в имитацию. Однако вердикт Тьюринга в корне отличался от того, что вынес Декарт: