Основы математики

О книге Гильберта и Бернейса см. « Основы математики» .

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

Основы математики редко изучались до конца XIX века, за исключением древнегреческих философов , которые установили логику и ее правила вывода , а также метаматематические концепции теорем и доказательств . В конце XIX века ряд парадоксальных математических результатов поставил под сомнение общую уверенность в надежности и истинности математических результатов, что привело к фундаментальному кризису математики . Это привело к появлению новой математической дисциплины, называемой математической логикой , которая включает в себя теорию множеств , теорию моделей , теорию доказательств , теорию вычислимости и вычислительной сложности , а в последнее время и несколько разделов информатики . В течение 20-го века открытия, сделанные в этой области, стабилизировали основы математики в последовательную структуру, действительную для всей математики, которая основана на ZFC , теории множеств Цермело - Френкеля с аксиомой выбора , и на систематическом использовании аксиоматических метод .

В результате основные математические понятия, такие как числа , точки , линии и геометрические пространства, больше не определяются как абстракции от реальности; они определяются только своими основными свойствами ( аксиомами ). Их соответствие их физическому происхождению уже не принадлежит математике, хотя их связь с физической реальностью все еще используется математиками для выбора аксиом, для того, чтобы найти, какие теоремы интересно доказать, и для получения указаний на возможные доказательства; Короче говоря, связь с реальностью используется для руководства математической интуицией .

История

Смотрите также: История логики и История математики.

Древняя Греция

Дополнительная информация: греческая математика и греческая философия.

Большинство цивилизаций разработали некоторую математику, в основном для практических целей, таких как счет (торговцы), геодезия (делимитация полей), просодия , астрономия и астрология . Похоже, что древнегреческие философы были первыми, кто изучил природу математики и ее связь с реальным миром.

Зенон Элейский (490 – ок. 430 до н.э.) привел несколько парадоксов, которые он использовал в поддержку своего тезиса о том, что движения не существует. Эти парадоксы связаны с математической бесконечностью — концепцией, которая находилась за пределами математических основ того времени и не была хорошо понята до конца XIX века.

Пифагорейская школа математики первоначально настаивала на том, что только числа являются натуральными числами и отношениями натуральных чисел. Открытие (около V века до н.э.) того, что отношение диагонали квадрата к его стороне не является отношением двух натуральных чисел, было для них шоком, который они приняли лишь неохотно. Свидетельством этого является современная терминология иррационального числа для обозначения числа, которое не является частным двух целых чисел, поскольку «иррациональное» изначально означает «неразумное» или «недоступное разуму».

Тот факт, что отношения длин не представлены рациональными числами, был решен Евдоксом Книдским (408–355 до н. э.), учеником Платона , который свел сравнение двух иррациональных отношений к сравнению целых кратных соответствующих величин. Его метод предвосхитил метод Дедекинда в современном определении действительных чисел Ричардом Дедекиндом (1831–1916); см. Евдокс Книдский § Пропорции Евдокса .

В «Апостериорной аналитике» Аристотель ( 384–322 до н.э.) изложил логику организации области знания с помощью примитивных понятий, аксиом, постулатов, определений и теорем. Для этого Аристотель взял большую часть своих примеров из арифметики и геометрии, и его логика на протяжении веков служила основой математики. Этот метод напоминает современный аксиоматический метод с большим философским отличием: аксиомы и постулаты должны были быть истинными, будучи либо самоочевидными, либо вытекающими из экспериментов , в то время как в аксиоматическом методе не задействована никакая иная истина, кроме правильности доказательства. Так, для Аристотеля доказанная теорема истинна, тогда как в аксиоматических методах доказательство говорит лишь о том, что из аксиом следует утверждение теоремы.

Логика Аристотеля достигла своей высшей точки в Евклида « Началах» (300 г. до н. э.), трактате по математике, структурированном с очень высокими стандартами строгости: Евклид обосновывает каждое предложение демонстрацией в форме цепочек силлогизмов ( хотя они не всегда строго соответствуют к аристотелевским шаблонам). Аристотеля Силлогическая логика вместе с ее примером в «Началах» Евклида признана научными достижениями Древней Греции и оставалась основой математики на протяжении веков.

До исчисления бесконечно малых

В средние века Евклида «Начала» служили совершенно прочной основой математики, а философия математики сосредоточивалась на онтологическом статусе математических концепций; вопрос заключался в том, существуют ли они независимо от восприятия ( реализм ) или только в уме ( концептуализм ); или даже являются ли они просто названиями совокупности отдельных объектов ( номинализм ).

В Elements учитываются только натуральные числа и отношения длин. Этот геометрический взгляд на нецелые числа оставался доминирующим до конца Средневековья, хотя возникновение алгебры привело к их рассмотрению независимо от геометрии, что неявно подразумевает наличие основополагающих примитивов математики. Например, преобразования уравнений, введенные Аль-Хорезми , а также формулы кубической и четвертой степени , открытые в XVI веке, являются результатом алгебраических манипуляций, не имеющих геометрического аналога.

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

