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

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

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

)

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

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

2017 год, номер 1

ОСНОВАНИЯ МАТЕМАТИКИ: ТЕОРИЯ МНОЖЕСТВ VS. ТЕОРИИ ТИПОВ

Л.Д. Ламберов
Уральский федеральный университет, 620000, Россия, г. Екатеринбург, пр. Ленина, д. 51, ком. 332
lev.lamberov@urfu.ru
Ключевые слова: теория множеств, теория типов, гомотопии, основания математики, set theory, type theory, homotopies, foundations of mathematics
Страницы: 41-60
Подраздел: Проблемы логики и методологии науки

Аннотация

В статье рассматривается краткая история развития теории множеств как оснований математики и краткая история становления теории типов. Приводится подробное сравнение теории множеств и теории типов, демонстрируются проблемы теории множества, а также преимущества теории типов как оснований математики. Кроме того, в статье обсуждаются прагматический аспект теории типов как оснований математики и кратко рассматривается современный вариант теории типов, а именно гомотопическая теория типов.

DOI: 10.15372/PS20170104