Более шестидесяти лет назад математические логики, определяя именно концепцию алгоритма, дали содержание древней человеческой идеи эффективного расчета. Их определения привели к созданию цифрового компьютера, интересного примера изгиба мышления до конца.