- 26,933
- 46
- 8 Ноя 2022
Даже натуральные числа оказались слишком сложными для аксиом.
Математика долго казалась областью, где любую истину можно получить из правильного набора правил. В 1931 году Курт Гёдель разрушил такую надежду: он доказал, что математику нельзя полностью свести к закрытой системе аксиом и логических шагов.
Аксиомы работают как исходные правила. Математик принимает их без доказательства, а затем выводит из них новые утверждения. Гёдель показал, что даже в очень строгой системе всегда найдутся истинные математические утверждения, которые нельзя доказать по правилам самой системы.
Журналист Quanta Magazine уже разбирал, как устроено доказательство Гёделя . Даже после понимания технических шагов значение результата остаётся непростым. В классической книге <em>Gödel’s Proof</em> философ Эрнест Нагель и математик Джеймс Ньюман писали, что смысл теорем Гёделя до конца не раскрыт. С момента публикации книги прошло больше 60 лет, но математики, логики, философы и физики всё ещё спорят, что именно Гёдель сказал о границах истины.
Философ Пану Раатикайнен из Университета Тампере, автор статьи о теоремах Гёделя в Stanford Encyclopedia of Philosophy , напоминает, что со времён древних греков аксиоматический метод считался идеалом научного знания. Учёные стремились найти небольшой набор очевидных исходных положений, из которых логически выводятся все истины выбранной области.
Гёдель доказал, что такой идеал неизбежно ломается уже на большой части математики. Даже вся истина о натуральных числах 1, 2, 3 и далее оказывается слишком сложной, чтобы следовать из конечного набора аксиом. Поэтому некоторые задачи нельзя решить привычными математическими методами даже в принципе, а прогресс требует новых понятий и более смелых идей.
Из результата Гёделя следует важная деталь: математические истины не образуют единый набор одинаково надёжных фактов. У разных утверждений появляется разный статус, от почти бесспорных результатов до гипотез, в которых остаётся больше неопределённости. Граница между объективной истиной и выбором исходных правил становится менее очевидной.
Один из способов обойти ограничения Гёделя заключается в добавлении новых аксиом. Если утверждение нельзя доказать с помощью стандартных правил, математик может расширить систему и доказать утверждение. Другая новая аксиома способна привести к противоположному выводу. В таком случае ответ зависит не только от самой задачи, но и от выбранного набора исходных предположений.
Философ Ребекка Голдштейн , автор книги <em>Incompleteness: The Proof and Paradox of Kurt Gödel</em> , связывает работу Гёделя с более ранним кризисом оснований математики. Интуиция всегда играла важную роль: доказательство не может начинаться с пустого места, поэтому часть истин приходится принимать как аксиомы. Но история показала, что интуитивные представления иногда ведут к парадоксам и прямым противоречиям.
В начале XX века Бертран Рассел и Альфред Норт Уайтхед работали над <em>The Principles of Mathematics</em> и пытались свести арифметику к логике. Такой взгляд получил название логицизм. В ходе работы Рассел столкнулся с парадоксом множества всех множеств, которые не содержат самих себя. Вопрос звучит просто: содержит ли такое множество само себя? Если содержит, значит, не должно содержать. Если не содержит, значит, должно содержать. Георг Кантор, основатель теории множеств, заметил похожее противоречие ещё в 1890-х годах.
Ответ математиков на парадоксы оказался радикальным. Дэвид Гильберт , один из ведущих математиков своего времени , хотел сделать основания математики максимально строгими: убрать всё, что держится на спорных предположениях, и заменить такие места формальной системой правил. Проект Гильберта должен был превратить доказательства в механическую работу с символами.
Гёдель показал, что программа Гильберта в таком виде невыполнима. Первая теорема говорит: в любой достаточно богатой формальной системе, способной описывать арифметику, найдутся истинные утверждения, которые нельзя доказать внутри этой системы. Даже идеально строгий набор правил не позволяет вывести всё, что в математике оказывается истинным.
Самым известным примером проблемы стала континуум-гипотеза. Континуум-гипотеза утверждает, что множество всех вещественных чисел является вторым по размеру бесконечным множеством после множества натуральных чисел. В стандартных аксиомах математики утверждение оказалось неразрешимым: выбранные правила не позволяют доказать ни истинность, ни ложность. Дополнительные аксиомы могут склонить ответ в одну или другую сторону, но логики до сих пор спорят, какой путь считать правильным.
Физик Клаус Кифер из Кёльнского университета, автор работы о значении результатов Гёделя для фундаментальной физики , считает, что проблема касается не только математики. Физические законы записывают на математическом языке, поэтому ограничения формальных систем могут затрагивать и физику.
Кифер обращает внимание на континуум-гипотезу, которую Пол Коэн в 1963 году доказал неразрешимой в гёделевском смысле. Слово «континуум» связано с идеей, что точкам на линии соответствуют вещественные числа. Вещественных чисел несчётно много, но математики спорят, можно ли точно описать размер такой бесконечности.
Современная физика строит фундаментальные взаимодействия на пространственно-временном континууме. Несчётное число точек в таком континууме создаёт серьёзные трудности. В общей теории относительности Эйнштейна непрерывное пространство-время приводит к сингулярностям, где математическое описание происхождения Вселенной и внутренней области чёрных дыр перестаёт работать. В Стандартной модели физики частиц прямые расчёты в квантовой теории поля дают бесконечные значения энергий и других величин. Затем физикам приходится устранять бесконечности с помощью сложной математической процедуры.
По мнению Кифера, проблема становится острее при поиске окончательной единой теории всех взаимодействий. Такая теория должна опираться на последовательный и полный математический язык. Если единая теория описывает пространство-время как континуум, в ней могут появиться утверждения, которые нельзя решить внутри выбранной математики. Физики уже показали, что континуум-гипотеза ведёт к неразрешимым вопросам в квантовой теории поля, например к вопросу о наличии энергетической щели у некоторых атомных систем. Энергетическая щель позволяет системе перейти в стабильное основное состояние.
Кифер считает, что окончательная теория не должна содержать неразрешимых утверждений. Поэтому пространство и время, возможно, не являются непрерывными на самом глубоком уровне. Более безопасный вариант, с его точки зрения, предполагает дискретную структуру, то есть счётное множество точек. Намёки на дискретность встречаются в некоторых подходах к квантовой гравитации, включая теорию струн и петлевую квантовую гравитацию, но окончательного ответа пока нет.
У физиков есть и другие причины сомневаться, что непрерывное пространство-время фундаментально . Некоторые подходы рассматривают пространство-время как крупномасштабную иллюзию, которая возникает из более глубоких структур.
Математик и логик Йоуко Вяянен из университетов Хельсинки и Амстердама сравнивает неполноту формальных систем с неизбежными ограничениями, к которым наука уже привыкла. Для теории чисел такими ограничениями стали иррациональные и трансцендентные числа , а для физики принцип неопределённости Гейзенберга.
Вяянен говорит о своеобразном барьере Гёделя. Чем больше логический язык позволяет выразить, тем хуже система справляется с доказательством всех утверждений. Чем легче доказывать утверждения внутри системы, тем меньше такой язык способен описать. Простейшая логика высказываний позволяет соединять фразы словами и, или, не. Такая логика хорошо работает, но говорит мало. Логика второго порядка позволяет рассуждать об объектах, свойствах, множествах и отношениях, но гораздо хуже подходит для полного перебора доказательств.
Вяянен сравнивает такую связь с принципом неопределённости: нельзя одновременно с произвольной точностью знать некоторые пары физических величин, например координату и импульс. В логике похожую роль играют выразительность и возможность доказательства. Математика движется вперёд без полной уверенности в собственной непротиворечивости и полноте. По словам Вяянена, неполноту формальных систем можно переносить с места на место, но нельзя заставить исчезнуть.
При этом сам Гёдель, судя по интерпретации современных логиков, не обязательно считал такой результат поражением математики. Логик Рэйчел Алвир из Университета Ватерлоо подчёркивает, что Гёдель не просто закрыл мечту о формальной математике. В работе 1931 года Гёдель прямо писал, что его результат не противоречит формалистской позиции Гильберта в целом. Недоказуемые утверждения остаются недоказуемыми относительно конкретной системы, но более мощная система может доказать истинность или ложность таких утверждений.
Алвир считает, что Гёдель спорил не с самой идеей строгой математики, а с ограничением на один конечный набор аксиом и конечное число логических шагов. Гёдель допускал возможность бесконечной последовательности всё более сильных логических систем. Каждая новая система могла бы решать вопросы, недоступные предыдущей. При таком взгляде любая корректно поставленная математическая задача потенциально получает ответ в одной из более широких рамок.
Континуум-гипотезу часто приводят как главный пример вопроса, у которого будто бы нет ответа. Алвир возражает: неразрешимость гипотезы в стандартной системе аксиом не доказывает существование абсолютно неразрешимых математических проблем. Возможно, континуум-гипотеза просто ждёт новых методов. Математика регулярно создаёт новые техники для задач, которые раньше казались закрытыми.
Алвир перечисляет несколько путей. Математики могут добавить к стандартным аксиомам новую аксиому, которая решит континуум-гипотезу и не приведёт к противоречиям. Другой вариант, найти схему для бесконечного набора аксиом, способную решать континуум-гипотезу и другие вопросы. Третий путь, перейти к другой логической системе, например к L-omega-1-omega, которую Алвир называет личным фаворитом. Возможен и более неожиданный вариант: появление совершенно новой математической идеи.
Даже решение континуум-гипотезы не закроет проблему полностью. Результат Гёделя говорит о более общем пределе: достаточно сильная формальная система всё равно не сможет доказать все математические истины своими средствами.
Философ математики и логик Джульетта Кеннеди из Университета Хельсинки, редактор сборника <em>Interpreting Gödel: Critical Essays</em> , предлагает не терять удивление перед самим фактом. Даже аксиомы Пеано, которые описывают натуральные числа 0, 1, 2, 3 и далее, оказываются неполными и неразрешимыми: любое непротиворечивое расширение этих аксиом тоже будет неполным, если его можно описать как формальную систему.
Гёдель не просто ограничил математиков. Он показал, что попытка полностью подчинить математическую истину конечному набору механических правил обречена на сбой. Для науки такой результат оказался не тупиком, а новым пониманием: даже самая строгая область знания сохраняет пространство для неопределённости, выбора аксиом и будущих идей.
Математика долго казалась областью, где любую истину можно получить из правильного набора правил. В 1931 году Курт Гёдель разрушил такую надежду: он доказал, что математику нельзя полностью свести к закрытой системе аксиом и логических шагов.
Аксиомы работают как исходные правила. Математик принимает их без доказательства, а затем выводит из них новые утверждения. Гёдель показал, что даже в очень строгой системе всегда найдутся истинные математические утверждения, которые нельзя доказать по правилам самой системы.
Журналист Quanta Magazine уже разбирал, как устроено доказательство Гёделя . Даже после понимания технических шагов значение результата остаётся непростым. В классической книге <em>Gödel’s Proof</em> философ Эрнест Нагель и математик Джеймс Ньюман писали, что смысл теорем Гёделя до конца не раскрыт. С момента публикации книги прошло больше 60 лет, но математики, логики, философы и физики всё ещё спорят, что именно Гёдель сказал о границах истины.
Философ Пану Раатикайнен из Университета Тампере, автор статьи о теоремах Гёделя в Stanford Encyclopedia of Philosophy , напоминает, что со времён древних греков аксиоматический метод считался идеалом научного знания. Учёные стремились найти небольшой набор очевидных исходных положений, из которых логически выводятся все истины выбранной области.
Гёдель доказал, что такой идеал неизбежно ломается уже на большой части математики. Даже вся истина о натуральных числах 1, 2, 3 и далее оказывается слишком сложной, чтобы следовать из конечного набора аксиом. Поэтому некоторые задачи нельзя решить привычными математическими методами даже в принципе, а прогресс требует новых понятий и более смелых идей.
Из результата Гёделя следует важная деталь: математические истины не образуют единый набор одинаково надёжных фактов. У разных утверждений появляется разный статус, от почти бесспорных результатов до гипотез, в которых остаётся больше неопределённости. Граница между объективной истиной и выбором исходных правил становится менее очевидной.
Один из способов обойти ограничения Гёделя заключается в добавлении новых аксиом. Если утверждение нельзя доказать с помощью стандартных правил, математик может расширить систему и доказать утверждение. Другая новая аксиома способна привести к противоположному выводу. В таком случае ответ зависит не только от самой задачи, но и от выбранного набора исходных предположений.
Философ Ребекка Голдштейн , автор книги <em>Incompleteness: The Proof and Paradox of Kurt Gödel</em> , связывает работу Гёделя с более ранним кризисом оснований математики. Интуиция всегда играла важную роль: доказательство не может начинаться с пустого места, поэтому часть истин приходится принимать как аксиомы. Но история показала, что интуитивные представления иногда ведут к парадоксам и прямым противоречиям.
В начале XX века Бертран Рассел и Альфред Норт Уайтхед работали над <em>The Principles of Mathematics</em> и пытались свести арифметику к логике. Такой взгляд получил название логицизм. В ходе работы Рассел столкнулся с парадоксом множества всех множеств, которые не содержат самих себя. Вопрос звучит просто: содержит ли такое множество само себя? Если содержит, значит, не должно содержать. Если не содержит, значит, должно содержать. Георг Кантор, основатель теории множеств, заметил похожее противоречие ещё в 1890-х годах.
Ответ математиков на парадоксы оказался радикальным. Дэвид Гильберт , один из ведущих математиков своего времени , хотел сделать основания математики максимально строгими: убрать всё, что держится на спорных предположениях, и заменить такие места формальной системой правил. Проект Гильберта должен был превратить доказательства в механическую работу с символами.
Гёдель показал, что программа Гильберта в таком виде невыполнима. Первая теорема говорит: в любой достаточно богатой формальной системе, способной описывать арифметику, найдутся истинные утверждения, которые нельзя доказать внутри этой системы. Даже идеально строгий набор правил не позволяет вывести всё, что в математике оказывается истинным.
Самым известным примером проблемы стала континуум-гипотеза. Континуум-гипотеза утверждает, что множество всех вещественных чисел является вторым по размеру бесконечным множеством после множества натуральных чисел. В стандартных аксиомах математики утверждение оказалось неразрешимым: выбранные правила не позволяют доказать ни истинность, ни ложность. Дополнительные аксиомы могут склонить ответ в одну или другую сторону, но логики до сих пор спорят, какой путь считать правильным.
Физик Клаус Кифер из Кёльнского университета, автор работы о значении результатов Гёделя для фундаментальной физики , считает, что проблема касается не только математики. Физические законы записывают на математическом языке, поэтому ограничения формальных систем могут затрагивать и физику.
Кифер обращает внимание на континуум-гипотезу, которую Пол Коэн в 1963 году доказал неразрешимой в гёделевском смысле. Слово «континуум» связано с идеей, что точкам на линии соответствуют вещественные числа. Вещественных чисел несчётно много, но математики спорят, можно ли точно описать размер такой бесконечности.
Современная физика строит фундаментальные взаимодействия на пространственно-временном континууме. Несчётное число точек в таком континууме создаёт серьёзные трудности. В общей теории относительности Эйнштейна непрерывное пространство-время приводит к сингулярностям, где математическое описание происхождения Вселенной и внутренней области чёрных дыр перестаёт работать. В Стандартной модели физики частиц прямые расчёты в квантовой теории поля дают бесконечные значения энергий и других величин. Затем физикам приходится устранять бесконечности с помощью сложной математической процедуры.
По мнению Кифера, проблема становится острее при поиске окончательной единой теории всех взаимодействий. Такая теория должна опираться на последовательный и полный математический язык. Если единая теория описывает пространство-время как континуум, в ней могут появиться утверждения, которые нельзя решить внутри выбранной математики. Физики уже показали, что континуум-гипотеза ведёт к неразрешимым вопросам в квантовой теории поля, например к вопросу о наличии энергетической щели у некоторых атомных систем. Энергетическая щель позволяет системе перейти в стабильное основное состояние.
Кифер считает, что окончательная теория не должна содержать неразрешимых утверждений. Поэтому пространство и время, возможно, не являются непрерывными на самом глубоком уровне. Более безопасный вариант, с его точки зрения, предполагает дискретную структуру, то есть счётное множество точек. Намёки на дискретность встречаются в некоторых подходах к квантовой гравитации, включая теорию струн и петлевую квантовую гравитацию, но окончательного ответа пока нет.
У физиков есть и другие причины сомневаться, что непрерывное пространство-время фундаментально . Некоторые подходы рассматривают пространство-время как крупномасштабную иллюзию, которая возникает из более глубоких структур.
Математик и логик Йоуко Вяянен из университетов Хельсинки и Амстердама сравнивает неполноту формальных систем с неизбежными ограничениями, к которым наука уже привыкла. Для теории чисел такими ограничениями стали иррациональные и трансцендентные числа , а для физики принцип неопределённости Гейзенберга.
Вяянен говорит о своеобразном барьере Гёделя. Чем больше логический язык позволяет выразить, тем хуже система справляется с доказательством всех утверждений. Чем легче доказывать утверждения внутри системы, тем меньше такой язык способен описать. Простейшая логика высказываний позволяет соединять фразы словами и, или, не. Такая логика хорошо работает, но говорит мало. Логика второго порядка позволяет рассуждать об объектах, свойствах, множествах и отношениях, но гораздо хуже подходит для полного перебора доказательств.
Вяянен сравнивает такую связь с принципом неопределённости: нельзя одновременно с произвольной точностью знать некоторые пары физических величин, например координату и импульс. В логике похожую роль играют выразительность и возможность доказательства. Математика движется вперёд без полной уверенности в собственной непротиворечивости и полноте. По словам Вяянена, неполноту формальных систем можно переносить с места на место, но нельзя заставить исчезнуть.
При этом сам Гёдель, судя по интерпретации современных логиков, не обязательно считал такой результат поражением математики. Логик Рэйчел Алвир из Университета Ватерлоо подчёркивает, что Гёдель не просто закрыл мечту о формальной математике. В работе 1931 года Гёдель прямо писал, что его результат не противоречит формалистской позиции Гильберта в целом. Недоказуемые утверждения остаются недоказуемыми относительно конкретной системы, но более мощная система может доказать истинность или ложность таких утверждений.
Алвир считает, что Гёдель спорил не с самой идеей строгой математики, а с ограничением на один конечный набор аксиом и конечное число логических шагов. Гёдель допускал возможность бесконечной последовательности всё более сильных логических систем. Каждая новая система могла бы решать вопросы, недоступные предыдущей. При таком взгляде любая корректно поставленная математическая задача потенциально получает ответ в одной из более широких рамок.
Континуум-гипотезу часто приводят как главный пример вопроса, у которого будто бы нет ответа. Алвир возражает: неразрешимость гипотезы в стандартной системе аксиом не доказывает существование абсолютно неразрешимых математических проблем. Возможно, континуум-гипотеза просто ждёт новых методов. Математика регулярно создаёт новые техники для задач, которые раньше казались закрытыми.
Алвир перечисляет несколько путей. Математики могут добавить к стандартным аксиомам новую аксиому, которая решит континуум-гипотезу и не приведёт к противоречиям. Другой вариант, найти схему для бесконечного набора аксиом, способную решать континуум-гипотезу и другие вопросы. Третий путь, перейти к другой логической системе, например к L-omega-1-omega, которую Алвир называет личным фаворитом. Возможен и более неожиданный вариант: появление совершенно новой математической идеи.
Даже решение континуум-гипотезы не закроет проблему полностью. Результат Гёделя говорит о более общем пределе: достаточно сильная формальная система всё равно не сможет доказать все математические истины своими средствами.
Философ математики и логик Джульетта Кеннеди из Университета Хельсинки, редактор сборника <em>Interpreting Gödel: Critical Essays</em> , предлагает не терять удивление перед самим фактом. Даже аксиомы Пеано, которые описывают натуральные числа 0, 1, 2, 3 и далее, оказываются неполными и неразрешимыми: любое непротиворечивое расширение этих аксиом тоже будет неполным, если его можно описать как формальную систему.
Гёдель не просто ограничил математиков. Он показал, что попытка полностью подчинить математическую истину конечному набору механических правил обречена на сбой. Для науки такой результат оказался не тупиком, а новым пониманием: даже самая строгая область знания сохраняет пространство для неопределённости, выбора аксиом и будущих идей.
- Источник новости
- www.securitylab.ru
