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

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

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

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

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

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

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

Методика использования межпредметных связей на уроках литературного чтения с целью развития связной речи
В формирующем эксперименте приняли участие 22 ученика 4 «а» класса. Для проведения формирующего этапа эксперимента была разработана программа. Были проведены следующие интегрированные уроки: Интегрированный урок по чтению и музыке на тему: "Жизнь дана на добрые дела" Интегрированный урок ...

Модель четырёхлетнего начального образования в РФ
Непрерывное образование понимается как связь, согласованность и перспективность всех компонентов системы на каждой ступени образования для обеспечения преемственности в развитии ребёнка. Внедрённая в настоящее время концепция четырёхлетнего начального образования, являющаяся обобщением многолетних ...

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