Статья 294

До сих пор все вычислительные машины в некотором смысле базируются на идее Тьюринга их память физически состоит из битов, каждый из которых содержит либо 0, либо 1.

базируются

базируются


Более того, так называемое микропрограммное управление унаследовало от этих абстрактных машин и программу, помещенную в постоянную память, и даже в значительной мере структуру команды.
Другим способом описания алгоритмов, идущим от Д. Гильберта и Р. Аккермана, стали рекурсивные функции. От них унаследовало свои основные конструкции современное структурное программирование.
Третий способ описания алгоритмов исчисления базируется на идеях советского логика Р. Шейнфинкеля и американского логика Х.Б. Карри. Оказалось, что для определения всех вычислимых функций достаточно операций абстракции и применения функции к аргументу который может быть, в свою очередь, функцией. Идеи исчисления активно развиваются в языке Лисп, функциональном программировании и во многих других перспективных направлениях современного программирования.