Алгебра доказуемости и разреженная топология // Лев Беклемишев
В докладе рассмотрены два класса объектов, имеющих различную природу, но неожид ...
11 views
1878
542
4 years ago
01:43:09
13
Конференция Ломоносов 2020: Математическая логика и теория алгоритмов. Часть 2 ()
7 years ago
01:02:20
11
Алгебра доказуемости и разреженная топология // Лев Беклемишев
7 years ago
00:57:03
11
Алгебры доказуемости [2] // Лев Беклемишев
7 years ago
00:59:10
23
Алгебры доказуемости [1] // Лев Беклемишев
7 years ago
00:44:58
46
Лекция “Разрешимое и неразрешимое, доказуемое и недоказуемое в математике“ / И.Ш. ...
Back to Top