![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Ища, чего почитать
Jun. 28th, 2016 12:34 amВот для примера ругань математиков
https://plus.google.com/+CodyRoux/posts/6TiKLxjSCnu
Есть форум FOM (Foundations of Mathematics)
http://www.cs.nyu.edu/pipermail/fom/
там собираются старички и обсуждают основания математики, как они себе их представляют. Я туда иногда захожу, чтобы узнать, кто умер из великих. За последние два года умерли Ламбек (91 год), Крайзель (91 год), Крейг (97 лет), Хартли Роджерс (89 лет) и Вопенка (79 лет, молодой совсем). И вот молодёжь ругается, не выбирая выражений, что FOM превратился в "ядовитую помойку", потому что старички не знают, что сделано в науке за последние 40 лет (это, в общем, правда) и не ценят великого Воеводского. Дальше переходят на личности и говорят, что виноват Харви Фридман, который очень много пишет в FOM и модерирует всех остальных. Тут приходит Харви Фридман и возражает по существу, что модератор не он, а Мартин Девис (уважаемый человек, 88 лет). Молодёжь культурно извиняется, спор заканчивается. И вот я думаю: с одной стороны, на FOMе действительно нечего читать, кроме некрологов. Но там жизнь кипит, старички пишут вовсю! С другой стороны, любой форум, куда приходит великий Воеводский, скоро умирает. Вот был форум по теории типов
2015 год
http://lists.seas.upenn.edu/pipermail/types-list/2015/thread.html
2016 год, пришёл великий Воеводский
http://lists.seas.upenn.edu/pipermail/types-list/2016/thread.html
Воеводский - пассионарный лидер, увлекает людей за собой, ведёт в болото, там съедает (образ заимствован у писателя Крылова-Харитонова). И теперь мне нечего читать по специальности. До FOMа я ещё не дозрел по возрасту. Кому мешала теория типов?
Вообще, странное впечатление: количество плюшек (книжек, фильмов и т.д.), доступных в интернете, растёт экспоненциально (то есть, каждый год в несколько раз), а поговорить становится не с кем.
https://plus.google.com/+CodyRoux/posts/6TiKLxjSCnu
Есть форум FOM (Foundations of Mathematics)
http://www.cs.nyu.edu/pipermail/fom/
там собираются старички и обсуждают основания математики, как они себе их представляют. Я туда иногда захожу, чтобы узнать, кто умер из великих. За последние два года умерли Ламбек (91 год), Крайзель (91 год), Крейг (97 лет), Хартли Роджерс (89 лет) и Вопенка (79 лет, молодой совсем). И вот молодёжь ругается, не выбирая выражений, что FOM превратился в "ядовитую помойку", потому что старички не знают, что сделано в науке за последние 40 лет (это, в общем, правда) и не ценят великого Воеводского. Дальше переходят на личности и говорят, что виноват Харви Фридман, который очень много пишет в FOM и модерирует всех остальных. Тут приходит Харви Фридман и возражает по существу, что модератор не он, а Мартин Девис (уважаемый человек, 88 лет). Молодёжь культурно извиняется, спор заканчивается. И вот я думаю: с одной стороны, на FOMе действительно нечего читать, кроме некрологов. Но там жизнь кипит, старички пишут вовсю! С другой стороны, любой форум, куда приходит великий Воеводский, скоро умирает. Вот был форум по теории типов
2015 год
http://lists.seas.upenn.edu/pipermail/types-list/2015/thread.html
2016 год, пришёл великий Воеводский
http://lists.seas.upenn.edu/pipermail/types-list/2016/thread.html
Воеводский - пассионарный лидер, увлекает людей за собой, ведёт в болото, там съедает (образ заимствован у писателя Крылова-Харитонова). И теперь мне нечего читать по специальности. До FOMа я ещё не дозрел по возрасту. Кому мешала теория типов?
Вообще, странное впечатление: количество плюшек (книжек, фильмов и т.д.), доступных в интернете, растёт экспоненциально (то есть, каждый год в несколько раз), а поговорить становится не с кем.
