Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Array
(
    [SESS_AUTH] => Array
        (
            [POLICY] => Array
                (
                    [SESSION_TIMEOUT] => 24
                    [SESSION_IP_MASK] => 0.0.0.0
                    [MAX_STORE_NUM] => 10
                    [STORE_IP_MASK] => 0.0.0.0
                    [STORE_TIMEOUT] => 525600
                    [CHECKWORD_TIMEOUT] => 525600
                    [PASSWORD_LENGTH] => 6
                    [PASSWORD_UPPERCASE] => N
                    [PASSWORD_LOWERCASE] => N
                    [PASSWORD_DIGITS] => N
                    [PASSWORD_PUNCTUATION] => N
                    [LOGIN_ATTEMPTS] => 0
                    [PASSWORD_REQUIREMENTS] => Пароль должен быть не менее 6 символов длиной.
                )

        )

    [SESS_IP] => 3.236.16.13
    [SESS_TIME] => 1632255190
    [BX_SESSION_SIGN] => 9b3eeb12a31176bf2731c6c072271eb6
    [fixed_session_id] => 585b341231eefdb75dd0d7af5d24cb05
    [SALE_USER_ID] => 0
    [UNIQUE_KEY] => 82cec53a113662188c7b66d4d91ea486
    [BX_LOGIN_NEED_CAPTCHA_LOGIN] => Array
        (
            [LOGIN] => 
            [POLICY_ATTEMPTS] => 0
        )

)

Поиск по журналу

Философия науки

2016 год, номер 2

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

А.В. Бессонов1,2
1Новосибирский государственный университет, ул. Пирогова, 2, г. Новосибирск, 630090
trt@academ.org
2Институт философии и права СО РАН, ул. Николаева, 8, Новосибирск, 630090, Россия
Ключевые слова: программа Гильберта, вторая теорема Гёделя о неполноте, формализация доказуемости, неадекватность предиката доказуемости, предикат недоказуемости, Hilbert’s program, GГ¶del's second incompleteness theorem, formalization of provability, inadequacy of a provability predicate, unprovability predicate
Страницы: 42-61
Подраздел: Проблемы логики и методологии науки

Аннотация

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

DOI: 10.15372/PS20160204