В 1637 году Рене Декарт опубликовал «Геометрию» , в которой показал, что геометрию можно свести к алгебре с помощью координат , которые представляют собой числа, определяющие положение точки. Это придает более основополагающую роль числам, которые он называл действительными числами (до него числа определялись как отношение двух длин). Книга Декарта стала знаменитой после 1649 года и проложила путь к исчислению бесконечно малых .

Исчисление бесконечно малых

Исаак Ньютон (1642–1727) в Англии и Лейбниц (1646–1716) в Германии независимо друг от друга разработали исчисление бесконечно малых для работы с подвижными точками (например, планетами на небе) и переменными величинами.

Это потребовало введения новых понятий, таких как непрерывные функции , производные и пределы . Чтобы логически разобраться с этими понятиями, они были определены в терминах бесконечно малых чисел , которые представляют собой гипотетические числа, бесконечно близкие к нулю. Сильное влияние исчисления бесконечно малых на основы математики иллюстрируется брошюрой протестантского философа Джорджа Беркли (1685–1753), который писал: «[Бесконечно малые] не являются ни конечными величинами, ни бесконечно малыми величинами, ни даже ничем. Можем ли мы не называть их призраками ушедших величин?».

Кроме того, часто упоминалось об отсутствии строгости, поскольку бесконечно малые величины и связанные с ними понятия не были формально определены ( линии и плоскости также не были формально определены, но люди к ним более привыкли). Действительные числа, непрерывные функции, производные не были формально определены до 19 века, как и евклидова геометрия . Лишь в 20 веке было дано формальное определение бесконечно малых величин с доказательством того, что из них можно вывести всю бесконечно малую величину.

Несмотря на отсутствие прочной логической основы, исчисление бесконечно малых было быстро принято математиками и подтверждено его многочисленными приложениями; в частности тот факт, что траектории планет можно вывести из закона гравитации Ньютона .

19 век

В XIX веке математика становилась все более абстрактной. Обеспокоенность по поводу логических пробелов и несоответствий в различных областях привела к развитию аксиоматических систем.

Реальный

Смотрите также: Математический анализ § История

Коши (1789–1857) начал проект строгой формулировки и доказательства теорем исчисления бесконечно малых , отвергая эвристический принцип общности алгебры, использовавшийся более ранними авторами. В своей работе 1821 года «Кур д'Анализ» он определяет бесконечно малые величины в терминах убывающих последовательностей, сходящихся к 0, которые он затем использовал для определения непрерывности. Но он не формализовал свое понятие конвергенции.

Современное (ε, δ)-определение предельных и непрерывных функций было впервые разработано Больцано в 1817 году, но оставалось относительно неизвестным. Он дает строгую основу исчисления бесконечно малых, основанную на наборе действительных чисел, возможно, разрешая парадоксы Зенона и аргументы Беркли.

Такие математики, как Карл Вейерштрасс (1815–1897), открыли патологические функции, такие как непрерывные, нигде не дифференцируемые функции . Предыдущие представления о функции как правиле вычислений или о гладком графике уже не были адекватными. Вейерштрасс начал выступать за арифметизацию анализа , аксиоматизировать анализ с использованием свойств натуральных чисел.

В 1858 году Дедекинд предложил определение действительных чисел как разрезов рациональных чисел. Это сокращение действительных чисел и непрерывных функций в терминах рациональных чисел и, следовательно, натуральных чисел, было позже интегрировано Кантором в его теории множеств и аксиоматизировано в терминах арифметики второго порядка Гильбертом и Бернейсом.

Теория групп

Смотрите также: История теории групп

Впервые были исследованы пределы математики. Нильс Хенрик Абель (1802–1829), норвежец, и Эварист Галуа (1811–1832) француз исследовали решения полиномиальных уравнений и доказали, что не существует общего алгебраического решения уравнений степени выше четырех ( Абель– Теорема Руффини ). С помощью этих концепций Пьер Ванцель (1837) доказал, что линейка и циркуль сами по себе не могут разделить произвольный угол на три части или удвоить куб . В 1882 году Линдеманн , опираясь на работы Эрмита линейкой и циркулем , показал, что квадратура круга (построение квадрата, равного по площади данному кругу) также невозможна, доказав, что π — трансцендентное число . Математики тщетно пытались решить все эти проблемы со времен древних греков.

