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

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

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

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

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

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

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

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

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

Понятия «игра» и «игровая деятельность»
Игра – особо организованное занятие, требующее напряжения эмоциональных и умственных сил. Игра всегда предполагает принятия решения – как поступить, что сказать, как выиграть? Желание решить эти вопросы обостряет мыслительную деятельность играющих. Но что касается детей, игра для них, прежде всего, ...