|
|
Пишет Hæo (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} haeo) |
Ну это же другая проблема. Про полезность и реалистичность применения вот здесь сейчас этого всего можно спорить. Но ее же мучают по совершенно дебильным вещам -- реально говорят что эксперты и так все знают (хотя это и не правда).
Awodey написал:
> My own response to this problem was to look for other areas than topos theory to work in, preferably ones in which those experts were not also working.
Intensional Martin-Löf type theory seemed pretty safe, but that hasn’t exactly worked out as I expected.
I would advise you to also look for new areas where you will not have to compete with the accumulated wisdom of the last 40 years, and the people who hold it.
It’s not good for topos theory, but maybe topos theory needs a little break.
А вот Бар хороший добрый ответ написал.
Awodey написал:
> My own response to this problem was to look for other areas than topos theory to work in, preferably ones in which those experts were not also working.
Intensional Martin-Löf type theory seemed pretty safe, but that hasn’t exactly worked out as I expected.
I would advise you to also look for new areas where you will not have to compete with the accumulated wisdom of the last 40 years, and the people who hold it.
It’s not good for topos theory, but maybe topos theory needs a little break.
А вот Бар хороший добрый ответ написал.
Добавить комментарий:
