Игра в имитацию - Эндрю Ходжес

Скачать книгу

все убеждены в том, что любая математическая задача поддается решению. Это убеждение в разрешимости каждой математической проблемы является для нас большим подспорьем в работе, когда мы приступаем к решению математической проблемы, ибо мы слышим внутри себя постоянный призыв: вот проблема, ищи решение. Ты можешь найти его с помощью чистого мышления, ибо в математике не существует ignorabimus», – и когда в соответствии с уставом университета Гильберт ушел в отставку в 1930 году, он заявил следующее:

      Пытаясь привести пример неразрешимой проблемы, философ Конт однажды сказал, что науке никогда не удастся распознать секрет химического состава небесных тел. Спустя несколько лет эта проблема была решена… Истинная причина, из-за которой, по моему мнению, Конт не смог найти неразрешимую проблему, заключается в том, что в действительности такой вещи, как неразрешимая проблема, вообще не существует.

      Такой взгляд на науку, казалось, был позитивнее, чем сами позитивисты. Однако, на том самом съезде юный чешский математик Курт Гёдель представил результаты своей работы, наделавшей немало шума.

      Гёделю удалось доказать теорему о неполноте арифметики, которая гласила: не каждая определенная математическая проблема доступна строгому решению. Своё исследование он начинал с аксиом Пеано для арифметики целых чисел, а позже расширил его, применив простую теорию типов таким образом, чтобы система представляла множества целых чисел, множества множеств целых чисел и так далее. И всё же его доказательство оставалось применимым к любой формальной математической системе, которая включала в себя теорию чисел, а тонкости аксиоматики не играли решающей роли.

      Затем ему удалось доказать, что все операции, производимые в ходе доказательства, то есть правила логической дедукции, применяемые в «шахматной партии», сами по себе являются арифметическими. Из этого следует, что используемые при доказательстве операции вычисления и сравнения с целью выявить, корректно ли одна формула заменена другой, точно так же верность текущего хода в шахматной партии может быть просчитана при помощи вычисления и сравнения возможных позиций шахматных фигур. Фактически Гёделю удалось доказать, что формулы его системы могут быть закодированы в виде целых чисел. Таким образом, целые числа могли представлять собой утверждения о них самих. В этом и заключалась основная идея его работы.

      Затем он продолжил своё исследование и показал, как сами доказательства могут быть закодированы в виде целых чисел. Таким образом он получил целую теорию арифметики, закодированную в самой арифметике. Здесь он использовал идею, что, если математика рассматривается лишь как игра знаков, значит в ней могут быть также задействованы и числовые знаки, то есть цифры. Гёделю удалось доказать, что свойство «доказуемости» ровно настолько же арифметическое, как и свойства квадрата или прямоугольника.

      В результате такого кодирования стала возможной запись

Скачать книгу