Сумасшедший компьютер


    Много лет назад в один компьютер, предназначенный для проверки истинности утверждений, ввели парадокс лжеца -- "Это предложение ложно".

    ch18.gif

    Бедный компьютер сошел с ума, но так и не смог решить, истинно введенное в него утверждение или ложно.

    Компьютер. Истинно -- ложно -- истинно -- ложно -- истинно -- ложно...

    ch19.gif


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

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


Оглавление книги | Содержание части | Следущая глава