Klimov10apr24

Андрей Валентинович Климов (Институт прикладной математики им. М.В. Келдыша РАН, Москва): Научное наследие В.Ф. Турчина и его кибернетические основания математики
Аннотация: Научно-философское наследие Валентина Федоровича Турчина (14.02.1931-07.04.2010) состоит из трех частей:
(1) философской, объясняющей его эволюционную концепцию с центральным понятием метасистемного перехода как кванта эволюции, - книга "Феномен науки: Кибернетический подход к эволюции" [1977 (англ.), 1993, 2003 (рус.)];
(2) социальной: обсуждение эволюции общества и человека - книга "Инерция страха: Социализм и тоталитаризм" [1977];
(3) научной: суперкомпиляция в программировании и кибернетические основания математики - статья "A constructive interpretation of the full set theory" [1987] и отчеты "The Cybernetic Foundation of Mathematics" [1983.
В докладе кратко охарактеризованы первые части, суперкомпиляция опущена и дано введение в кибернетические основания математики - потенциалистской интерпретации, являющейся расширением алгоритмического конструктивизма А.А. Маркова и Э. Бишопа путем введения (модели) математика в теорию - таким образом, что удалась конструктивная интерпретация теории множеств ZF.