2013-02-20 25-летие терм-функции

Мой рассказ в Концепте о фактических обстоятельствах возникновения идей и результатов в КПСОУ вызвал у одного из слушателей реплику: это что – «альтернативная история»?..

Я, честно говоря, опешил, а дальнейший диалог вызвал даже досаду. Я от него «узнал», что терм-функцию придумал не я в 1985 году, а он в… 2010

Я продолжил доклад.

А сейчас вот решил записать историю.

А дело было так. Мы с Сашей Остаповым вечерами после рабочего дня сидели у меня в комнате в коммуналке (в г. Балашихе) и эксплицировали разные варианты термов, оттачивая конструкции записи в аппарате. Я стремился выписать полные разнообразия. И вот мы столкнулись с тем, что выписываем целые группы термов просто путем замены в уже придуманных и эксплицированных термах какой-то одной логической или теоретико-множественной операции или операнда – множества или терма. Естественно, пришла идея, что можно заменять одновременно по два и более операндов в формуле терма. Я предложил записывать такие группы термов в виде формулы с перечнями значений подстановок в местах вхождений операции или операнда. И предложил назвать новую конструкцию «терм-функцией». Саша было предложил «терм-функционал», но я напомнил, что значением функционала является число, а у нас значениями после подстановок являются полноценные термы. Саша согласился. На том и порешили.

Впоследствии терм-функции мы развивали в экспликациях прикладных схем, очередным достижением стала КС «развивающегося народного хозяйства» в 1988 году, но об этом в другой заметке.

С. П. Никаноров про терм-функции ни разу не говорил, хотя наши отчеты в ЦНИИЭУСе подписывал. Либо не понимал, либо не захотел знать.