Николай, добрый день! Спасибо! Хорошая идея. Я бы с удовольствием подготовил презентацию о научном наследии Турчина. Благо, я уже делал подобные доклады и некоторый материал уже накоплен.
А получится ли секция по метавычислениям – зависит от того, подадут ли достаточно докладов, в частности, участники этой гугл-группы. Но можно попихать народ: вдруг получится? Традиционный июньский Рефал-семинар в Бауманке имеет специфически студенческий стиль и формат. Поэтому я не уверен, что какое-либо присоединение его к "высоколобому" научному workshop'у оправданно. Боюсь, такое действие может испортить сложившийся стиль каждого из мероприятий. Но может, я неправ и не настаиваю: просто у меня нет идей, как это может выглядеть. Кстати, а указанные вами онлайн-семинары памяти Тратенброта и Подловченако открытые? Если да, нельзя ли дать ссылки на место, где можно зарегистрироваться и потом послушать? Всего наилучшего, Андрей Климов On Tue, Feb 16, 2021 at 11:23 AM Shilov Nikolay <[email protected]> wrote: > Андрей Валентинович, > > В этом году — много памятных дат. Вот, например, группа учеников (и > учеников учеников Б.А. Трахтенброта) в предстоящую субботу 20 февраля (в > День Рождения Бориса Абрамовича) проводи однодневный онлайн семинар, > посвященный его 100-летию, в следующую субботу 27 февраля Владимир > Анатольевич Захаров проводит семинар, посвященный 90-летию Риммы Ивановны > Подловченко, 19 апреля в Новосибирске пройдут две Ершовские лекции, > посвященные 90-летию Андрея Петровича… > > У меня вопрос-предложение: может быть, Вы (как член Программного Комитета > предстоящей PSSV-2021) организуете специальную сессию на PSSV-2021 по > метавычислениям, суперкомпиляции и т.д. с одним приглашенным докладом, 2-3 > отобранными докладами (из поданных на PSSV-2021) и мемориальным докладом о > Валентине Федоровиче? — Такую сессию можно организовать совместно с > ежегодным Рефал-семинаром (если Александр Коновалов и другие организаторы > семинара не будут возражать). > > PSSV-2021 пока не объявлена, но, по-видимому, она пройдет в Москве (в ИСП, > ВШЭ или ВМК МГУ) в 10-ых числах июня (между между школой и конференцией > Logic Perspective http://lp2020.mi-ras.ru/ перенесенной на 2021), но > предварительно на PSSV02021 предварительно запланирована одна специальная > сессия, посвященная работам Отдела технологий программирования ИСП РАН > (приглашенный докладчик — А.К. Петренко). > > Николай Вячеславович Шилов > > > Понедельник, 15 февраля 2021, 2:37 +03:00 от Andrei Klimov < > [email protected]>: > > > Дорогие друзья! > > Исполнилось 90 лет со дня рождения Валентина Федоровича Турчина. > > Он мог бы дожить до этого возраста с сохранением ясности ума, как бывает у > творческих людей. Но и за свои годы он сделал так много и с таким > заглядыванием в будущее, что нам еще осваивать и осваивать его наследие. > Надо издавать и переиздавать его труды. Это еще за нами, его учениками. > > Только представить, что к 40 годам он уже успел покинуть теорфизику, > защитив докторскую, создать язык Рефал и собрать группу молодых > рефальщиков, развить новую эволюционную концепцию метасистемного перехода и > написать о ней книгу "Феномен науки"! Верность представленным в ней > философским взглядам и своему мировоззрению привела его к общественной и > правозащитной деятельности. > > А дальше было создание и развитие суперкомпиляции, как крупномасштабного > метасистемного перехода над алгоритмами и программами, причем не только ее > базового уровня, который к нынешним временам уже "обсосан" в работах > последователей, а и предложил по крайней мере два круга идей, как совершить > второй метасистемный переход от вычислений к метавычислениям (для спецов > отмечу, что имею в виду окрестностный анализ и исчисление грамматик путей). > Концепция МСП показывает, что метасистемные переходы не являются чудом и "не > ходят по одному", и совершив один, сразу ищи, как сделать следующий. Вот > такую установку он нам дал своим примером! > > Затем последовала разработка философии развития общества в книге "Инерция > страха" и в других философских работах по кибернетической эпистемологии и > онтологии. Он говорил, что новую философию невозможно "внедрить" в умы, > убедить, не продемонстрировав ее работу на конкретных результатах. > > И следующим таким результатом стали новые конструктивные основания > математики, названные им Cybernetic Foundation of Mathematics. Эта > революционная работа еще совсем не освоена научным сообществом (в отличие > от суперкомпиляции). А она должна быть удивительна для того большинства > математиков, кто из теорем о неразрешимости вывел (на основе работ > 1950-60-х годов), что конструктивное понятие математических объектов, > множеств в виде перечисления элементов не покрывают нужды математики. Ан > нет! Расширив понятие алгоритма, введя в процессы вычислений модель самого > математика (вслед за прецедентом введением наблюдателя в квантовую физику), > Турчин проинтерпретировал святая-святых современной математики – аксиомы > Цермело-Френкеля. Самое интересное, что его интерпретация показывает, как, > когда и почему математическое знание становится объективным, однозначно > получаемым разными математиками, а когда и какие математические явления не > являются детерминированными и "объективно интерпретируемыми", как он это > назвал. В результате с математики слетает мистика платонизма с идеально > существующим, статическим миром математических сущностей. Для Турчина > практически любой математический объект – это процесс, движение, как и сама > деятельность математика. > > Самое удивительно в работах Турчина – это то, что они являются > демонстрацией действия его единых взглядов на эволюцию всего, в том числе > научных идей, и основанного на них подхода к получению новых результатов – > философии метасистемного перехода. Он верил, что люди, освоившие ее, станут > лучше, нравственнее, добрее, хотя бы потому, что будут понимать, как > происходит развитие, научатся управлять эволюцией себя лично и общества, > поймут, куда она идет и как зависит от нашей свободной воли, какие цели и > смысл мы можем и должны вкладывать в свою жизнь. > > Пожелаем себе и всем подниматься хотя бы немного к уровню Валентина > Федоровича Турчина! > > Всего наилучшего, > > Андрей Климов > > PS. Кстати, еще есть в наличии бумажные экземпляры "Феномена науки" 2003 > года издания. > > PPS. Это письмо послано в Гугл-группу Metacomputation-Ru и в рассылку > [email protected] <//e.mail.ru/compose/?mailto=mailto%[email protected]>, где > сосредоточены большинство ценителей научного наследия Турчина по computer > science. Кроме того, в "скрытую копию" поставлены адреса коллег и друзей, > которые отсутствуют в этих рассылках, но которым, надеюсь, интересно > наследие В.Ф. Турчина. > >
