Вычислимые функции, неразрешимые множества

Доктор физико-математических наук, профессор Валерий Иванович Опойцев (псевдоним: Валерий Босс). Счётность вычислимых функций. Теорема Поста. Существование перечислимого, но неразрешимого множества. Фундаментальный характер этой теоремы. Её доказательство.