Вычислимость в произвольных областях и базисах

В настоящем номере, в разделе „Листая старые страницы“ редколлегия предлагает вниманию читателей статью А. П. Ершова „Вычислимость в произвольных областях и базисах“. Читая много лет назад эту статью, я был поражен тогда, и сейчас еще удивляюсь тому, как сумел А. П. Ершов конкретно, а не только абстрактно, предвидеть, что развитие программирования сделает математическую логику прикладной дисциплиной. Программистам-кодировщикам статья эта может показаться неинтересной и не нужной. Тем же, кто захочет разобраться, пусть даже не полностью, можно пожелать лучше понять базис современного программирования, понять и осознать связи теории множеств, теории алгоритмов и математической логики и их роль в развитии программирования в ближайшие десятилетия.