Rivalry2

HTML Diff

5 added 50 removed

Original 2026-01-01

Modified 2026-02-21

1 - <a>#статьи</a>

1 + <a>8 (800) 222-65-21</a>Контактный центр

2 - <ul><li>19 авг 2022</li>

2 + <a>+7 (499) 444-90-36</a>Отдел заботы о пользователях

3 - <li>0</li>

3 + Москва, Ленинский проспект, дом 6, строение 20

4 - </ul><h2>Валентин Турчин: творчество - это всегда выход за рамки</h2>

4 + <ul></ul><ul><li>Премии Рунета 2018, 2019, 2020</li>

5 - Об учёном, который хотел автоматизировать всё, считал кибернетику царицей всех наук и выпустил два тома шуток о физиках.

5 + </ul>

6 - Иллюстрация: Colowgee для Skillbox Media

7 - Любитель научной фантастики и технологического прогресса. Хорошо сочетает в себе заумного технаря и утончённого гуманитария. Пишет про IT и радуется этому.

8 - Карьера Валентина Турчина, как и у многих советских кибернетиков, началась с физики. После окончания МГУ он поступил на службу в обнинский Физико-энергетический институт, где исследовал рассеяние медленных нейтронов в жидких и твёрдых средах. К 33 годам Турчин получил степень доктора наук и стал довольно авторитетным учёным.

9 - А потом случилось знакомство с первыми ЭВМ, которое перевернуло его жизнь. Турчин бросил перспективное направление и по приглашению знакомого академика ушёл в молодую, но бурно развивающуюся науку - информатику. Так начинался триумф Рефала.

10 - Турчин в 30 летФото: <a>ИД "Личности"</a>Свой выбор Валентин Фёдорович обосновывал нетривиально: теоретическая физика, по его мнению, приблизилась к "кризису", решить который могут только принципиально новые технологии автоматизированной обработки данных.

11 - Турчин перешёл в Институт прикладной математики АН СССР и начал работать над Рефалом - языком программирования и обработки символьной информации. Новый язык должен был упростить для учёных работу с результатами исследований.

12 - Турчин считал, что появление компьютеров и языков программирования - это один из самых крупных метасистемных переходов в истории. Суть термина "метасистемный переход" проще всего пояснить схемой, которую приводил в своих работах сам учёный:

13 - Схема метасистемного перехода. Si - системы нижнего уровня, C - управление объединёнными подсистемами, S' - система нового уровня иерархииИзображение:<a>ИПМ им. М. В. Келдыша РАН</a>Любая система, пояснял Турчин, со временем накапливает некий "потенциал развития", начинает "размножаться" и делиться на подсистемы.

14 - На определённом этапе возникает новый механизм, управляющий этими подсистемами, и происходит качественный скачок, аналогичный фазовому переходу в физике. То есть система находит принципиально иное стабильное состояние с новым уровнем иерархии.

15 - Именно таким переходом в кибернетике, по мнению учёного, стала автоматизация самого программирования и появление трансляторов - программируемых программ. Как итог - программы из управляющих субъектов превратились в объекты манипулирования, а учёные смогли освободиться от рутины и задуматься о более абстрактных и всеобъемлющих понятиях.

16 - Эти идеи и предопределили суть Рефала, разработанного Турчиным в середине шестидесятых годов прошлого века. Рефал принадлежал к семейству метаязыков, которые умеют обрабатывать тексты формальных языков, и заметно превосходил появившихся позже собратьев - например,<a>Lisp</a>,<a>Prolog</a>или<a>SNOBOL</a>. В частности, реализованная в его внутренней машине вывода теория нормальных алгоритмов Маркова позволяла добиться большей выразительной мощности и лёгкости понимания текста программ, чем теория исчисления хорновских дизъюнктов, лежащая в основе западных языков.

17 - Palindrom { s.1 e.2 s.1 = <Palindrom e.2>; s.1 = True; /* пусто */ = True; e.1 = False; }Пример программы на Рефале, которая определяет, является ли слово палиндромомСкриншот:<a>Wikipedia</a>Рефал сразу же начали использовать практически во всех направлениях. На нём писали трансляторы, макрогенераторы, интерпретаторы, производили аналитические вычисления в компьютерной алгебре, разрабатывали искусственный интеллект и даже строили математические доказательства теорем.

18 - После такого успеха Турчин ожидал бурного развития других проблемно-ориентированных языков. Он даже сформулировал закон:

19 - "Когда складывается новый уровень управления, подсистемы предыдущего уровня под его воздействием приобретают разнообразие и размножаются количественно".

20 - Турчин В. Ф.РЕФАЛ-макрокод // Труды Всесоюзного семинара по вопросам макрогенерации. Тбилиси: ВЦ АН ГССР, 1975

21 - Но ничего не происходило. В восьмидесятые макросистемы уже никто не применял, а в девяностые новые макроязыки вообще не разрабатывались. О Рефале вспоминали всё реже.

22 - Фото: <a>ИД "Личности"</a>Но Турчин продолжал верить в свои идеи и искать новые пути.

23 - Он настаивал, что можно научить ЭВМ обрабатывать написанные людьми программы с той же лёгкостью, с какой Фортран обрабатывает числа. Согласно его теории, интерпретаторы и компиляторы должен был создавать сам компьютер, а не человек.

24 - Зимой 1971 года Турчин проводил семинар в Институте прикладной математики имени Келдыша. Мелом на доске он описал небольшую программу-интерпретатор математических выражений на Рефале, а также предложил сделать вычисления обобщённо, то есть с неизвестным количеством числовых аргументов. Такие конструкции часто используются в математике, а программированию, по мнению Турчина, стоило бы позаимствовать их оттуда.

