Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Настоящая книга имеет целью ознакомить читателей с важнейшими из таких проблем (указанными в названии книги).
Эта новая проблематика — выявление алгоритмической природы элементарных теорий и их моделей — возникла на стыке теории моделей и теории алгоритмов. Это и многое другое вы найдете в книге Проблемы разрешимости и конструктивные модели (Ю. Л. Ершов)