Loading...

Towards a Semantic Language of Mathematics

8,400 views

Loading...

Loading...

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.

Loading...

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

Up next


to add this to Watch Later

Add to

Loading playlists...