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

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

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

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

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

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

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

Педагогические воззрения Демокрита
Демокрит Абдерский (460-370 гг. до н. э.) – великий древнегреческий философ, один из основателей материалистической философии и атомистики – учения о том, что материальные вещи состоят из атомов. Демокрит был ученым-энциклопедистом, занимался математикой, физикой, анатомией, медициной, историей. Он ...

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

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