Работы Абеля и Галуа открыли путь для развития теории групп (которая позже будет использоваться для изучения симметрии в физике и других областях) и абстрактной алгебры . Концепции векторных пространств возникли из концепции барицентрических координат Мёбиуса в 1827 году до современного определения векторных пространств и линейных карт Пеано в 1888 году. Геометрия больше не ограничивалась тремя измерениями. Эти понятия не обобщали числа, а объединяли еще не формализованные представления о функциях и множествах, отрываясь от привычных математических объектов.

Неевклидовы геометрии

Смотрите также: Неевклидова геометрия § История

После многих неудачных попыток вывести постулат о параллельности из других аксиом, изучение все еще гипотетической гиперболической геометрии Иоганном Генрихом Ламбертом (1728–1777) привело его к введению гиперболических функций и вычислению площади гиперболического треугольника (где сумма углы меньше 180°). Затем русский математик Николай Лобачевский (1792–1856) установил в 1826 г. (и опубликовал в 1829 г.) непротиворечивость этой геометрии (таким образом, независимость постулата параллельности ), параллельно с венгерским математиком Яношем Больяи (1802–1860) в 1832 г. и с Гауссом . Позже, в 19 веке, немецкий математик Бернхард Риман разработал эллиптическую геометрию , еще одну неевклидову геометрию , в которой невозможно найти параллели, а сумма углов в треугольнике превышает 180°. Это оказалось непротиворечивым, определив точку как пару противоположных точек на фиксированной сфере, а линию как большой круг на сфере. В то время основным методом доказательства непротиворечивости набора аксиом было предоставление модель для него.

Проективная геометрия

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

В середине девятнадцатого века между сторонниками синтетических и аналитических методов в проективной геометрии шла острая полемика, причем обе стороны обвиняли друг друга в смешении проективных и метрических понятий. Действительно, основная концепция, которая применяется в синтетическом представлении проективной геометрии, перекрестное отношение четырех точек прямой, была введена посредством рассмотрения длин интервалов.

Чисто геометрический подход фон Штаудта был основан на полном четырехугольнике для выражения отношения проективных гармонических сопряжений . Затем он создал средство выражения знакомых числовых свойств с помощью своей «Алгебры бросков» . Англоязычные версии этого процесса определения свойств поля можно найти либо в книге Освальда Веблена и Джона Янга «Проективная геометрия» (1938), либо, совсем недавно, в книге Джона Стиллвелла « Четыре столпа геометрии» (2005). Стиллвелл пишет на странице 120:

... проективная геометрия в определенном смысле проще алгебры, потому что мы используем только пять геометрических аксиом для вывода девяти аксиом поля.

Алгебра бросков обычно рассматривается как особенность перекрестных отношений, поскольку учащиеся обычно полагаются на числа , не беспокоясь об их основе. Однако в расчетах перекрестных отношений используются метрические особенности геометрии, особенности, не допускаемые пуристами. Например, в 1961 году Коксетер написал «Введение в геометрию» без упоминания о перекрестном отношении.

Булева алгебра и логика

Попытки формального рассмотрения математики начались с Лейбница и Ламберта (1728–1777) и продолжились работами алгебраистов, таких как Джордж Пикок (1791–1858). Систематическая математическая обработка логики пришла с британским математиком Джорджем Булем (1847), который разработал алгебру, которая вскоре превратилась в то, что сейчас называется булевой алгеброй , в которой единственными числами были 0 и 1, а также логические комбинации (конъюнкция, дизъюнкция, импликация и отрицание). ) — операции, аналогичные сложению и умножению целых чисел. Кроме того, Де Морган опубликовал свои законы в 1847 году. Таким образом, логика стала разделом математики. Булева алгебра является отправной точкой математической логики и имеет важные приложения в информатике .

Чарльз Сандерс Пирс опирался на работу Буля по разработке логической системы отношений и кванторов , которую он опубликовал в нескольких статьях с 1870 по 1885 год.

Немецкий математик Готтлоб Фреге (1848–1925) представил независимое развитие логики с помощью кванторов в своей книге Begriffsschrift (язык формул), опубликованной в 1879 году, работе, которую обычно считают поворотным моментом в истории логики. » Аристотеля Он выявил недостатки « Логики и указал на три ожидаемых свойства математической теории.

1. Последовательность : невозможность доказать противоречивые утверждения.
2. Полнота : любое утверждение либо доказуемо, либо опровержимо (т.е. его отрицание доказуемо).
3. Разрешимость : существует процедура принятия решения для проверки любого утверждения теории.

Затем он показал в Grundgesetze der Arithmetik («Основные законы арифметики»), как арифметика может быть формализована в его новой логике.

Работы Фреге были популяризированы Бертраном Расселом на рубеже веков. Но двумерная система обозначений Фреге успеха не имела. Популярными обозначениями были (x) для универсальных и (∃x) для кванторов существования, пришедшие от Джузеппе Пеано и Уильяма Эрнеста Джонсона до тех пор, пока символ ∀ не был введен Герхардом Генценом в 1935 году и не стал каноническим в 1960-х годах.

