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

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

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

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

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

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

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

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

Исторические вопросы методики преподавания математики в России
Математическое образование в России находилось в 9—13 веках на уровне наиболее культурных стран Восточной и Западной Европы. Затем оно было надолго задержано монгольским нашествием. В 15—16 веках в связи с укреплением Русского государства и экономическим ростом страны значительно выросли потребност ...

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