Теорема алгоритмов и теоремы Гёделя

Видеолекции участников международного проекта «Учёные будущего» Спикер: Искандер Калимуллин - доктор физико-математических наук, профессор РАН, главный научный сотрудник Казанского (Приволжского) федерального университета Тема: Теорема алгоритмов и теоремы Гёделя