Towards a Semantic Language of Mathematics




Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Dec 20, 2016

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.


When autoplay is enabled, a suggested video will automatically play next.

Up next

to add this to Watch Later

Add to

Loading playlists...