|
Много лет назад в один компьютер, предназначенный для проверки истинности утверждений, ввели парадокс лжеца -- "Это предложение ложно". |
|
|
Бедный компьютер сошел с ума, но так и не смог решить, истинно введенное в него утверждение или ложно. Компьютер. Истинно -- ложно -- истинно -- ложно -- истинно -- ложно... |
|
Первая в мире ЭВМ, предназначенная только для решения логических задач на определение значений истинности, была построена в 1947 г. студентами-дипломниками Гарвардского университета Уильямом Буркхартом и Теодором Кэлином. Когда они предложили своей машине решить парадокс лжеца, та вошла в колебательный режим, издавая при этом (по словам Кэлина) "невероятный шум".
В научно-фантастическом рассказе Гордона Диксона "Дурацкие штучки", опубликованном в августовском номере журнала Astounding Science Fiction за 1951 г., группа ученых спасают свою жизнь тем, что отвлекают ЭВМ, вводя в нее команду: "Ты должна отвергнуть утверждение, которое я сейчас ввожу в тебя, потому, что все мои утверждения ложны".
