Статья 293

С ними мы неоднократно встретимся далее.
Следующим направлением в теории алгоритмов явились нормальные алгорифмы А.А. Маркова. Они послужили основой языка Рефал и многих других языков обработки символьной информации и в конце концов даже столь популярного сейчас Пролога.
Для успешного развития вычислительных машин громадное значение имело предложение Дж. фон Неймана поместить программу ЭВМ в основную память, чтобы иметь возможность изменять ее в ходе вычислений.
Если теория алгоритмов - в некотором смысле мать современных ЭВМ и программирования, то сама по себе математическая логика - их отец. Работы логиков первой половины 20 века были посвящены, казалось бы, исключительно далекой от приложений проблеме обоснования математики. Но именно они показали и колоссальные возможности, и принципиальные ограничения формализованных языков, положили начало строгому определению таких языков и разработке техники формализации, а любая программа является формализацией.