Метаматематика
 | Эта статья нуждается в дополнительных ссылок для проверки . ( ноябрь 2018 г. ) |
Метаматематика — это изучение самой математики с использованием математических методов. Это исследование создает метатеории , которые являются математическими теориями о других математических теориях. Акцент на метаматематике (и, возможно, создание самого термина) обязан Дэвида Гильберта закрепить попытке основы математики в начале 20 века. Метаматематика предоставляет «строгий математический метод для исследования большого разнообразия фундаментальных проблем математики и логики » (Клин, 1952, стр. 59). Важной особенностью метаматематики является ее акцент на различении рассуждений изнутри системы и извне системы. Неформальной иллюстрацией этого является отнесение предложения «2+2=4» к категории математики, а утверждение «2+2=4» действительно» к метаматематике. [1]
История [ править ]
Метаматематические метатеоремы о самой математике первоначально отличались от обычных математических теорем в 19 веке, чтобы сосредоточиться на том, что тогда называлось фундаментальным кризисом математики . Парадокс Ричарда (Richard 1905), касающийся некоторых «определений» действительных чисел в английском языке, является примером противоречий, которые легко могут возникнуть, если не удается провести различие между математикой и метаматематикой. Нечто подобное можно сказать и относительно известного парадокса Рассела (Содержит ли множество всех тех множеств, которые не содержат самих себя?).
Метаматематика была тесно связана с математической логикой , так что ранняя история этих двух областей, в конце 19-го и начале 20-го веков, во многом пересекалась. Совсем недавно математическая логика часто включала изучение новой чистой математики, такой как теория множеств , теория категорий , теория рекурсии и чистая теория моделей , которая не имеет прямого отношения к метаматематике. [ нужна цитата ] .
Серьезные метаматематические размышления начались с работы Готлоба Фреге , особенно с его Begriffsschrift , опубликованного в 1879 году.
Дэвид Гильберт был первым, кто регулярно использовал термин «метаматематика» (см. Программу Гильберта ) в начале 20 века. В его руках это означало что-то вроде современной теории доказательств , в которой финитарные методы используются для изучения различных аксиоматизированных математических теорем (Клин 1952, стр. 55).
Среди других выдающихся фигур в этой области — Бертран Рассел , Торальф Скулем , Эмиль Пост , Алонсо Чёрч , Алан Тьюринг , Стивен Клини , Уиллард Куайн , Пол Бенасерраф , Хилари Патнэм , Грегори Чайтин , Альфред Тарский , Пол Коэн и Курт Гёдель .
Сегодня металогика и метаматематика во многом пересекаются, и обе они в значительной степени включены в состав математической логики в академических кругах.
Вехи [ править ]
Открытие гиперболической геометрии [ править ]
Открытие гиперболической геометрии имело важные философские последствия для метаматематики. До его открытия существовала только одна геометрия и математика; идея существования другой геометрии считалась маловероятной.
когда Гаусс Говорят, что открыл гиперболическую геометрию, он ничего не опубликовал о ней из страха перед «шумом беотийцев », которое разрушило бы его статус Princeps mathematicorum (лат. «Принц математиков»). [2] «Шум беотийцев» приходил и уходил, давая толчок развитию метаматематики и значительным улучшениям в математической строгости , аналитической философии и логике .
Концептуальное написание [ править ]
Begriffsschrift (по-немецки примерно «концептуальный сценарий») — это книга Готлоба Фреге по опубликованная логике , в 1879 году, и формальная система , изложенная в этой книге.
Begriffsschrift обычно переводится как написание концепций или обозначение концепций ; полное название книги определяет ее как « формул язык , созданный по образцу языка арифметики и чистого мышления ». Мотивация Фреге для разработки формального подхода к логике напоминала рационализатора мотивацию Лейбница для его исчисления (несмотря на это, в предисловии Фреге явно отрицает, что он достиг этой цели, а также то, что его главной целью было бы построение идеального языка, подобного языку Лейбница, который Фреге объявляет задачу довольно трудной и идеалистической, однако не невыполнимой). Фреге продолжал использовать свое логическое исчисление в своих исследованиях по основам математики , проводившихся в течение следующей четверти века.
Принципы математики [ править ]
Principia Mathematica, или «PM», как его часто сокращают, была попыткой описать набор аксиом и правил вывода в символической логике , на основе которых в принципе можно было доказать все математические истины. Таким образом, этот амбициозный проект имеет большое значение в истории математики и философии. [3] будучи одним из главных продуктов веры в то, что такое предприятие может быть достижимо. Однако в 1931 году теорема Гёделя о неполноте окончательно доказала, что PM, как и любая другая попытка, никогда не сможет достичь этой цели; то есть для любого набора аксиом и правил вывода, предложенных для инкапсулирования математики, на самом деле будут существовать некоторые математические истины, которые невозможно вывести из них.
Одним из главных источников вдохновения и мотивации для ПМ была более ранняя работа Готлоба Фреге по логике, которая, как обнаружил Рассел, позволяла строить парадоксальные множества . Премьер-министр стремился избежать этой проблемы, исключив неограниченное создание произвольных наборов. Это было достигнуто путем замены понятия общего множества понятием иерархии множеств разных « типов », при этом множество определенного типа могло содержать только множества строго более низких типов. Современная математика, однако, избегает парадоксов, подобных парадоксам Рассела, менее громоздкими способами, такими как система теории множеств Цермело-Френкеля .
Гёделя о Теорема неполноте
Теоремы Гёделя о неполноте — это две теоремы математической логики , которые устанавливают внутренние ограничения всех аксиоматических систем, кроме самых тривиальных , способных выполнять арифметические действия . Теоремы, доказанные Куртом Гёделем в 1931 году, важны как в математической логике, так и в философии математики . Эти два результата широко, но не универсально, интерпретируются как показывающие, что программа Гильберта по поиску полного и непротиворечивого набора аксиом для всей математики невозможна, что дает отрицательный ответ на вторую проблему Гильберта .
Первая теорема о неполноте утверждает, что никакая непротиворечивая система аксиом, теоремы которой можно перечислить с помощью « эффективной процедуры » (например, компьютерной программы, но это может быть любой алгоритм), не способна доказать все истины об отношениях естественных явлений . числа ( арифметика ). Для любой такой системы всегда будут утверждения о натуральных числах, которые верны, но недоказуемы внутри системы. Вторая теорема о неполноте, являющаяся расширением первой, показывает, что такая система не может продемонстрировать свою непротиворечивость.
-модельного Тарского теоретико Определение удовлетворения
Т-схема или схема истинности (не путать с « Конвенцией Т ») используется для индуктивного определения истины, которая лежит в основе любой реализации Альфреда Тарского семантической теории истины . Некоторые авторы называют ее «схемой эквивалентности» — синонимом, введенным Майклом Дамметом . [4]
Т-схема часто выражается на естественном языке , но ее можно формализовать в многосортной логике предикатов или модальной логике ; такая формализация называется Т-теорией . Т-теории составляют основу многих фундаментальных работ по философской логике , где они применяются в нескольких важных спорах аналитической философии .
Как выражается полуестественным языком (где «S» — это название предложения, сокращенное до S): 'S' истинно тогда и только тогда, когда S
Пример: выражение «снег белый» истинно тогда и только тогда, когда снег белый.
Неразрешимость проблемы Entscheidungsproblem [ править ]
Entscheidungsproblem Давидом ( по -немецки « проблема решения ») — это задача, поставленная Гильбертом в 1928 году. [5] требует Задача Entscheidungsproblem алгоритма , который принимает на вход утверждение логики первого порядка (возможно, с конечным числом аксиом , выходящих за рамки обычных аксиом логики первого порядка) и отвечает «Да» или «Нет» в зависимости от того, является ли утверждение является универсально действительным , т. е. действительным в любой структуре, удовлетворяющей аксиомам. Согласно теореме о полноте логики первого порядка , утверждение является универсально действительным тогда и только тогда, когда оно может быть выведено из аксиом, поэтому проблему Entscheidungsproblem можно также рассматривать как требование алгоритма решить, доказуемо ли данное утверждение на основе аксиом. используя правила логики.
В 1936 году Алонсо Чёрч и Алан Тьюринг опубликовали независимые статьи. [6] показывая, что общее решение проблемы Entscheidungsproblem невозможно, предполагая, что интуитивное обозначение « эффективно вычислимого » фиксируется функциями, вычислимыми машиной Тьюринга (или, что то же самое, теми, которые выражаются в лямбда-исчислении ). Это предположение теперь известно как тезис Чёрча-Тьюринга .
См. также [ править ]
Ссылки [ править ]
- ^ (Bubliotheca Mathematica) Стивен Коул Клини Введение в метаматематику Wolters Noordhoff Publishing (1971) .
- ^ Торретти, Роберто (1978). Философия геометрии от Римана до Пуанкаре . Дордрехт Голландия: Рейдель. п. 255.
- ^ Ирвин, Эндрю Д. (1 мая 2003 г.). «Principia Mathematica (Стэнфордская энциклопедия философии)» . Лаборатория метафизических исследований, CSLI, Стэнфордский университет . Проверено 5 августа 2009 г.
- ^ Вольфганг Кюнне (2003). Представления об истине . Кларендон Пресс. п. 18 . ISBN 978-0-19-928019-3 .
- ^ Гильберт и Аккерманн
- ↑ Статья Чёрча была представлена Американскому математическому обществу 19 апреля 1935 года и опубликована 15 апреля 1936 года. Тьюринг, добившийся значительного прогресса в описании своих собственных результатов, был разочарован, узнав о доказательстве Чёрча после его публикации (см. переписку между Максом Ньюман и Чёрч в документах Алонсо Чёрча. Архивировано 7 июня 2010 г. в Wayback Machine ). Тьюринг быстро завершил свою статью и поспешил ее опубликовать; он был получен в Трудах Лондонского математического общества 28 мая 1936 г., прочитан 12 ноября 1936 г. и опубликован в серии 2, том 42 (1936–7); он появился в двух разделах: в Части 3 (стр. 230–240), выпущенной 30 ноября 1936 г., и в Части 4 (стр. 241–265), выпущенной 23 декабря 1936 г.; Тьюринг добавил исправления в том 43 (1937), стр. 544–546. См. сноску в конце Soare:1996.
Дальнейшее чтение [ править ]
- У. Дж. Блок и Дон Пигоцци, « Работа Альфреда Тарского по общей метаматематике », Журнал символической логики , т. 53, № 1 (март 1988 г.), стр. 36–50.
- Эй Джей Хорошо. «Заметка о парадоксе Ричарда». Разум , Новая серия, Том. 75, № 299 (июль 1966 г.), с. 431. ДжСтор
- Дуглас Хофштадтер , 1980. Гёдель, Эшер, Бах . Винтажные книги. Направлено на обывателей.
- Стивен Коул Клини , 1952. Введение в метаматематику . Северная Голландия. Адресовано математикам.
- Жюль Ришар, « Принципы математики и проблема множеств» , Revue Générale des Sciences Pures et Appliquées (1905); переведено в книге Хейеноорта Дж. ван (редактор), « Справочник по математической логике 1879–1931» (Кембридж, Массачусетс, 1964).
- Альфред Норт Уайтхед и Бертран Рассел . Principia Mathematica , 3 тома, Издательство Кембриджского университета, 1910, 1912 и 1913 годы. Второе издание, 1925 (Том 1), 1927 (Том 2, 3). Сокращено от Principia Mathematica до *56 , Cambridge University Press, 1962.
Основные математики области |
|---|
| Базы данных органов управления : Национальные |
|---|
