Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2012-02-23 03:37:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
сообщение для связи
Архивы комментов "для связи", 2011 год. Комменты больше не скринятся.

Архивы:
[ 2007-2010 | 2006 ]


(Читать комментарии) - (Добавить комментарий)


(Анонимно)
2011-10-09 21:47 (ссылка)
Привет, Миша.

Ты что-нибудь знаешь о "Univalent Foundations of Mathematics"?
http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html
Воеводский строит основания математики с помощью гомотопий и "dependent type systems".

Этим стоит интересоваться вообще? Или поиграются и заглохнет всё?
Странно вообще, что Воеводский ввязался в гадюшник "специалистов по аксиоматике Пеано".

(Ответить)


(Читать комментарии) -