Добрый день всем! По итогам только что прошедшего семинара, в связи с возникшим обсуждением целей Рефала при его создании, хочу обратить внимание на предисловие В.Ф.Турчина к первому изданию в 1993 году на русском языке его книги "Феномен науки". Оно неявно содержит цели Рефала как метаалгоритмического языка, предназначенного для компьютерной обработки формально-языковых систем, математических и физических теорий, то есть как инструмент построения метанауки. Об этом Турчин явно говорил нам в 60-70-е годы. Приведу копипаст со страницы http://www.refal.net/turchin/phenomenon/preface.htm:
Предисловие Русское издание этой книги выходит через двадцать с лишним лет после ее написания. За это время наука существенно продвинулась вперед. Достаточно вспомнить раскрытие генетического кода, открытия в астрофизике, новую теорию элементарных частиц. Персональные компьютеры вошли чуть ли не в каждый дом. Между тем книга выходит в том виде, в каком она была подготовлена к печати в 1970 г. Если бы я стал что-то добавлять к ней, то это превратилось бы, в конечном счете, в написание новой книги, гораздо большей по объему, и она включала бы в себя старую практически целиком и без перемен. Ибо основная тема книги — Эволюция Вселенной как последовательность метасистемных переходов — не пострадала от времени. Напротив, появились новые указания на плодотворность этого подхода. В настоящее время мы с группой коллег начали работу над проектом PRINCIPIA CYBERNETICA, который включает дальнейшее развитие этих идей. Некоторое представление об этом проекте дает написанная мною совместно с Клиффом Джослиным статья “Кибернетический манифест”. Эта статья также включает краткое изложение основных идей книги и включена в качестве приложения <http://www.refal.net/turchin/phenomenon/cybernetic-manifesto.htm> к настоящему изданию. “Феномен науки” вышел в английском и японском переводах. Я очень рад, что он может, наконец, выйти и в русском оригинале. Одно место в “Феномене науки” требует комментария в свете последних достижений физики. В разделе “Сумасшедшие теории и метанаука” я высказал мысль, что для того, чтобы разрешить трудности в современной теории элементарных частиц, надо разработать методы “метанауки”, т. е. теории о том, как строить теории. Причину я усматривал в том, что основные понятия физики на ранних стадиях ее развития брались из нашей интуиции макроскопического мира. Но для познания законов микромира (а точнее, для построения математических моделей этого мира) наша “макроскопическая” интуиция неадекватна. Если интуиция не дает нам впрямую тех “колесиков”, из которых можно строить модели микромира, то нам нужны какие-то теории о том, как эти колесики выбирать и как модели строить. Это и будет метанаука. С тех пор как была написана моя книга, физика элементарных частиц сделала огромный шаг вперед — и без всякой метанауки, а лишь на основе старой идеи, что одни частицы могут как бы состоять из других, более элементарных частиц. Тем не менее я полагаю, что моя логика остается в силе, и если не на данной, то на какой-то последующей стадии развития точных наук метатеоретические методы докажут свою плодовитость. В.Ф.Турчин Обнинск, август 1990 г. Небольшое пояснение о месте и дате подписи. Они умышленные. Это был второй визит Валентина Федоровича с Татьяной Ивановной на родину после 12 лет прерывания практически всех контактов между нами (и без веры на встречу). Тогда мы провели в Обнинске семинар по Рефалу и суперкомпиляции, на котором прокачивали накопившиеся к тому времени идеи суперкомпиляции и развития Рефала. Обнинск – это место начала научной карьеры Турчина, где еще жили друзья его молодости. Именно они помогли организовать семинар в самом респектабельном (на тот момент) месте, называвшемся, если мне не изменяет память, "Международной пристройкой", кажется, к зданию горкома партии. (Во как!😁) Всего наилучшего, Андрей Климов On Fri, 11 Jun 2021 at 13:19, Andrei Klimov <and...@klimov.net> wrote: > Накануне доклада я послал это письмо в гугл-группу > metacomputation...@googlegroups.com и рассылку refal@botik.ru и забыл > послать сюда, в ru-step-discussion-group. Посылаю в разгар доклада, как > материал к обсуждению по его окончании. > > > Добрый вечер всем! > > Приятно слышать, что не все рефальщики вымерли, а в Бауманке под > руководством Александра Коновалова теплится рефал-жизнь. > > Вопросы принято задавать после докладов, но если их сформулировать до, > есть надежда, что докладчики учтут их уже в своих выступлениях. Мне было бы > интересно услышать личное (пусто субъективное) мнение докладчиков, > представляющих молодое поколение рефальщиков, и слушателей – рефал-зубров и > новичков (и я тоже, конечно, имею какие-то свои соображения) по таким > вопросам: > > - Почему "умер" Рефал? > - Кавычки и вопросительный знак умышленные, чтобы не навязывать > мнение: чтобы и те, кто считает "умер", и те, кто говорит "не умер", > высказывались без обид. Обсуждение может (и должно, на мой взгляд) > ставить > такие вопросы и отвечать не только узко применительно к Рефалу, а и > вообще, > как языки программирования живут и умирают. Хорошо бы выделить общие > принципы, и с их колокольни глянуть на Рефал. > > > - Что определяет срок жизни и сферу распространения языков > программирования? > - Для затравки: Языки живут, пока есть сообщество его любителей и > потребителей (по-простому, "юзеров"). В СССР любители Рефала возникали > по > одним причинам и закономерностям, после его окончания по другим. Каким? > - Есть мнение, что в нынешние времена жизнь языка в значительной > степени определяет поддержка фирм. > - Можно поперебирать распространенные языки и подумать, благодаря > чему они живут. > > > - У Рефала были отличительные положительные свойства в 60-80-е годы, > по которым он "выигрывал конкуренцию". Какие именно? Потом многие из них > разошлись по другим языкам. > - Остались ли в нынешние времена какие-либо сильные отличительных > качества Рефала? > > > - Хотя бы чисто гипотетически, были ли возможности у Рефала остаться > на плаву? А может еще есть? > - Какие черты стоило бы добавить Рефалу и инструментам и системам > программирования на нем, чтобы (хотя бы гипотетически) он мог бы > получить > "второе дыхание"? > > Надеюсь, эти вопросы раззадорят докладчиков и слушателей, чтобы доклад и > его обсуждение прошли интереснее и веселее.😍 > > Всего наилучшего, > Андрей Климов > > > On Thu, 10 Jun 2021 at 18:21, Andrei Klimov <and...@klimov.net> wrote: > >> ---------- Forwarded message --------- >> From: Shilov Nikolay <shilov...@mail.ru> >> Date: Thu, 10 Jun 2021 at 08:48 >> Subject: Приглашение на онлайн семинар ruSTEP в пятница 11 июня в 12:00 >> мск (=16:00 нск). >> To: Shilov Nikolay <shilov...@mail.ru> >> >> Уважаемые подписчики новостей о предстоящих заседаниях ru-STEP! >> (ruSTEP=russian seminar on Software Engineering, Theory and Experimental >> Programming, https://persons.iis.nsk.su/ru/ruSTEP) >> >> Во-первых, *извините за задержку с объявлением программы семинара* на >> июнь 2021 г. — возникли некоторая неопределенность с доступностью >> докладчиков. >> >> Во-вторых, *очередное заседание состоится в пятницу 11 июня 2021 г. (с >> 12:00 до 13:30 московского времени, 16:00-17:30 в Новосибирске).* >> >> *Семинар пройдет в Zoom* ( >> https://us02web.zoom.us/j/83462558349?pwd=azR1cWwrdWlZbXo2dm0rdzVtdFVmQT09, >> идентификатор >> 834 6255 8349, пароль 633666). — Уважаемые участники из Университета >> Иннополис! Обратите внимание, что в этот раз очного семинара не будет. >> >> *Программа семинара: 2 выступления из МГТУ им. Баумана* >> >> 1. *Александр Владимирович Коновалов*: *Введение в язык Рефал* >> - Аннотация: В докладе будет рассказано о языке программирования >> Рефал — история, синтаксис, семантика и основы метавычислений над >> ним. Цель — предварить (предполагаемые в июле-августе) доклады про >> особенности суперкомпиляции Рефала (а участники семинара с предметной >> областью не знакомы). >> >> 2. *Никита Ольшевский*: *Аспекты программирования как языковой >> деятельности* >> - Аннотация. Язык, на котором пишутся программы, это не только язык >> программирования… — Выступление по материалам дипломного проекта, >> выполненного под руководством А.В. Коновалова. >> >> Регламент семинара: >> >> - 12:00-12:05 — открытие заседания семинара >> - 12:05-13:00 — выступление А.В. Коновалова (с вопросами >> и обсуждением) >> - 13:00-13:05 — перерыв >> - 13:05-13:35 — выступление Н. Ольшевского (с вопросами и обсуждением) >> - 13:35-13:40 — закрытие заседания семинара >> >> Ведет заседание Николай В. Шилов (Университет Иннополис) >> ================================================== >> P.S. Пожалуйста, распространяйте информацию о нашем семинаре среди ваших >> коллег, приглашайте их регистрироваться в >> https://forms.gle/earZy3hFJKmHQLoZ7. >> >> >
