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

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

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

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

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

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

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

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

Переход в следующий класс и выдача сертификатов в Германии
В начальной школе все ученики автоматически переходят с 1 во 2 класс. Как правило, начиная со 2 класса ученик переходит в следующий класс в соответствии с его успеваемостью, если он справляется с требованиями, он переходит в следующий класс, если нет – повторяет это ещё раз. Решение о том, переводи ...

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