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

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

Адрес Издательства СО РАН: Россия, 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.227.239.160
    [SESS_TIME] => 1711638349
    [BX_SESSION_SIGN] => 9b3eeb12a31176bf2731c6c072271eb6
    [fixed_session_id] => 41d06f81f727f6e8c9eae552952526ce
    [UNIQUE_KEY] => 767e10b7a56c6891a8daa5e2757e058d
    [BX_LOGIN_NEED_CAPTCHA_LOGIN] => Array
        (
            [LOGIN] => 
            [POLICY_ATTEMPTS] => 0
        )

)

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

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

2022 год, номер 2

ПОНИМАНИЕ МАТЕМАТИЧЕСКОГО ДОКАЗАТЕЛЬСТВА: ЛОГИКА vs. МАТЕМАТИКА

В.В. Целищев, А.В. Хлебалин
Институт философии и права СО РАН, 630090, г. Новосибирск, ул. Николаева 8
leitval@gmail.com
Ключевые слова: математическое доказательство, понимание, логика, математика, язык математики
Страницы: 63-74

Аннотация

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

DOI: 10.15372/PS20220205
Добавить в корзину
Товар добавлен в корзину