С 1890 по 1905 год Эрнст Шредер опубликовал «Vorlesungen über die Algebra der Logik» в трех томах. Эта работа обобщила и расширила работы Буля, Де Моргана и Пирса и представляла собой всеобъемлющую ссылку на символическую логику , как ее понимали в конце XIX века.

Арифметика Пеано

Основная статья: Аксиомы Пеано

Формализация арифметики (теории натуральных чисел ) как аксиоматической теории началась с Пирса в 1881 году и продолжилась Ричардом Дедекиндом и Джузеппе Пеано в 1888 году. Это все еще была аксиоматизация второго порядка (выражающая индукцию через произвольные подмножества, т. е. с неявное использование теории множеств ), поскольку проблемы выражения теорий в логике первого порядка еще не были поняты. В работе Дедекинда этот подход выглядит как полностью характеризующий натуральные числа и обеспечивающий рекурсивные определения сложения и умножения на основе функции-преемника и математической индукции .

Фундаментальный

Фундаментальный кризис математики возникла в конце 19-го и начале 20-го веков с открытием нескольких парадоксов или противоречивых результатов.

Первым было доказательство того, что постулат о параллельности не может быть доказан. Это является результатом построения неевклидовой геометрии внутри евклидовой геометрии , несогласованность которой подразумевала бы несогласованность евклидовой геометрии. Хорошо известным парадоксом является парадокс Рассела , который показывает, что фраза «множество всех множеств, которые не содержат самих себя» противоречит самому себе. Другими философскими проблемами были доказательство существования математических объектов , которые невозможно вычислить или явно описать, а также доказательство существования арифметических теорем , которые невозможно доказать с помощью арифметики Пеано .

Несколько школ философии математики столкнулись с этими проблемами в 20 веке, и они описаны ниже.

Эти проблемы также изучались математиками, и это привело к созданию математической логики как новой области математики, состоящей из предоставления математических определений логике (наборов правил вывода ), математических и логических теорий, теорем и доказательств, а также использования математических определений. методы доказательства теорем об этих понятиях.

Это привело к неожиданным результатам, таким как теоремы Гёделя о неполноте , которые, грубо говоря, утверждают, что, если теория содержит стандартную арифметику, ее нельзя использовать для доказательства того, что она не противоречит себе ; и, если это не противоречит самому себе, существуют теоремы, которые невозможно доказать внутри теории, но, тем не менее, они верны в некотором техническом смысле.

Теория множеств Цермело-Френкеля с аксиомой выбора (ZFC) — логическая теория, созданная Эрнстом Цермело и Абрахамом Френкелем . Он стал стандартной основой современной математики, и, если явно не указано иное, он используется во всех современных математических текстах, как правило, неявно.

Одновременно аксиоматический метод стал стандартом де-факто: доказательство теоремы должно быть результатом явных аксиом и ранее доказанных теорем путем применения четко определенных правил вывода. Аксиомы не обязательно должны соответствовать какой-то реальности. Тем не менее, это открытая философская проблема, объясняющая, почему системы аксиом, которые приводят к богатым и полезным теориям, возникают в результате абстракции от физической реальности или другой математической теории.

Таким образом, фундаментальный кризис по существу разрешен, и это открывает новые философские проблемы. В частности, невозможно доказать, что новый фонд (ZFC) не противоречит самому себе. По общему мнению, если это произойдет, проблему можно будет решить путем легкой модификации ZFC.

Философские взгляды

Основная статья: Философия математики

Когда возник фундаментальный кризис, среди математиков и логиков было много споров о том, что следует сделать для восстановления доверия к математике. Это включало философские вопросы о математической истине , взаимосвязи математики с реальностью , реальности математических объектов и природе математики.

В проблеме оснований существовало два основных варианта, позволяющих избежать парадоксов. Первый привел к интуиционизму и конструктивизму и заключался в ограничении логических правил, чтобы оставаться ближе к интуиции, тогда как второй, получивший название формализм , считает, что теорема верна, если ее можно вывести из аксиом путем применения правил вывода ( формальное доказательство ), и что для справедливости теоремы не требуется никакой «истинности» аксиом.

Формализм

Основная статья: Формализм (математика)

Это было заявлено что формалисты, такие как Дэвид Гильберт (1862–1943), считают, что математика — это всего лишь язык и серия игр. Напротив, Гильберт утверждал, что формализм, названный им «игрой с формулами», является фундаментальной частью математики, но математику нельзя сводить к формализму. Действительно, он использовал слова «игра по формулам» в своем ответе 1927 года на Л. Дж. Брауэра критику :

