О Странниках и Проводниках Агни Йога (Живая Этика), Теософия, наследие семьи Рерихов, Е.П.Блаватской и их Учителей

Редна Ли · 29.05.2006, 14:27

Цитата:

Первая теорема Гёделя о неполноте

Цитата:

Во всякой достаточно богатой непротиворечивой теории первого порядка (в частности, во всякой непротиворечивой теории, включающей формальную арифметику), существует такая замкнутая формула F, что ни F, ни не являются выводимыми в этой теории.

Иначе говоря, в любой достаточно сложной непротиворечивой теории существует утверждение, которое средствами самой теории невозможно ни доказать, ни опровергнуть. Например, такое утверждение можно добавить к системе аксиом, оставив её непротиворечивой.

Теорема была доказана Куртом Гёделем в 1931-м году.

Вторая теорема Гёделя о неполноте

Цитата:

Во всякой достаточно богатой непротиворечивой теории первого порядка (в частности, во всякой непротиворечивой теории, включающей формальную арифметику), формула F, утверждающая непротиворечивость этой теории, не является выводимой в ней.

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

Эта теорема имеет широкие последствия как для математики, так и для философии, в частности, для онтологии и философии науки.