Website:
https://www.mccme.ru/dubna/2014/courses/sossinsky.htm
Series of lectures
- Невычислимость, неразрешимость, недоказуемость (Тюринг $\to$ Колмогоров $\to$ Чейтин $\to$ Гёдель). Лекция 1
A. B. Sosinskii,
July 20, 2014 11:15
- Невычислимость, неразрешимость, недоказуемость (Тюринг $\to$ Колмогоров $\to$ Чейтин $\to$ Гёдель). Лекция 2
A. B. Sosinskii,
July 22, 2014 09:30
- Невычислимость, неразрешимость, недоказуемость (Тюринг $\to$ Колмогоров $\to$ Чейтин $\to$ Гёдель). Лекция 3
A. B. Sosinskii,
July 26, 2014 11:15
- Невычислимость, неразрешимость, недоказуемость (Тюринг $\to$ Колмогоров $\to$ Чейтин $\to$ Гёдель). Лекция 4
A. B. Sosinskii,
July 28, 2014 17:00
|
