Как же называется эта книга? (Смаллиан) - страница 114

Аналогичное замечание можно сделать и по поводу доказательства Декарта. Из него по сути дела следует, что все боги существуют, то есть всякий X, удовлетворяющий определению Бога по Декарту, должен обладать свойством существования. Но это отнюдь не означает, что по крайней мере один бог непременно существует.

О поездке Дидро в Россию по приглашению Екатерины II рассказывают следующий анекдот. Дидро был атеистом и не скрывал своих убеждений. Императрица находила его высказывания забавными, но один из ее вельмож счел, что они могут вызвать нежелательное брожение умов, и посоветовал пресечь вольнодумные речи Дидро. Против энциклопедиста был составлен небольшой заговор, к участию в котором был приглашен знаменитый математик Эйлер, человек глубоко религиозный. Эйлер объявил, что ему удалось найти доказательство существования Бога, которое он охотно изложит Дидро в присутствии всего императорского двора. Дидро согласился на диспут. Эйлер, пользуясь тем, что Дидро совершенно не знал математики, встал и, глядя на своего оппонента, замогильным голосом произнес: «А в квадрате минус В в квадрате равно А минус В, умноженному на А плюс В. Следовательно, Бог существует. Вы согласны?» Раздался общий смех, и Дидро совершенно растерялся. Тут же он испросил у императрицы разрешение вернуться на родину и отбыл во Францию.

Это доказательство я придумал лет тридцать назад и рассказывал его многим студентам и коллегам-математикам. Несколько же лет назад кто-то сообщил мне, что видел то же доказательство в каком-то философском журнале, но не может вспомнить автора. Все же я хочу познакомить читателя с этим доказательством, кому бы оно ни принадлежало.

Человеческий мозг – машина конечная, поэтому вы можете верить в истинность лишь конечного числа утверждений. Обозначим их р_>1, р_>2, …, р_>n, где n – число утверждений, в истинность которых вы верите. Итак, вы верите в то, что каждое из утверждений p_>1, р_>2, …, р_>n истинно. Если вы не слишком самонадеянны, то знаете, что не все, во что вы верите, истинно. Значит, если вы не самонадеянны, то знаете, что по крайней мере одно из утверждений p_>1, р_>2, …, р_>n ложно. Вы же верите в истинность каждого утверждения. Следовательно, вы непоследовательны.

Примечание. Где ошибка в этих рассуждениях? Я считаю, что никакой ошибки здесь нет. По моему глубокому убеждению, разумно скромный человек должен быть непоследовательным.