Особенности современного аксиоматического подхода

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

Однако исследование К. Геделя в начале 30-х гг. 20 в. привели к краху основных надежд. Гедель показал следующее:

всякая естественная непротиворечивая формализация S арифметики или любой другой математической теории, содержащей арифметику, не полна и непополнима;

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

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

Другое по теме:

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

Образование в Австрии
Начиная с 1945 Вена частично восстановила свое прежнее значение центра культуры и образования. Здесь расположен крупнейший в Австрии университет (73 тыс. студентов в 1993); имеются университеты в Граце, Инсбруке, Клагенфурте и Зальцбурге и др. Построенные по немецкому образцу, эти университеты не д ...

География – ее значение в воспитании будущего поколения
Люди живут и работают в разных природных зонах: на равнинах и в горах, среди лесов и на степных просторах, в холодной тундре и в знойной пустыне. Они возделывают землю, разводят живот­ных, добывают и перерабатывают полезные ископаемые, вы­плавляют металлы, строят города, прокладывают дороги и т. д. ...