Talk page

Title:
Toward a new formalization of real numbers

Speaker:
Catherine Lelay

Link:
https://www.ias.edu/video/shorttalks/2015/0924-Catherine%20Lelay