|
|
| Некто написал, |
Привет, Миша.
Ты что-нибудь знаешь о "Univalent Foundations of Mathematics"?
http://www.math.ias.edu/~vladimir/S
Воеводский строит основания математики с помощью гомотопий и "dependent type systems".
Этим стоит интересоваться вообще? Или поиграются и заглохнет всё?
Странно вообще, что Воеводский ввязался в гадюшник "специалистов по аксиоматике Пеано".
Ты что-нибудь знаешь о "Univalent Foundations of Mathematics"?
http://www.math.ias.edu/~vladimir/S
Воеводский строит основания математики с помощью гомотопий и "dependent type systems".
Этим стоит интересоваться вообще? Или поиграются и заглохнет всё?
Странно вообще, что Воеводский ввязался в гадюшник "специалистов по аксиоматике Пеано".
Добавить комментарий:
