Скачать
Towards a Semantic Language of Mathematics
Автор: Wolfram
Загружено: 2016-12-20
Просмотров: 12671
Описание:
This film discusses the techniques, and outlines the vision of the future computerization of pure mathematics through interviews and talk segments from renowned mathematicians, meta-mathematicians, computational mathematicians, and theorem provers.
The interviews and talks were conducted at the Sloan Foundation sponsored "Semantic Representation of Mathematical Knowledge Workshop", held at the Fields Institute (Toronto) in February 2016.
Scripted, produced, and edited by Amy Young and Michael Trott.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018]](https://image.4k-video.ru/id-video/vmcbm5FxRJE)