И в какой степени стала успешной формульная игра? Эта формульная игра дает возможность единообразно выразить все мыслительное содержание математической науки и развить ее так, чтобы в то же время стали ясны взаимосвязи между отдельными положениями и фактами... Формула Игра, которую так осуждает Брауэр, имеет, помимо своей математической ценности, важное общефилософское значение. Ибо по этой формуле игра осуществляется по некоторым определенным правилам, в которых техника нашего мышления выражается . Эти правила образуют закрытую систему, которую можно обнаружить и окончательно сформулировать.

Таким образом, Гильберт настаивает на том, что математика — это не произвольная игра с произвольными правилами; скорее, оно должно согласовываться с тем, как протекает наше мышление, а затем и наша речь и письмо.

Мы не говорим здесь о произволе ни в каком смысле. Математика не похожа на игру, задачи которой определяются произвольно установленными правилами. Скорее, это концептуальная система, обладающая внутренней необходимостью, которая может быть только так и ни в коем случае не иначе.

Основополагающая философия формализма, примером которой является Дэвид Гильберт , является ответом на парадоксы теории множеств и основана на формальной логике . Практически все математические теоремы сегодня можно сформулировать как теоремы теории множеств. С этой точки зрения истинность математического утверждения определяется тем фактом, что это утверждение можно вывести из аксиом теории множеств с использованием правил формальной логики.

Простое использование формализма не объясняет несколько вопросов: почему мы должны использовать те аксиомы, которые мы используем, а не некоторые другие, почему мы должны использовать те логические правила, которые мы используем, а не некоторые другие, почему «истинные» математические утверждения (например, законы арифметики ) кажутся истинными и так далее. Герман Вейль задал Гильберту именно такие вопросы:

Какая «истина» или объективность может быть приписана этой теоретической конструкции мира, которая выходит далеко за пределы данности, является глубокой философской проблемой. Он тесно связан с дальнейшим вопросом: что побуждает нас взять за основу именно ту систему аксиом, которую разработал Гильберт? Согласованность действительно является необходимым, но не достаточным условием. На этот вопрос мы, наверное, пока ответить не можем...

В некоторых случаях на эти вопросы можно получить исчерпывающие ответы посредством изучения формальных теорий в таких дисциплинах, как обратная математика и теория сложности вычислений . Как заметил Вейль, формальные логические системы также подвержены риску противоречивости ; в арифметике Пеано это, возможно, уже было решено с помощью нескольких доказательств непротиворечивости , но ведутся споры о том, являются ли они достаточно финитными, чтобы иметь смысл. Вторая теорема Гёделя о неполноте устанавливает, что логические системы арифметики никогда не могут содержать достоверного доказательства своей собственной непротиворечивости . Гильберт хотел доказать логической системы S непротиворечивость , основанной на принципах P которые составляли лишь небольшую часть S. , Но Гёдель доказал, что принципы P не могут доказать даже P непротиворечивость не говоря уже о S. ,

Интуиционизм

Основные статьи: Интуиционизм и конструктивизм (математика)

Интуиционисты, такие как Л. Дж. Брауэр (1882–1966), считают, что математика является творением человеческого разума. Числа, как и сказочные персонажи, — всего лишь мысленные сущности, которых не было бы, если бы о них не думал человеческий разум.

Основополагающая философия интуиционизма или конструктивизма , в крайних проявлениях Брауэра и Стивена Клини , требует, чтобы доказательства были «конструктивными» по своей природе – существование объекта должно быть продемонстрировано, а не выведено из демонстрации невозможности его не-существования. существование. Например, вследствие этого подозрительной является форма доказательства, известная как доведение до абсурда .

Некоторые современные теории философии математики отрицают существование оснований в первоначальном смысле. Некоторые теории, как правило, сосредотачиваются на математической практике и стремятся описать и проанализировать реальную работу математиков как социальной группы . Другие пытаются создать когнитивную науку о математике , сосредоточив внимание на человеческом познании как источнике надежности математики применительно к реальному миру. Эти теории предлагали найти основу только в человеческом мышлении, а не в какой-либо объективной внешней конструкции. Вопрос остается спорным.

Логизм

Основная статья: Логицизм

Логицизм — это школа мысли и исследовательская программа в философии математики, основанная на тезисе о том, что математика является расширением логики или что некоторая или вся математика может быть выведена в подходящей формальной системе, аксиомы и правила вывода которой логичный» по своей природе. Бертран Рассел и Альфред Норт Уайтхед отстаивали эту теорию, инициированную Готтлобом Фреге и под влиянием Ричарда Дедекинда .

Теоретико

Основная статья: Теоретико-множественный платонизм

Многие исследователи аксиоматической теории множеств присоединились к так называемому теоретико-множественному платонизму , примером которого является Курт Гёдель .

