Anatoly Levenchuk (ailev) wrote,
Anatoly Levenchuk
ailev
Category:

Унивалентные основания математики

Вот страничка материалов про унивалентные основания математики Владимира Воеводского: http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html -- язык Coq, классы не как sets, а как homotopy types, теория категорий. Далее -- Eventually it became clear to me that the univalent semantics is just a first step and that I am really working on new foundations of mathematics.

Меня чем дальше, тем больше интересуют подходы к классам, в которых они не являются множествами. Связанный с этим парадокс -- что простые смертные классами-не-множествами как раз и думают (http://ailev.livejournal.com/1007293.html), но предлагаемые математикой и компьютерной наукой формализмы этих "не-множеств" простым смертным недоступны.
Subscribe to Telegram channel ailev
Subscribe

  • lytdybr

    Сижу в казанском Корстоне на восемнадцатом этаже, завтра буду тут же на Дне инженера рассказывать про свежие инженерные тренды (…

  • lytdybr

    Системное мышление переписано на 10%, но я ещё не добавлял работы по моделированию. Какие изменения я там делаю? Да много разных, например…

  • lytdybr

    25 октября 2021 в 18:00 я проведу онлайн-семинар «Что такое интеллект-стек или как усилить интеллект?», https://system-school.ru/istack-web, слайды…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    switch
    default userpic

    Your reply will be screened

    Help
  • 49 comments

  • lytdybr

    Сижу в казанском Корстоне на восемнадцатом этаже, завтра буду тут же на Дне инженера рассказывать про свежие инженерные тренды (…

  • lytdybr

    Системное мышление переписано на 10%, но я ещё не добавлял работы по моделированию. Какие изменения я там делаю? Да много разных, например…

  • lytdybr

    25 октября 2021 в 18:00 я проведу онлайн-семинар «Что такое интеллект-стек или как усилить интеллект?», https://system-school.ru/istack-web, слайды…