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

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

Адрес Издательства СО РАН: Россия, 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] => 44.222.169.53
    [SESS_TIME] => 1711716330
    [BX_SESSION_SIGN] => 9b3eeb12a31176bf2731c6c072271eb6
    [fixed_session_id] => e06d2b774da675a9faad0b7c189283b0
    [UNIQUE_KEY] => 83f419c52d36950a38279d925f644956
    [BX_LOGIN_NEED_CAPTCHA_LOGIN] => Array
        (
            [LOGIN] => 
            [POLICY_ATTEMPTS] => 0
        )

)

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

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

2018 год, номер 2

КОМБИНАТОРНЫЙ АНАЛОГ ФОРМАЛЬНЫХ СИСТЕМ СО ВСТРОЕННОЙ НЕПРОТИВОРЕЧИВОСТЬЮ

В.В. Целищев1,2, А.О. Костяков1,2
1Новосибирский национальный исследовательский государственный университет, 630090, Новосибирск, ул. Пирогова, 2
leitval@gmail.com
2Институт философии и права СО РАН, 630090, Новосибирск, ул. Николаева, 8
Ключевые слова: комбинаторика, непротиворечивость, дистрибутивная нормальная форма, конституента, разрешимость, вторая теорема Геделя о неполноте, combinatorics, consistency, distributive normal form, constituent, solvability, GГ¶del’s Second Incompleteness Theorem
Страницы: 30-42
Подраздел: Проблемы логики и методологии науки

Аннотация

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

DOI: 10.15372/PS20180203