Формальная система как ориентированный граф
Формальная аксиоматическая система определяет ориентированный граф:
- Вершины: все правильно сформированные формулы, которые можно построить из символов системы
- Рёбра: шаги вывода — одна формула следует из других по правилу вывода
- Аксиомы: отмеченные исходные вершины без входящих рёбер
- Теоремы: все вершины, достижимые из набора аксиом
Доказательство теоремы T: направленный путь из набора аксиом в T. Доказательство — это последовательность вершин A₁, A₂, ..., Aₙ = T, где каждый шаг следует по правилу вывода.
Два фундаментальных свойства формальной системы, выраженные геометрически:
Непротиворечивость: ни одна формула F и её отрицание ¬F не достижимы одновременно из аксиом. Геометрически: вершина теоремы F и вершина теоремы ¬F не достижимы одновременно. Нет пути 'взрыва'.
Полнота: каждая формула F или ¬F является теоремой (достижима). Геометрически: граф сильно связан в том смысле, что для каждой вершины F по крайней мере одна из F или ¬F имеет путь из аксиом.
Неполнота Гёделя как геометрическое свойство
Курт Гёдель доказал в 1931 году, что любая непротиворечивая формальная система, достаточно мощная для выражения базовой арифметики, является неполной: существуют формулы G такие, что ни G, ни ¬G не доказуемы.
Геометрически: в любой достаточно богатой непротиворечивой формальной системе есть вершины в графе формул, которые не достижимы из аксиом — ни вершина G, ни вершина ¬G не имеет пути из набора аксиом.
Конструкция Гёделя: он закодировал формулу G, которая говорит, по сути, 'Я не доказуема.' Если бы G была доказуема, система была бы непротиворечива (верное утверждение говорит, что оно не доказуемо). Если бы ¬G была доказуема, система была бы непротиворечива (G была бы ложна, но система её доказывает). Таким образом, ни G, ни ¬G не доказуемы — G является недостижимой вершиной в непротиворечивой системе.
Неполнота — это не дефект выбранных аксиом: Гёдель показал, что это структурное свойство любой непротиворечивой системы, достаточно мощной для работы с арифметикой. Недостижимые вершины не могут быть удалены путём добавления дополнительных аксиом без создания новых.
Математические объекты как точки в пространстве
Платоническое представление математики можно формализовать геометрически: математические объекты населяют абстрактное пространство, чьими точками являются сами объекты, а структура задана отношениями между ними.
Рассмотрите натуральные числа ℕ = {0, 1, 2, 3, ...}. Отношение делимости определяет частичный порядок: m делит n тогда и только тогда, когда m | n. Этот частичный порядок определяет геометрию — диаграмму Хассе решётки делимости.
Каждое простое число сидит в минимальной позиции выше 1. Каждое составное число сидит выше своих простых множителей. Структура этого пространства кодирует всю теорию чисел.
Что делает это платоническим: структура существует независимо от того, изучает её какой-то разум или нет. Факт того, что 7 является простым числом — что у 7 нет делителей между 1 и 7 — это факт о позиции 7 в решётке делимости, независимо от обозначений, культуры или цивилизации.
Любая цивилизация, которая исследует счёт и делимость, обнаружит ту же структуру. Геометрия системы чисел универсальна.
Навигация по решётке делимости
В решётке делимости наименьшее общее кратное (НОК) двух чисел соответствует их верхней грани (наименьшей верхней границе), а наибольший общий делитель (НОД) соответствует их нижней грани (наибольшей нижней границе).
НОД можно вычислить с помощью алгоритма Евклида: НОД(a, b) = НОД(b, a mod b), завершаясь, когда b = 0.
Что отвергает абстракция
Геометрическая абстракция: проецирование высокомерного объекта на низкомерное подпространство. Проекция теряет информацию (координаты не в подпространстве), но сохраняет структуру подпространства идеально.
Математическая абстракция работает так же. Группа — это множество с одной бинарной операцией, удовлетворяющей четырём аксиомам. Абстрагирование к структуре группы отвергает: конкретные элементы, вычислительное правило конкретной операции, любую дополнительную структуру (порядок, метрику, топологию). Что остаётся: четырёхаксиомный скелет.
Выигрыш: каждая теорема о группах применяется ко ВСЕМ группам — целые числа при сложении, повороты при композиции, перестановки при композиции, симметрии молекулы, группы Галуа полиномиальных уравнений — одновременно. Абстрактная теорема доказывается один раз; её экземпляры бесплатны.
Поэтому чистые математики сопротивляются добавлению специфических для области предположений: каждое добавленное предположение ограничивает применимость теоремы. Теорема о полях (добавление мультипликативного обратного) применяется к меньшему количеству структур, чем теорема о кольцах (мультипликативное обратное не требуется).
Компромисс между точностью и общностью
Есть компромисс: более абстрактные теоремы применяются более широко, но говорят меньше о конкретных экземплярах. Теорема о векторных пространствах над полем говорит меньше о ℝ^n, чем теорема специально о ℝ^n (где определены расстояние и угол).
Подразумеваемое правило Хэмминга: абстрагируйтесь как можно дальше, сохраняя свойства, которые вам нужны. Если абстрагировать слишком далеко, ваши теоремы становятся вакуумно общими ('любое множество с любой операцией удовлетворяет...'). Если абстрагировать слишком мало, ваши теоремы не переносятся на новые приложения.