![]() |
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
1) Параллель между геометрическим поворотом в основаниях математики (гомотопическая теория типов и проект унивалентных оснований) и появлением претендующего на универсальность киноязыка. 2) О смерти автора в математике и кино. Компьютерные доказательства теорем и индустрия кино. Специфика авторства в математике. Верификация через авторство. Цитирование и авторитет.