Jun. 28th, 2016

66george: (киса)
Вот для примера ругань математиков

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а я ещё не дозрел по возрасту. Кому мешала теория типов?

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

Profile

66george: (Default)
66george

August 2016

S M T W T F S
 1 23456
7 891011 12 13
1415161718 19 20
21 222324252627
28 293031   

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 20th, 2017 03:39 am
Powered by Dreamwidth Studios