Несколько теоретиков множеств следовали этому подходу и активно искали аксиомы, которые можно было бы считать истинными по эвристическим причинам и которые могли бы решить гипотезу континуума . Было изучено множество больших кардинальных аксиом, но гипотеза всегда оставалась независимой от них, и сейчас считается маловероятным, что CH можно разрешить с помощью новой большой кардинальной аксиомы. Рассматривались и другие типы аксиом, но ни одна из них пока не достигла консенсуса по гипотезе континуума. Недавняя работа Хэмкинса предлагает более гибкую альтернативу: теоретико- множественную мультивселенную , позволяющую свободный переход между теоретико-множественными вселенными, удовлетворяющими гипотезе континуума, и другими вселенными, которые этого не делают.

незаменимости

Основная статья: Аргумент незаменимости Куайна-Патнэма

Этот аргумент Уилларда Куайна и Хилари Патнэма гласит (короткими словами Патнэма):

... количественная оценка математических объектов необходима для науки ... поэтому мы должны принять такую ​​количественную оценку; но это обязывает нас признать существование рассматриваемых математических объектов.

Однако Патнэм не был платоником.

Грубый реализм

Лишь немногие математики обычно в повседневной работе озабочены логицизмом, формализмом или любой другой философской позицией. Вместо этого их главная забота состоит в том, чтобы математическое предприятие в целом всегда оставалось продуктивным. Обычно они считают, что этого можно добиться, если оставаться непредубежденным, практичным и занятым; как потенциально угрожает стать чрезмерно идеологизированным, фанатично редукционистским или ленивым.

Подобную точку зрения высказывали и некоторые известные физики.

Например, лауреат Нобелевской премии по физике Ричард Фейнман сказал:

Люди говорят мне: «Вы ищете окончательные законы физики?» Нет, я не... Если окажется, что существует простой окончательный закон, объясняющий все, пусть будет так – было бы очень приятно его обнаружить. Если получится, что это как луковица с миллионами слоев... значит, так оно и есть. Но в любом случае есть Природа, и она выйдет такой, какая Она есть. Поэтому, когда мы приступаем к исследованию, нам не следует заранее решать, что именно мы ищем, только для того, чтобы узнать об этом больше.

И Стивен Вайнберг :

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

Вайнберг считал, что любая неразрешимость в математике, такая как гипотеза континуума, потенциально может быть решена, несмотря на теорему о неполноте, путем нахождения подходящих дополнительных аксиом для добавления к теории множеств.

Гёделя

Основная статья: теорема Гёделя о полноте

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

Это можно рассматривать как своего рода оправдание платонистской точки зрения о том, что объекты наших математических теорий реальны. Точнее, он показывает, что простого предположения о существовании множества натуральных чисел как совокупности (действительной бесконечности) достаточно, чтобы подразумевать существование модели (мира объектов) любой непротиворечивой теории. Однако остается ряд трудностей:

• Для любой непротиворечивой теории это обычно дает не один мир объектов, а бесконечность возможных миров, которые теория могла бы одинаково описать, с возможным разнообразием истин между ними.
• В случае теории множеств ни одна из моделей, полученных с помощью этой конструкции, не похожа на предполагаемую модель, поскольку они счетны, тогда как теория множеств предназначена для описания несчетных бесконечностей. Подобные замечания можно сделать и во многих других случаях. Например, в теориях, включающих арифметику, такие конструкции обычно дают модели, включающие нестандартные числа, если только метод построения не был специально разработан, чтобы избежать их.
• Поскольку он дает модели всем непротиворечивым теориям без различия, он не дает оснований принимать или отвергать какую-либо аксиому, пока теория остается непротиворечивой, но рассматривает все непротиворечивые аксиоматические теории как относящиеся к одинаково существующим мирам. Он не дает никаких указаний на то, какой аксиоматической системе следует отдать предпочтение в качестве основы математики.
• Поскольку утверждения о непротиворечивости обычно недоказуемы, они остаются вопросом убеждений или нестрогих обоснований. Следовательно, существование моделей, как это предусмотрено теоремой о полноте, фактически требует двух философских предположений: фактической бесконечности натуральных чисел и непротиворечивости теории.

Другим следствием теоремы о полноте является то, что она оправдывает концепцию бесконечно малых как реальных бесконечно малых ненулевых величин, основанную на существовании нестандартных моделей, столь же законных, как и стандартные. Эта идея была формализована Абрахамом Робинсоном в теории нестандартного анализа .

Еще парадоксы

См. Также: Список утверждений, независимых от ZFC, и Список парадоксов.

Ниже перечислены некоторые примечательные результаты в метаматематике. Теория множеств Цермело–Френкеля является наиболее широко изученной аксиоматизацией теории множеств. Сокращенно ZFC, если включает аксиому выбора, и ZF, если аксиома выбора исключена.

