Лекции о вычислимых функциях. Математическая логика и основания математики. Успенский В.А.
Понятия алгоритма и вычислимой функции являются одними из центральных понятий современной математики. Их роль в математике середины XX века можно, пожалуй, сравнить с ролью понятия множества в математике конца XIX века. Настоящие "Лекции"...