Математическая энциклопедия - алгоритмов теория
Связанные словари
Алгоритмов теория
раздел математики, изучающий общие свойства алгоритмов. Содержательные явления, приведшие к образованию понятия "алгоритм", прослеживаются в математике в течение всего времени ее существования. Однако само это понятие сформировалось лишь в 20 в. и стало предметом самостоятельного изучения (по-видимому, впервые, хотя еще в расплывчатом виде) в 20-х гг.
20 в. в трудах представителей интушионизма Л. Э. Я. Брауэра (L. Е. J. Brouwer) и Г. Вейля (Н. Weyl, см. [1]). Началом сиотематич. разработки А. т. можно считать 1936, когда А. Чёрч (A. Church, [2]) опубликовал первое уточнение понятия вычислимой функции (предложив отождествлять понятие всюду определенной вычислимой функции, имеющей натуральные аргументы и значения, с понятием общерекурсивной функции) и привел первый пример функции, не являющейся вычислимой, а А.
М. Тьюринг (А. М. Turing, [3], [4]) и Э. Л. Пост (Е. L. Post, [5]) дали первые уточнения понятия алгоритма (в терминах идеализированных вычислительных машин, см. Тьюринга машина).
В дальнейшем А. т. получила развитие в трудах С. К. Клини (S. С. Kleene), Э. .
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 553 | |
2 | 479 | |
3 | 475 | |
4 | 470 | |
5 | 452 | |
6 | 435 | |
7 | 434 | |
8 | 430 | |
9 | 421 | |
10 | 420 | |
11 | 418 | |
12 | 410 | |
13 | 402 | |
14 | 373 | |
15 | 372 | |
16 | 368 | |
17 | 362 | |
18 | 361 | |
19 | 360 | |
20 | 359 |