- Заглавие: АЛГОРИТМ
- Год актуализации: 2017
- УДК: 10 Философия
- ББК: 87 Философия
- Тематики:
- ПЕДАГОГИКА И ОБРАЗОВАНИЕ. ОРГАНИЗАЦИЯ НАУКИ. МУЗЕЙНОЕ ДЕЛО. КОЛЛЕКЦИОНИРОВАНИЕ
- ФИЛОСОФИЯ
- Биб. карточка:
АЛГОРИТМ [Специальная и общая философия науки. Энц.словарь:Словарь / В.А.Канке-М.:НИЦ ИНФРА-М,2017.-630 с.(П)]
- Источник публикации: Специальная и общая философия науки: энциклопедический словарь
- Фрагмент статьи: АЛГОРИТМ — предписание, по которому ведется вычисление результата на основе задания исходных данных и правил вычисления. В начале 1930-х гг. А. Тьюринг доказал выполнимость алгоритмического вычисления посредством абстрактных машин, т. наз. тьюринговских машин. В 1936 г. А. Чёрч выдвинул принцип, согласно которому класс функций, вычислимых с помощью А., совпадает с классом частично рекурсивных функций. Успехи математики, математической логики, теории автоматов и информатики привели к существенному росту философского интереса к алгоритмической проблематике. В этой связи наиболее актуальным нам представляется вывод, что любая проблема не может быть решена в случае отсутствия соответствующего алгоритма. См. тезис Тьюринга — Чёрча.
