Саша Шень и синронность

[anhinga_anhinga]

Саша Шень очень сильно повлиял на мою жизнь. Среди прочего, он научил меня хорошей версии функ-ана в "народном университете", и рассказал мне, что есть такой Dana Scott, который делает топологические модели языков программирования.

Но в ЖЖ мне не встречался. И вот сегодня сразу две ссылки во френд-ленте. Во сне. И в качестве автора "Основных принципов олимпиадного культа".

Но, надо сказать, что на его сайте

http://alexander-shen.narod.ru/

я не вижу знаменитого памфлета "Компьютерные игры с огнем"... А, вот, нашел...

ЗЫ. Читаю "Кысь". Интересно, советники кардинала Йозефа Ратцингера читали?

Кы-ы-ы-ы-ысь! Кы-ысь! "Осень. Дожди. Дремота. Бездонный омут. Бессонный гнёт."

Update: третья ссылка на Шеня в френд-ленте: Конкурс Пьера Делиня.

Comments

[birdwatcher.livejournal.com]

Кысь серьезно гениальная.

[anhinga-anhinga.livejournal.com]

Да, конечно...

[cema.livejournal.com]

Ага, а там и на Юру Бурмана ссылка. :-)

[anhinga-anhinga.livejournal.com]

да, да, я заметил :-)

[misha-b.livejournal.com]

Spasibo, pochital site Shen'ya. Ves'ma interesno. Zabavno, chto ego mnenie o nekotoruh veshah sil'no izmenilos' za poslednie 10-15 let.

[anhinga-anhinga.livejournal.com]

Надо сказать, это совсем неудивительно :-) Мое мнение о некоторых вещах сильно изменилось больше, чем один раз, за последние 10-15 лет :-)

А какие изменения ты заметил?

[misha-b.livejournal.com]

Ny Shen' vsegda svoyo mnenie tak tverdo vuskazuval:)

Naprimer, on perestal schitat', chto programmirovanie na Basic'e vredno dlya zdorov'ya. Ya pomny, kak on nam v shkole promuval mozgi o tom, kak ot Basic'a
pamyat' propadaet i t.d.

Mne kajetsya on stal menee bezapellyatsionnum (i vozmojno bolee vdymchivum), chem ran'she.

[anhinga-anhinga.livejournal.com]

> on perestal schitat', chto programmirovanie na Basic'e vredno dlya zdorov'ya

Ой :-) Действительно, перестал?

А у нас тут все вокруг считают, что вредно :-)

[misha-b.livejournal.com]

On govorit, chto ponyal, chto dlya intellektyal'nogo razvitiya detej vajno ponimanie programmirovaniya, daje esli yazuk Basic.

teper': Basic > nothing
ran'she: Basic < nothing

:)

[anhinga-anhinga.livejournal.com]

Действительно, довольно радикальное изменение...

[lzh]

Сниться ЖЖистам Шень давно начал: http://www.livejournal.com/users/sowa/7659.html?thread=52459#t52459

А теперь он ЖЖ ещё и читает, иногда комментируя.

[anhinga-anhinga.livejournal.com]

Здорово!

;-) Немножко смешно и нелепо, что человеку снится Шень, как противовес "европейской трандиции образования" ;-)

> А теперь он ЖЖ ещё и читает, иногда комментируя

А где комментирует?

[lzh]

Например: http://www.livejournal.com/users/jewgeniusz/86004.html?thread=594932#t594932

И ещё много где. Здесь вот его назвали "одним хорошо известным анонимом".

[anhinga-anhinga.livejournal.com]

Спасибо :-)

Шеня всегда приятно встретить, пусть и в письменном виде...

Он мне даже написал недавно, что, может быть, выложит куда-нибудь свою диссертацию "для коллекции" (на самом деле, насколько я могу судить, эти результаты так и не переоткрыли, но они, при этом, заинтересовали бы некоторое количество активно работающих людей, так что я очень надеюсь, что он это сделает).

[lzh]

Диссертацию - кандидатскую? Надо, конечно, но все результаты и так вроде бы опубликованы. Самое, на мой взгляд, ценное - общая схема определения энтропий - в большой статье с Успенским. Правда, без упоминания f0-пространств и топологии.

Главное, чтобы они с Верещагиным книжку дописали.

[anhinga-anhinga.livejournal.com]

> Диссертацию - кандидатскую?

Да.

> Правда, без упоминания f0-пространств и топологии.

Я имею в виду как раз людей, активно занимающихся топологией Скотта, вроде меня :-)

Их довольно много, и им было бы интересно, как это работает в топологическом контексте...

[lzh]

Забавно, как личные предпочтения меняют взгляд на текст. Мне f0-пространства представлялись настолько никем не разрабатываемой областью (впечатление от упоминаний их Шенем), что я не мог представить, что именно это может быть кому-то интересно. А теперь посмотрел Вашу диссертацию и удивился :)

Вот, кстати, ещё два свежих обсуждения с участием Шеня: http://www.livejournal.com/users/vdots/35759.html

[anhinga-anhinga.livejournal.com]

:-) Да, это был период, когда я у всех допытывался, бывает ли топология на простраствах программ, и Саша мне это показал, но он сам, вроде, всегда относился к этому довольно скептически :-)

Надо сказать, что в последние несколько лет эта область еще больше активизировалась, насколько я могу судить...

> два свежих обсуждения с участием Шеня

Спасибо!

[ygam.livejournal.com]

Я сейчас читаю Карла Гюнтера про топологию Даны Скотта, и вспомнил, что про него где-то читал в русскоязычном ЖЖ. Ага, здесь.

[anhinga-anhinga.livejournal.com]

С тех пор Саше Шеню завели журнал, a_shen, в который он даже иногда что-то пишет, и френд-ленту которого я время от времени читаю, а я опять стал заниматься математикой, близкой к топологиям Скотта, "по вновь открывшимся обстоятельствам", -- обнаружилось странное и, видимо, до сих пор неизвестое, совпадение "частичных расстояний", метризующих в обобщённом смысле топологию Скотта, и "обобщённых равенств", которые возникают в теории пучков, и к которым Скотт тоже приложил руку, и это очень соблазнительно..