АЛГОРИТМОВ ТЕОРИЯ
раздел математики, изучающий общие свойства алгоритмов. Содержательные
явления, приведшие к образованию понятия "алгоритм", прослеживаются в математике
в течение всего времени её существования. Однако само это понятие сформировалось
лишь в 20 в. и стало предметом самостоятельного изучения (по-видимому,
впервые, хотя ещё в расплывчатом виде) лишь в 20-х гг. 20 в. в трудах представителей
математического интуиционизма Л. Э. Я. Брауэра и Г. Вейля. Началом систематич.
разработки А. т. можно считать 1936, когда А. Чёрч опубл. первое уточнение
понятия вычислимой функции (предложив отождествлять понятие всюду определённой
вычислимой функции, имеющей натуральные аргументы и значения, с понятием
общерекурсивной функции) и привёл первый пример функции, не являющейся
вычислимой, а А. М. Тьюринг и Э. Л. Пост дали первые уточнения понятия
алгоритма (в терминах идеализированных вычислительных машин, см. Тьюринга
машина). В дальнейшем А. т. получила развитие в трудах С. К. Клиии, Э.
Л. Поста, А. А. Маркова и других. В частности, А. А. Марков предложил уточнять
понятие алгоритма с помощью введённого им понятия нормального алгоритма.
Наиболее общий подход к уточнению понятия алгоритма предложил А. Н. Колмогоров.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я