Keywords: mathematics, calculations, discrete mathematics, logic.

Но поражает то, что это вероятнее всего никто и никогда это попросту не сможет сделать. Ведь точно известно, что в любой математической системе, где определены операции, всегда будут истинные утверждения, которые невозможно доказать. Самым лучшим примером является математическая модель игры «Жизнь», созданная математиком Джоном Конвеем в 1970-м году.

«Жизнь» разворачивается на бесконечном поле из квадратных ячеек, каждая из которых либо «жива», либо «мертва», в игре всего 2 правила: любая мёртвая клетка, имеющая 3 соседей – оживает и любая живая клетка, у которой меньше 2 или больше 3 соседей – умирает. Так можно задать начальную конфигурацию расположения точек и модель создаёт первое, второе, третье и последующие поколения. Всё происходит автоматически хотя правила простые, они порождают довольно сложное поведение, где возникают следующие ситуации:

1. Стабильные состояния, которые застывают на месте;

2. Зацикливаются в бесконечной петле, постоянно мерцая;

3. Убегают в бесконечном поле, подобно глайдерам;

4. Попросту взаимно уничтожаются;

5. Живущие вечно и создающие новые клетки.

И смотря на такие условия хочется предположить, что любое поведение можно предсказать, придут ли они в покой или будут бесконечно расти в зависимости от начальных условий. Но как бы это не было странным, сделать это не представляется возможным. То есть нельзя создать алгоритм, который находил бы ответ за конечный промежуток времени, не выполняя сам алгоритм, до какого-то момента, но даже при этом, возможно говорить только о конечном счёте времени, то есть до какого-то числа поколений, а не о бесконечности.

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

В 1874 году немецкий математик Георг Кантор опубликовал свою работу, дав начало «Теории множеств». Множества – это точно описанное собрание чего либо, к которым можно отнести всё что угодно – обувь, планетарии мира, людей. Но среди таких множеств есть и пустые – в них попросту ничего нет, но также есть и множества содержащие абсолютно всё – это универсальные множества.

Но Кантора интересовали не сколько множества вещей, сколько множества чисел, а именно множества натуральных чисел – это все целые, рациональных чисел – все числа, которые можно представить в виде дроби, сюда же входят и целые, а также входящие в множество рациональных – множество иррациональных чисел – число «пи», Эйлера, корень из двух, а также любое другое число, которое можно представить как бесконечную десятичную дробь. Вопрос Кантора заключался в том, чтобы определить каких чисел больше – натуральных или вещественных в промежутке от 0 до 1. С одной стороны, ответ кажется очевидным – обоих по бесконечности, то есть множества равны, но для демонстрации этого была создана некоторая таблица.

Идея таблицы предельно проста – каждому натуральному числу пусть соответствует определённое вещественное число в промежутке от 0 до 1. Но поскольку это бесконечные десятичные дроби их можно записать в случайном порядке, но самое главное, чтобы присутствовали абсолютно все и не было ни единого повторения. Если же в результате лишних чисел не остаётся при проверке некой супермашиной, то получалось, что множества одинаковые.

И даже если допустить, что это так, Кантор предлагает придумать ещё одно вещественное число следующим образом. Он прибавляет к первой цифре после запятой первого числа единицу, затем единицу ко второй цифре второго числа, единицу третьей цифре третьего числа и т.д., если попадается 9 отнять единицу, и получившееся число находится всё в том же промежутке между 0 и 1, при этом ни разу не повторяясь во всём списке, ведь от первого числа оно отличается первым, от второго вторым, от третьего третьим и т. д. числами до самого конца.