def

"Цели ясны, задачи определены"


Сегодня президент США преступил к формированию национальной стратегии по COVID-19. Через год после де-факто начала пандемии правительство крупнейшей экономики мира подключается к систематической борьбе с ней.

Автор этого блога желает успеха администрации Байдена-Харрис. Нет никакого способа «развидеть» то, что происходило предыдущие четыре года с промежуточным финишем 6 января. Остается сделать выводы, скорректировать картину мира в голове и двигаться дальше.

Корректировка картины мира отразится, в частности, в новой политике модерирования.

Дальнейших дискуссий с недобросовестными (англ. in bad faith) комментаторами и обитателями/пропагандистами перпендикулярных реальностей не будет вне зависимости от их комментаторского стажа в этом журнале. Оценивать добросовестность намерений и приятие фактов я буду исходя из собственной картины мира, с которой читатели журнала, вероятно, знакомы (или могут при желании ознакомиться, полистав посты). В любом случае, вовсе не обязательно высказываться именно здесь, есть собственные блоги и масса других ресурсов для самовыражения.


def

С лейкой и блокнотом


Есть теория, согласно которой в том случае, если кто-то точно выяснит,
для чего и зачем появилась Вселенная, она тут же исчезнет,
и ее заменит нечто другое, еще более бессмысленное и необъяснимое.
Есть другая теория, согласно которой это уже произошло.
    — Дуглас Адамс, «Ресторан на краю Вселенной», перев. Вадим Филиппов


Фотография пресс-конференции
Пресс-конференция кампании президента Трампа на окраине Филадельфии, шт. Пенсильвания.
Парковка местной фирмы Four Seasons Total Landscaping, 7 ноября 2020.
Поблизости расположены: крематорий, магазин литературы для взрослых, городская тюрьма.
Фото: JOHN MINCHILLO/AP PHOTO via BILLYPENN.
Репортаж о медиа-событии: например, в Independent.


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


def

Анекдот недели


В продолжение теоретико-множественной эзотерики ZFC/CH.
Истинный трагизм аксиомы выбора в том, что о ней не ведал царь Соломон. Если бы он знал, то мог бы выявить парадокс Банаха-Тарского и, вместо разрезания дитя надвое, предложить разбиение на пять частей, оставляющее счастливыми обеих матерей.

