12+54:07
Теоремы Гёделя о неполноте
4
просмотра
5 лет назад
Ссылка на плейлистhttps://home.strannik-j.org/plst/714494/
7
02.12.2024
Лекции
7 видео
12+
12+48:34
I. Основания математики: теория множеств vs. теория типов
43
просмотра
4 года назад
12+53:57
II. Унивалентность и понятие структуры в философии математики
9
просмотров
4 года назад
12+1:00:34
III. Понятие доказательства: программы и теоремы
6
просмотров
4 года назад
12+42:40
Тождество объектов: критерии тождества
4
просмотра
2 года назад
12+40:44
Тождество объектов: диахроническое тождество
4
просмотра
2 года назад
12+39:00
Абстрактные объекты vs конкретные объекты
4
просмотра
2 года назад