• 1920: Торальф Скулем исправил доказательство Леопольда Левенхайма того, что сейчас называется нисходящей теоремой Левенхайма-Скулема , что привело к парадоксу Скулема, обсуждавшемуся в 1922 году, а именно к существованию счетных моделей ZF, что делает бесконечную мощность относительным свойством.
• 1922: Доказательство Абрахама Френкеля о том, что аксиому выбора нельзя доказать на основе аксиом теории множеств Цермело с ур-элементами .
• 1931: Публикация теорем Гёделя о неполноте , показывающая, что основные аспекты программы Гильберта не могут быть достигнуты. Он показал, как построить для любой достаточно мощной и непротиворечивой рекурсивно аксиоматизируемой системы – например, необходимой для аксиоматизации элементарной теории арифметики на (бесконечном) множестве натуральных чисел – утверждение, которое формально выражает свою собственную недоказуемость, что он затем доказал эквивалентным. к требованию непротиворечивости теории; так что (при условии, что непротиворечивость истинна) система недостаточно мощна для доказательства своей собственной непротиворечивости, не говоря уже о том, что более простая система могла бы выполнить эту работу. Таким образом, стало ясно, что понятие математической истины не может быть полностью определено и сведено к чисто формальной системе , как это предусматривалось в программе Гильберта. Это нанесло последний удар по самому сердцу программы Гильберта, надежде на то, что непротиворечивость может быть установлена ​​финитистскими средствами (никогда не было ясно, какие именно аксиомы являются «финитистскими», но о какой бы аксиоматической системе ни шла речь, это была «более слабая» система, чем та, непротиворечивость которой она должна была доказать).
• 1936: Альфред Тарский доказал свою теорему о неопределимости истины .
• 1936: Алан Тьюринг доказал, что общего алгоритма решения проблемы остановки для всех возможных пар программа-вход не может существовать.
• 1938: Гёдель доказал непротиворечивость аксиомы выбора и гипотезы обобщенного континуума .
• 1936–1937: Алонсо Черч и Алан Тьюринг соответственно опубликовали независимые статьи, показывающие, что общее решение проблемы Entscheidungsproblem невозможно : универсальная достоверность утверждений в логике первого порядка неразрешима (она лишь полуразрешима, как это определено теорема о полноте ).
• 1955: Петр Новиков показал, что существует конечно представимая группа G такая, что проблема слов для G неразрешима.
• 1963: Пол Коэн показал, что гипотеза континуума недоказуема с помощью ZFC . Доказательство Коэна развило метод принуждения , который сейчас является важным инструментом для установления результатов независимости в теории множеств.
• 1964: Вдохновленный фундаментальной случайностью в физике, Грегори Чайтин начинает публиковать результаты по алгоритмической теории информации (измерение неполноты и случайности в математике).
• 1966: Пол Коэн показал, что аксиома выбора недоказуема в ZF даже без urelements .
• 1970: десятая проблема Гильберта Доказано, что неразрешима: не существует рекурсивного решения, позволяющего определить, имеет ли диофантово уравнение (полиномиальное уравнение со многими переменными) решение в целых числах.
• 1971: проблема Суслина независима от ZFC. Доказано, что

На пути к разрешению кризиса

Начиная с 1935 года группа французских математиков Бурбаки начала публиковать серию книг, призванных формализовать многие области математики на новом фундаменте теории множеств.

Интуиционистская школа не привлекала многих приверженцев, и только после конструктивная работы Бишопа в 1967 году математика стала на более прочную основу.

Можно считать, что программа Гильберта частично завершена , так что кризис по существу разрешен, удовлетворившись более низкими требованиями, чем первоначальные амбиции Гильберта. Его амбиции были выражены в то время, когда ничего не было ясно: не было ясно, может ли математика вообще иметь строгую основу.

Существует много возможных вариантов теории множеств, которые различаются по силе непротиворечивости, где более сильные версии (постулирующие высшие типы бесконечностей) содержат формальные доказательства непротиворечивости более слабых версий, но ни одна из них не содержит формального доказательства своей собственной непротиворечивости. Таким образом, единственное, чего у нас нет, — это формального доказательства непротиворечивости любой версии теории множеств, которую мы предпочитаем, например ZF.

На практике большинство математиков либо не работают с аксиоматическими системами, либо, если и работают, не сомневаются в непротиворечивости ZFC , обычно предпочитаемой ими аксиоматической системы. В большинстве случаев математики, как она практикуется, неполнота и парадоксы лежащих в основе формальных теорий никогда не играли роли, а в тех областях, в которых они играют или попытки формализации которых сопряжены с риском формирования противоречивых теорий (таких как логика и категориальная теория), теории), к ним можно относиться осторожно.

Развитие теории категорий в середине 20-го века показало полезность теорий множеств, гарантирующих существование более крупных классов, чем ZFC, таких как теория множеств Фон Неймана-Бернейса-Гёделя или теория множеств Тарского-Гротендика , хотя в очень многих В таких случаях использование больших кардинальных аксиом или вселенных Гротендика формально исключено.