(Источник: comment #44; видимо, по стопам xkcd.)
Надеюсь, не слишком опоздал к хэллоуину.


def

Тонкая черная линия


Давно утратил надежду понять, как работают магические построения, доказывающие недоказуемость наличия или отсутствия промежуточной бесконечности между количествами целых и вещественных чисел в стандартной теории множеств ZFC. Везде, где обещают простое и ясное объяснение процесса, он либо описан, на самом деле, путано, непонятно, с пробелами и ощущением ненадежности и необязательно корректности изложения, либо все выстраивается вроде бы четко, последовательно и правильно, но я теряю ориентацию. Слишком сложно для меня, мой личный вычислительный ресурс быстро исчерпывается.

Сегодня анонсирована еще одна серия публикаций для непосвященных. Не строю иллюзий и в этот раз, но попытка не пытка. Фрагмент вводного поста Скотта Ааронсона в переводе:
Наше занятие, как инженеров математической вселенной, будет заключаться в привязке континуума C к одному из алефов. Если мы подверстаем самый минимум вещественных чисел, то получим C=ℵ1, а если добавим ещё, то можем выйти на C=ℵ2 или ℵ3 и т. д. У нас не получится сделать C равным ℵ0 — в этом состоит теорема Кантора, — и мы также не можем сделать C равным ℵω по важной теореме Кёнига (König), о которой поговорим позднее (да, этот предмет щедр на умлауты). Но мы увидим, что C можно изготовить равным почти любому другому алефу: в частности, любой бесконечности кроме ℵ0, которая не является верхней гранью счетного списка меньших бесконечностей.

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

Источник (англ.): The Complete Idiot’s Guide to the Independence of the Continuum Hypothesis: Part 1 of <=Aleph_0.
(Альтернативное название поста: «Инженеры математических душ».)

UPD: анекдот в продолжение темы.



def

"Орешек крепкий в опытных руках"



Источник: Vid2Player.

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


def

Кстати, о неподвижных точках


Принесено твиттером.
Однажды, читая лекцию в Йельском университете, Сидзуо Какутани записал на доске лемму, которую объявил очевидной. Один из студентов немедленно поднял руку и сообщил, что ему это отнюдь не очевидно, не мог бы профессор пояснить. Поразмышляв несколько секунд, Какутани понял, что не знает, как доказывается лемма. Он извинился и пообещал вернуться к вопросу на следующем занятии. После лекции Какутани затворился у себя в кабинете, но и там, изрядно потрудившись, не сумел доказать лемму. Вместо обеда он отправился в библиотеку, чтобы выяснить источник хитроумного утверждения. Поиски принесли результат. Оказалось, что лемма была лаконично сформулирована в статье 1941 г., где ее доказательство было оставлено читателю «в качестве упражнения». Автор злосчастной статьи — Сидзуо Какутани. (Источник: twitter, где ссылаются на книгу “Mathematical Apocrypha: Stories and Anecdotes of Mathematicians and the Mathematical” by Steven G. Krantz.)
В комментариях треда по ссылке напоминают контекст:
Известный результат Какутани — его обобщение теоремы Брауэра о неподвижной точке. Это обобщение принесло Джону Нэшу Нобелевскую премию 1994 по экономике за одностраничную статью, в которой он с помощью теоремы Какутани обосновал существование равновесия в теории игр. Говорят, Нэш выражал недовольство тем, что получил награду за такую мелочь, а не за свои основные труды в алгебраической геометрии и теории дифференциальных уравнений в частных производных. Наконец, в 2015 году Нэшу была присуждена Абелевская премия за фундаментальный вклад в геометрию и дифференциальные уравнения, он стал первым и пока единственным двойным «нобелевско-абелевским» лауреатом. Возвращаясь с церемонии награждения, Нэш и его супруга погибли в автомобильной катастрофе.
Добавлю, что, судя по сообщениям в прессе, не пристегнувших ремни безопасности Нэшей выбросило из машины, когда водитель такси утратил контроль и врезался в отбойник. Соответственно, не забываем пристегиваться. И чаще моем руки с мылом.


def

Физики продолжают шутить


Аннотация студенческой статьи:
Journal of Physics Special Topics
An undergraduate physics journal

P3 1 On the feasibility of neutrino sails
R.H. Peck, H.W. Buttery, C.D.Y. Moore, C.J. Middleton
Department of Physics and Astronomy, University of Leicester, Leicester, LE1 7RH
October 18, 2016

Abstract
In this paper we consider whether a neutrino sail, a sheet of material absorbing neutrinos and gaining thrust from their momentum change, is a viable method of spacecraft propulsion. We calculate an upper bound for the thrust that could be achieved per unit area and compare this to that possible using a photon solar sail. We also calculate the thickness of sail necessary assuming that there are no special conditions under which the cross section for neutrino interactions with nuclei can be increased. We find that a thickness of 34000 light years would be necessary if a sheet of Osmium were used, whereas neutron star matter could achieve this at 189 km thickness. We conclude that a neutrino sail is not a practical method of propulsion. (source, via @johncarlosbaez)

В данной статье мы задаемся вопросом, является ли нейтринный парус, то есть лист материала, поглощающий нейтрино и обеспечивающий тягу за счет изменения их импульса, жизнеспособным методом движения космического корабля. Мы вычисляем верхнюю границу для тяги, которой можно добиться на единицу площади, и сравниваем ее с той, что возможна для фотонного солнечного паруса. Мы также подсчитываем требуемую толщину паруса в предположении, что нет особых условий, увеличивающих сечение взаимодействия нейтрино с ядрами. Мы выясняем, что для листа осмия потребовалась бы толщина 34000 световых лет, тогда как для вещества нейтронной звезды толщина составила бы 189 км. Мы приходим к выводу, что нейтринный парус не является практическим методом движения.