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

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

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

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

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

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

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

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

Изучение мотивации учения младших школьников в 1классе
Вопросы анкеты составлены таким образом, чтобы выявить наличие трех видов мотивов учения: внутренних, внешних положительных и внешних отрицательных. На выявление внутренних мотивов направлены вопросы №№ 3, 4, 8. На выявление внешних положительных мотивов направлены вопросы №№ 1, 5, 9. На выявление ...

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