![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
dmmНедавно была опубликована новая статья Андрея Родина, "Voevodsky's Unachieved Project": arxiv.org/abs/2012.01150
Оказывается, помимо двух областей деятельности Воеводского, которыми он хорошо известен (работы по мотивным когомологиям, за которые он получил Филдсовкую премию, и работы по унивалентным основаниям математики и гомотопической теории типов, по поводу которых все математики коллективно фыркали и презрительно пожимали плечами, но про которые теперь уже можно достаточно уверенно сказать, что они, пожалуй, важнее, чем его "Филдсовские работы"), была и некоторая "неполучившаяся линия научных исследований", связанная с популяционной динамикой и категорной теорией вероятности.
В связи с этим я перечитал роман Александра Иличевского "Математик", про который хорошо известно, что Воеводский является близким прототипом главного героя. Тем ни менее, всегда был вопрос, насколько герой и прототип близки, и насколько роман на самом деле является замаскированным документальным произведением. Герой ведь обдумывает совсем не ту "мистическую математику", которой широко известен Воеводский, а совсем другую тематику.
И вот оказалось, что те научные проблемы, которые обдумывает герой романа, как раз очень близки по содержанию к "Voevodsky's Unachieved Project". Так что, по видимому, роман гораздо более документален, чем казалось 9 лет назад. Я расскажу некоторые дополнительные подробности в комментариях, но сначала вернусь к заголовку поста.
Приложение, которое главный герой имеет в виду - восстановление геномов предков (в идеале, сколько угодно далеко). И более того, главный герой романа считает, что есть шанс на то, что продвижение в этом направлении создаст возможность для воскрешения ранее живших людей. Идея вполне безумная, совсем не новая, и, в частности, продвигавшаяся Николаем Фёдоровым, одним из родоначальников русского космизма.
Вот, посколько роман оказался гораздо в большей степени "документальным романом про Воеводского", чем это было очевидно до сих пор, то очень может быть, что Воеводский действительно пытался заниматься этой темой, и действительно надеялся, что "воскрешение ранее живших людей" может получиться на самом деле.
В комментариях я напишу подробности (от кого я что узнал на эту тему, основные линки, а также записки, которые я сделал в последние дни, перечитывая роман Иличевского).
Оказывается, помимо двух областей деятельности Воеводского, которыми он хорошо известен (работы по мотивным когомологиям, за которые он получил Филдсовкую премию, и работы по унивалентным основаниям математики и гомотопической теории типов, по поводу которых все математики коллективно фыркали и презрительно пожимали плечами, но про которые теперь уже можно достаточно уверенно сказать, что они, пожалуй, важнее, чем его "Филдсовские работы"), была и некоторая "неполучившаяся линия научных исследований", связанная с популяционной динамикой и категорной теорией вероятности.
В связи с этим я перечитал роман Александра Иличевского "Математик", про который хорошо известно, что Воеводский является близким прототипом главного героя. Тем ни менее, всегда был вопрос, насколько герой и прототип близки, и насколько роман на самом деле является замаскированным документальным произведением. Герой ведь обдумывает совсем не ту "мистическую математику", которой широко известен Воеводский, а совсем другую тематику.
И вот оказалось, что те научные проблемы, которые обдумывает герой романа, как раз очень близки по содержанию к "Voevodsky's Unachieved Project". Так что, по видимому, роман гораздо более документален, чем казалось 9 лет назад. Я расскажу некоторые дополнительные подробности в комментариях, но сначала вернусь к заголовку поста.
Приложение, которое главный герой имеет в виду - восстановление геномов предков (в идеале, сколько угодно далеко). И более того, главный герой романа считает, что есть шанс на то, что продвижение в этом направлении создаст возможность для воскрешения ранее живших людей. Идея вполне безумная, совсем не новая, и, в частности, продвигавшаяся Николаем Фёдоровым, одним из родоначальников русского космизма.
Вот, посколько роман оказался гораздо в большей степени "документальным романом про Воеводского", чем это было очевидно до сих пор, то очень может быть, что Воеводский действительно пытался заниматься этой темой, и действительно надеялся, что "воскрешение ранее живших людей" может получиться на самом деле.
В комментариях я напишу подробности (от кого я что узнал на эту тему, основные линки, а также записки, которые я сделал в последние дни, перечитывая роман Иличевского).
no subject
Date: 2020-12-20 05:43 pm (UTC)https://twitter.com/vpatryshev/status/1335501711423590404
Я ничего не знаю про Андрея Родина, но вижу, что он сделал много интересных работ за последние 15 лет, и что их темы имеют прямое отношение к "категорным основаниям математики":
https://arxiv.org/search/math?searchtype=author&query=Rodin%2C+A
(Категорной теорией вероятности, конечно, занимались и другие люди; в частности, был интерес (и хорошие продвижения) в том, чтобы получить декартово замкнутую категорию, а то это был один из тех случаев, где было не вполне понятно, как должно выглядеть настоящее функциональное программирование, потому что не было декартовой замкнутости.)
no subject
Date: 2020-12-20 06:52 pm (UTC)But there were a number of attempts in that general direction, see e.g. https://arxiv.org/abs/1902.11189 (and there might be earlier papers as well, by various authors; of course, Andrei Rodin references a number of earlier preprints/manuscripts by Voevodsky on this general topic).
no subject
Date: 2020-12-20 05:48 pm (UTC)https://magazines.gorky.media/znamia/2011/4/matematik.html
https://magazines.gorky.media/znamia/2011/5/matematik-2.html
no subject
Date: 2020-12-20 06:33 pm (UTC)Спасибо за линки! Не читал еще.
no subject
Date: 2020-12-20 06:02 pm (UTC)https://en.wikipedia.org/wiki/Andrei_Zelevinsky
https://ru.wikipedia.org/wiki/Зелевинский,_Андрей_Владленович (you need to copy-paste this link, DreamWidth rendering is defective)
Он делал удивительно красивые работы по комбинаторике и смежным областям, а в более поздний период своей жизни придумал кластерные алгебры вместе с Сергеем Фоминым (и этим, пожалуй, наиболее известен):
Вот, ему очень не понравилось, что Иличевский написал роман про реального человека, чуть-чуть замаскированного, с такими подробностями. Но, парадоксально, его собственный пост на эту тему помог мне про всё это узнать. Вот этот пост, и наш диалог (я тут - anhinga-anhinga):
http://avzel.blogspot.com/2011/05/blog-post_29.html
no subject
Date: 2020-12-20 06:14 pm (UTC)'вот я ничего такого не знал про прототипа главного, но этот пост сказал, что есть интересная загадка с простым ответом, и после этого ответ вычисляется за 5 минут по первым двум страницам "романа". '
***
Вычисляется это следующим образом: с 1990-го года Филдсовские медали всегда давали четырём людям за раз, и только один раз - в 2002-м году - дали только двум людям (правила говорят, что должно быть два, три, или четыре награждённых):
https://en.wikipedia.org/wiki/Fields_Medal#Fields_medalists
Как раз одним из этих двух людей и был Воеводский, и Математический Конгресс был как раз в Китае, так что по первым страницам романа идентичность главного героя устанавливается однозначно.
no subject
Date: 2020-12-20 06:17 pm (UTC)https://ru.wikipedia.org/wiki/Фёдоров,_Николай_Фёдорович (again one needs to copy-paste this link, DreamWidth does not handle the second underscore correctly)
https://en.wikipedia.org/wiki/Nikolai_Fyodorovich_Fyodorov
Мой очень короткий "квази-конспект" Иличевского
Date: 2020-12-20 06:26 pm (UTC)(I was writing this for myself, so the notes were very rough, they were just e-mails to myself; this was a recent rereading, Dec. 13-17.)
**********************************************************
После первых 3 глав две простые мысли:
1. Он считает, что есть магия, позволяющая хорошо считать «обратную генетику»
2. Он считает, что пространство личностей такая дискретная штука (ignore близняшек и похожих людей), и даже очень приблизительное попадание вызовет «резонанс»
***
Глава 5: связь с «картой» города - у меня ведь тоже что-то такое было - другая метрика, но более сухая, для «безличной Москвы».
***
Резонанс/фокусировка - штука нетривиальная (ему кажется, что важно побывать в том месте - интересная перекличка с новым Пелевиным, "Непобедимое солнце").
***
Популяционная генетика.
Компьютерные модели.
***
Фрагмент в начале второй части (главы 10) - весь.
And this fragment is very trippy
***
***
***
11-я глава тоже интересная, но хрен законспектируешь... но чуть-чуть попробую...
Человек - слово, мост между Живым и Неживым...
Структуры, обусловленные устройством человеческого мозга, как часть научной парадигмы... Связь устройства мышления и устройства вселенной...
Чтобы понять устройство вселенной, надо сначала понять устройство собственного мышления (heh... тут и моё эссе про Пенроуза, и опять линейные комбинации, как моделирование внимания - кстати, квантовая суперпозиция, практически тоже самое, но с комплексными коэффициентами)...
***
Идеи - напряжения мыслительных полей...
***
Математика есть теология... Математические объекты - живые сущности, служебные ангелы мышления...
Дальше по тексту 11-ой главы тоже интересно...
***
***
***
From here on, it's a different book. Последние 4 главы скорее затирают впечатление от науки (если дочитать это до конца, то разумно перечитать начало 10-й главы и ещё всякое, если хотеть, чтобы финальное впечатление было более научным).
***
Глава 12 - в основном, про кино
***
Глава 13, 14 - горы. Сознание как ландшафт.
***
Конец - это уже совсем другая история, не про науки. Открытый конец.