Videos

Toward a new formalization of real numbers

Presenter
September 24, 2015
IAS
Keywords:
  • Short Talks by Postdoctoral Members
Toward a new formalization of real numbers Thumbnail
Play Video
Abstract
Toward a new formalization of real numbers
Supplementary Materials