О ДВУХ НЕВЕРНЫХ ДОГМАХ, СВЯЗАННЫХ СО ВТОРОЙ ТЕОРЕМОЙ ГЁДЕЛЯ О НЕПОЛНОТЕ АРИФМЕТИКИ. II

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

Авторы

Бессонов А.В.

Тэги

программа Гильберта вторая теорема Гёделя о неполноте формализация доказуемости неадекватность предиката доказуемости предикат недоказуемости.

Тематические рубрики

Философия. Психология

Предметные рубрики

В этом же номере:

МЕХАНИЗМЫ ТРАНСФОРМАЦИИ ЭПИСТЕМОЛОГИЧЕСКИХ СТАНДАРТОВ, ТЕОРЕТИКО-МОДЕЛЬНАЯ РОЛЬ НЕЛОГИЧЕСКИХ КОНСТАНТ В ФОРМАЛЬНЫХ СИСТЕМАХ, ...

Резюме по документу**

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

** - вычисляется автоматически, возможны погрешности

Похожие документы:

Похожие документы из РУАЭСТ
|
Похожие документы из Руконт

О ДВУХ НЕВЕРНЫХ ДОГМАХ, СВЯЗАННЫХ СО ВТОРОЙ ТЕОРЕМОЙ ГЁДЕЛЯ О НЕПОЛНОТЕ АРИФМЕТИКИ. II

Помощь:

Участники: