Роман Елизаров - Сборник бихевиорационализма

Вслед за термином «функция» стал актуален термин «алгоритм», который, впрочем, древнее чем термин инструкция и введен еще Аль-Хорезми. Говорят, что алгоритм– вычисляет функцию.

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

«Конструктивизм» в математике делает понятие алгоритма первичным, более основательным, чем понятие множества ибо конструктивизм рассматривает множество (т. е. то, что может быть задано перечислением без определения) как порожденное алгоритмом.

Я долгое время размышлял над проблемой соотношения этих терминов – «множество», «функция», «алгоритм», «конструктивный объект» пока собственно не придумал своего – «инструкция» (и последующих). Я намерен заинтересовать этим термином и дальнейшей терминологией, математиков, программистов, психологов, философов и менеджеров.

Итак, предположим, алгоритм – наиболее фундаментальное понятие математики. Но проанализируем алгоритм. Заметим, что мы можем выделить некоторые элементарные термины, а именно – «записать букву», «стереть букву», «добавить букву к слову справа». Эти термины пока не проанализированы, однако все их можно обобщить в понятии инструкции.

Итак, я дам первое, предварительное понятие инструкции, которое буду расширять на протяжении работы: инструкцией я называю то, что может быть выражено в традиционном языке как связь глагола и существительного .

В самом деле ошибочно заявлять: «алгоритм вычисляет функцию», «программа есть последовательное вычисление функций». Простейший пример этого мы можем почерпнуть из робототехники. Мы программируем робота, заставляя его «взмахнуть рукой». Мы действительно на это способны, но это не функция ибо нет никакого соответствия между рукой и чем-то еще. «Взмахнуть рукой» это не какое-то соответствие, тем более не соответствие функциональное. Вообще это эссе является результатом упорных размышлений как раз над понятием «функции», с помощью которого я когда-то хотел перестроить философию, так что я с иезуитской изобретательностью пытался втиснуть то, что сейчас называю «инструкцией» в понятие функции. Я убеждал себя в том, что «взмахнуть рукой»– функция. Я спрашивал себя: «следует ли считать высказывание «взмахнуть рукой» функцией? Если счесть что «рука» аргумент, то о каком функциональном соответствии может идти речь, что является значением функции? Та же рука, только вздернутая кверху. О функции говорится, если элементу из множества области определения соответствует элемент из множества значений, но в данном случае к этим множествам относится один и тот же предмет. Если «взмахнуть рукой» функция, то она задает преобразование a в b, при том, что a и b фиксируются субъект-предикатно «опущенная рука», «вздернутая рука». Функциональное преобразование задает, что a стало b. Верно ли считать функцией ситуацию, при которой аргумент и значение есть один и тот же объект и различия между ними могут быть заданы лишь предикатами? Определенное упрямство заставит отвечать: «да, верно», хотя этот подход сопровождается определенными трудностями. Я вообще полагаю, что математическое определение функции и математический подход задания слишком узки для этой работы. Отстаивая представление, что «взмахнуть рукой»– функциональное соответствие можно утверждать примерно следующее. Взгляд на то, что «взмахнуть рукой» имеет дело с одним и тем же объектом, относящимся как к области определения так и к области значения является поверхностным. Рука, которой взмахнули – принципиально иной объект, чем та опущенная рука с которой мы имели дело как с аргументом. Это не значит, что «вздернутая рука» и «опущенная рука» не выражаются одним словом в языке. Тем не менее они отличаются друг от друга как окунь и форель отличаются друг от друга оставаясь рыбами.» Сейчас я пришел к убеждению, что это, разумеется, не так. В программировании часто говорят: «программа есть последовательное выполнение команд». «Команд», а не «функций». Я же скажу, что программа есть последовательное выполнение «инструкций».