киса

(no subject)

Пробую Павленко перечитывать, "Кавказскую повесть". Между прочим, в интернете текста нет, даже на флибусте в полном собрании сочинений Павленко, а у меня на полочке стоит с советских времён. Не перечитывал с тех времён, перечитаю - расскажу впечатление.
киса

(no subject)



ЭЙНШТЕЙН ВСЕХ ОБМАНУЛ!
Движущиеся предметы сокращаются не вдоль движения, а поперек. Из-за этого возникает туннельный эффект. Быстро летящий электрон становится тоньше и проходит сквозь узкие дырки в электрическом поле.

Collapse )
киса

(no subject)

Появилась в доступе статья Бласса

Well-ordering and induction in intuitionistic logic and topoi

История вопроса: в 1985-м Питер Фрейд внезапно доказал, что теорема Цермело (если множество имеет функцию выбора, то его можно вполне-упорядочить) верна и в интуиционистской теории (ZF без аксиомы выбора). Доказательство очень трудное и не прямое (а через топосы)

https://core.ac.uk/download/pdf/81927529.pdf

Фрейд в очень резкой форме высказал мнение, что вряд ли кто когда сможет это доказательство перевести на нормальный (теоретико-множественный, а не топосный) язык. Вскоре после публикации два человека перевели, один из них Бласс (а второй Aczel). Но всё равно доказательство трудное. А затем Todd Wilson покуражился над всеми, дав простое (для специалистов, конечно) доказательство на три странички

https://www.jstor.org/stable/2695096?seq=1
киса

(no subject)

С линкедина пишут: предлагаем контакт - Виктория Ворожищева, рекрутёр в Nedra! Ужас какой.
киса

(no subject)



Умер Кристофер Пламмер (91 год). Между прочим, "Ватерлоо" великий фильм, а Бондарчук старший великий режиссёр. Веллингтон-Пламмер (по фильму -- неунывающий сангвиник) говорит перед сражением "Ну, если я завтра проиграю, пусть господь меня пожалеет. Больше некому."
Есть ещё фильм "Убийство по приказу", где играют Кристофер Пламмер, Дональд Сазерленд (они оба канадцы) и Дэвид Хеммингс, который в главной роли в фильме "Фотоувеличение". Пламмер там играет Шерлока Холмса, который ловит Джека-потрошителя, Сазерленд НЕ ВАТСОНА, а медиума, который ясновидит преступления, Хеммингс же нехорошего полицейского (но его не узнать, он толстый). Но это так, для интереса. "Ватерлоо" в прокате провалилось - видимо потому, что продюсер (Дино де Лаурентис) потребовал "меньше крови", чтобы фильм не попал под возрастные ограничения. В результате совершенно бескровная битва при Ватерлоо смотрится забавно. Но фильм, повторяю, великий.