Спасибо за ответ! Буду очень рад дискуссии с Вами, когда Вам будет удобно. А пока я постараюсь за эти две недели написать что-нибудь про переход к геометриям Зарисского. (и сказать что-либо осмысленное о там, каких приложения мы ожидаем..)

С другой стороны, это напомнило мне школьный кружок по математической логике и философии математики.

у каждой области математики своя философия, свое видение мамематики; и так получаестся, что Философию логики удобно начинать обснять в филосовских терминах (на которых, естественно, далеко не уедешь, но начинать удобно именно с них.) Так что философия здесь постольку поскольку....

(Reply to this) (Parent)