Извините, что никак не мог собраться написать, тем более что я просил что-нибудь написать про теорию моделей.

Правда, никакого содержательного комментария я пока написать не могу. Для меня ваш переход от свободы воли к геометриям Зарисского оказался слишком быстрым; пожалуй, я не уследил за вашим ходом мысли - и наконец в этом признаюсь. С другой стороны, это напомнило мне школьный кружок по математической логике и философии математики. Это был замечательный кружок; потом у меня не было возможности серьезно обсуждать такие вопросы.

Ближайшие пара недель у меня будут совсем неподходяшими для серьезных размышлений, но потом я надеюсь вернуться к вашим постам.

(Reply to this) (Thread)

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

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

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

(Reply to this) (Parent)

Вот, написал пост про структуры Зарисского, где обьяснил их определение и, немножко, почему они естественны/интересны/что значат с точки зрения т. моделей...Посмотрите пожалуйства, когда будет время....извините за задержку.

http://www.livejournal.com/users/bbixob/10307.html

(Reply to this) (Parent)