AK
Знаю только от Хенкока, что наш гений снова узрел интересную зацепку, как отделить computationally relevant homotopy information от erasable.
Size: a a a
2017 November 21
2017 November 23
NP
Максим, а твоя лекция разве не на канале Topology Department НАН Украины?
NP
Найти не могу.
TN
Там только это: https://www.youtube.com/watch?v=UjjuCRlS-bA
TN
Но это саммые основы вообще, для Любашенко и Максименко
TN
Там ничего интересного :-)
NP
Ну да, а твоя недавняя не записана разве? С которой ты фотки кидал?
TN
Новую записали, Женя потом выложит
NP
VP
читайте Колмогорова, тогда станет понятно откуда у всего этого ноги растут. к тому же, @tonpa на недавнем киевфпрог сам говорил о том, что советская мысль после глушкова была в некоторой изоляции, и изобрела свою теорию категорий, основанную на гегеле.
VP
впрочем, это никак не оправдывает аспирантов, которые защищают кандидатские, пользуясь таким положением дел
VP
вообще, если задачей было найти каких-то вменяемых людей, то лучше их искать в институте кибернетики, а не на факультете
VP
начать можно с работ проф. Шлезенгера
TN
Pure Term Rewrite систем, никакого Барендрехта!
TN
хотя если присмотрется внутри там лямбда конечно :-)
TN
вряд ли кто-то в здравом уме выпустит прувер без лямбды сейчас
TN
я так понимаю это CoC + интерфейс для уравнений терм реврайта