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