Одна из целей программы обратной математики — определить, существуют ли области «основной математики», в которых фундаментальные проблемы могут снова спровоцировать кризис.

См. также

• Аристотелевская реалистическая философия математики
• Математическая логика
• Споры Брауэра и Гильберта
• Тезис Чёрча – Тьюринга
• Споры по поводу теории Кантора
• Эпистемология
• Элементы Евклида
• Проблемы Гильберта
• Реализация математики в теории множеств
• Парадокс лжеца
• Новые фонды
• Философия математики
• Математические принципы
• Квазиэмпиризм в математике
• Математическая мысль Чарльза Пирса

Ссылки

• Авигад, Джереми (2003) Теория чисел и элементарная арифметика , Philosophia Mathematica Vol. 11, с. 257–284
• Ивс, Ховард (1990), «Основы и фундаментальные концепции математики, третье издание» , Dover Publications, INC, Минеола, штат Нью-Йорк, ISBN   0-486-69609-X (pbk.) см. §9.5 Философия математики, стр. 266–271. Ивс перечисляет все три с краткими описаниями, предваряемыми кратким вступлением.
• Гудман, Н.Д. (1979), « Математика как объективная наука », в Тимочко (редактор, 1986).
• Харт, У. Д. (редактор, 1996), «Философия математики» , Oxford University Press, Оксфорд, Великобритания.
• Херш, Р. (1979), «Некоторые предложения по возрождению философии математики», в (Тимочко 1986).
• Гильберт, Д. (1922), «Возрождение математики. Первое сообщение», Документы Гамбургского математического семинара 1, 157–177. Переведено: «Новые основы математики. Первый отчет» (Mancosu 1998).
• Кац, Роберт (1964), Аксиоматический анализ , DC Heath and Company.
• Клини, Стивен К. (1991) [1952]. Введение в метаматематику (Десятое впечатление, 1991 г.). Амстердам, штат Нью-Йорк: Паб Северной Голландии. компании ISBN  0-7204-2103-9 .

В главе III «Критика математического рассуждения», §11. Парадоксы , Клини обсуждает интуиционизм и формализм подробно . На протяжении оставшейся части книги он рассматривает и сравнивает как формалистическую (классическую), так и интуиционистскую логику, уделяя особое внимание первой. Выдающееся сочинение выдающегося математика.

• Манкосу, П. (ред., 1998), От Гильберта до Брауэра. Дебаты об основах математики в 1920-х годах , Oxford University Press, Оксфорд, Великобритания.
• Патнэм, Хилари (1967), «Математика без оснований», Журнал философии 64/1, 5–22. Перепечатано, стр. 168–184 в WD Hart (изд., 1996).
• - «Что такое математическая истина?», Тимочко (ред., 1986).
• Судак, Оливье (апрель 2001 г.). «Теорема о простых числах PRA-доказуема». Теоретическая информатика . 257 (1–2): 185–239. дои : 10.1016/S0304-3975(00)00116-X .
• Трульстра, А.С. (дата отсутствует, но позднее 1990 г.), «История конструктивизма в XX веке» , Подробный обзор для специалистов: §1 Введение, §2 Финитизм и §2.2 Актуализм, §3 Предикативизм и полуинтуиционизм, § 4 Брауэровский интуиционизм, §5 Интуиционистская логика и арифметика, §6 Интуиционистский анализ и более сильные теории, §7 Конструктивная рекурсивная математика, §8 Конструктивизм Бишопа, §9 Заключительные замечания. Около 80 ссылок.
• Тимочко, Т. (1986), «Вызов фундаментам», в Тимочко (редактор, 1986).
• - (редактор, 1986 г.), Новые направления в философии математики , 1986 г. Пересмотренное издание, 1998 г.
• ван Дален Д. (2008), «Брауэр, Луицен Эгбертус Ян (1881–1966)», в Биографическом словаре Нидерландов. URL: http://www.inghist.nl/Onderzoek/Projecten/BWN/lemmata/bwn2/brouwerle [13 марта 2008 г.]
• Вейль, Х. (1921), «О новом фундаментальном кризисе математики», Mathematical Journal 10, 39–79. Переведено «О новом фундаментальном кризисе математики» (Mancosu 1998).
• Уайлдер, Раймонд Л. (1952), Введение в основы математики , Джон Уайли и сыновья, Нью-Йорк, штат Нью-Йорк.

Внешние ссылки

• СМИ, связанные с основами математики, на Викискладе?
• «Философия математики» . Интернет-энциклопедия философии .
• Логика и математика
• Основы математики: прошлое, настоящее и будущее , 31 мая 2000 г., 8 страниц.
• Век споров об основаниях математики Григория Хайтина.