Саша, а Вы читали книжку Воеводского и ещё сорока человек про HoTT? Вообще, её кто-нибудь читает?
Читая книжку Новиков-Тайманов, обнаружил, что они почти не употребляют слово "множество". Если дают абстрактное определение (например, "многообразие"), тут же доказывают, что без него можно обойтись (многообразия - это многомерная поверхность). Получается такой "новый интуиционизм".
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2015-09-28 03:07 am (UTC)no subject
Date: 2015-09-28 03:24 am (UTC)no subject
Date: 2015-09-28 03:51 am (UTC)В Австрии нечто подобное. Вот сейчас шел. Красотоща!
no subject
Date: 2015-10-01 10:06 pm (UTC)Читая книжку Новиков-Тайманов, обнаружил, что они почти не употребляют слово "множество". Если дают абстрактное определение (например, "многообразие"), тут же доказывают, что без него можно обойтись (многообразия - это многомерная поверхность). Получается такой "новый интуиционизм".