25 - Турчин в 1970-еФото: "История России в фотографиях"Турчин проделал неформальные вычисления над вызовом функции с переменными и получил на доске текст, напоминавший результат трансляции арифметического выражения в команды компьютера. Он воскликнул: "Смотрите, компилирует!" Так родилась идея суперкомпиляции.

26 - Под суперкомпиляцией учёный понимал специальный метод преобразования кода других языков в код на Рефале. Валентин Фёдорович изучал метасистемные переходы и находил стандартные шаблоны и приёмы, чтобы конструировать с помощью них новые переходы.

27 - В 1972 году он опубликовал первую работу по суперкомпиляции, где изложил основные идеи и показал принцип её работы на примере Рефала. А после - объяснял на многочисленных семинарах, как суперкомпиляция позволяет путём трёх метасистемных переходов создать компилятор, который сам будет делать компиляторы.

28 - Идея пошла в массы.

29 - Одной из основополагающих работ Турчина была книга "Феномен науки", в которой он высказывал в числе прочего свои мысли на тему творчества. В частности, он предполагал, что автоматизация может освободить людей от ручного и рутинного труда.

30 - "Творчество - это всегда выход за рамки системы, это свободное действие. Творчество - это метасистемный переход".

31 - Турчин В. Ф. Феномен науки: кибернетический подход к эволюции. Москва: Наука, 1993

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

33 - Тем не менее книга получила положительные рецензии и даже готовилась к изданию в "Советской России". Когда она была уже свёрстана, Турчин совершил ещё более нонконформистский по тем временам поступок: на пресс-конференции перед иностранными корреспондентами выступил в защиту академика Сахарова.

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

35 - Андрей СахаровФото: Wikimedia CommonsТем не менее книга вышла на английском и японском языках. Турчин же вскоре стал председателем организации Amnesty International, деятельность которой советским правительством, мягко говоря, не одобрялась.

36 - Через некоторое время учёный получил "последнее предупреждение" от КГБ: либо он уезжает из страны, либо его арестуют. Неизбежным итогом стала эмиграция - сначала в Израиль, а потом, по приглашению Университета Нью-Йорка, в США.

37 - Университет Нью-Йорка в СШАФото: littlenySTOCK / ShutterstockУчёный быстро адаптировался за рубежом и продолжил исследования. Будучи конструктивистом по духу, он верил, что весь мир устроен по тем же принципам, что и машинные алгоритмы. Исходя из этого, он разработал "открытую" конструктивную систему, в которой мир алгоритмов расширен моделью пользователя. Это во многом похоже на понятие наблюдателя во многих физических теориях.

38 - По мнению Турчина, работающий по законам алгоритмов мир может учитывать точку зрения каждого человека и не давать сбоев.

39 - "Если свести всё к детерминированным алгоритмам, мы получим мир, в котором последовательности метасистемных переходов "вырождаются“, "насыщаются“, перестают порождать новое качество".

40 - Турчино конструктивизме в "<a>Кибернетических основаниях математики</a>" (1983)

41 - Он назвал это "кибернетическими основаниями математики" (<a>Cybernetic Foundation of Mathematics</a>). Эти основания помогают моделировать многократные метасистемные переходы.

42 - С помощью этой теории Турчин продемонстрировал, что такое формализованные метасистемные переходы в действии. В частности, ему удалось дать конструктивную интерпретацию понятия множества и аксиом Цермело - Френкеля на основе расширенного понятия алгоритма.

43 - Учёный планировал объединить свои труды по суперкомпиляции и кибернетическим основаниям. Он не верил в эффективность машинного доказательства теорем на основе логического вывода, поэтому ему хотелось найти конструктивные подходы, которые бы обогатили принципы суперкомпиляции.

44 - Валентин Турчин и его сын ПётрФото: Wikimedia CommonsКак ни странно, в обычной жизни Турчин был полным антиподом зануды-профессора, какими их представляют многие. Это был весёлый, жизнерадостный и даже несколько эксцентричный человек, заядлый балагур и кавээнщик.

45 - В свободное время он написал две пьесы-комедии - "Господин Куб" и "Защита диссертации", которые молодые актёры исполнили на сцене Дворца культуры Физико-энергетического института в Обнинске.

46 - Дворец культуры Физико-энергетического института в ОбнинскеФото: "<a>АЙК Обнинск</a>"Действие "Защиты диссертации" происходит в Научно-исследовательском институте брёвен и сучков - НИИБС. Аспирант защищает степень кандидата бревнологических наук с темой "Качение бревна по наклонной плоскости с учётом сучковатости".

47 - Несмотря на абсурдность ситуации, Турчин до мельчайших подробностей воспроизвёл протокол защиты. "Бревнология" и "бревнолог" стали мемами: так в СССР называли псевдоисследовательские работы, которые проводятся, чтобы достичь формальных целей - например, количества публикаций или получения учёной степени.

48 - Ещё он переводил шутки иностранных комиков. Под его редакцией вышло два тома: "<a>Физики шутят</a>" и продолжение - "<a>Физики продолжают шутить</a>". Обе книги были изданы самиздатом. В годы, когда учёного подвергали гонениям и выдавливали из страны, в научной среде даже бытовал такой анекдот: готовится к выпуску третий том под редакцией Турчина - он называется "Физик дошутился".

49 - "Физики продолжают шутить" вышла тиражом в триста тысяч экземпляров и стала бестселлером среди учёных, а за её публикацию руководителя издательства уволили с работы, хотя никакой "антисоветчины" там не было.

50 - Обложка книги "Физики шутят"Фото: "<a>Читай-город</a>"<a>Бесплатный курс по Python ➞Мини-курс для новичков и для опытных кодеров. 4 крутых проекта в портфолио, живое общение со спикером. Кликните и узнайте, чему можно научиться на курсе. Смотреть программу</a>