The Dawn of Formalized Mathematics: Insights from Andrej Bauer’s Keynote at ECM 2021 🌐
Discover how formalized mathematics is transforming the future of mathematical research in this inspiring talk by Andrej Bauer at the 8th European Congress of Mathematics.
Andrej Bauer
2.0K views • Nov 18, 2021
About this video
Invited talk
Andrej Bauer
June 24, 2021
8th European Congress of Mathematics
Portorož - Slovenia
Andrej Bauer
June 24, 2021
8th European Congress of Mathematics
Portorož - Slovenia
Video Information
Views
2.0K
Likes
100
Duration
01:04:34
Published
Nov 18, 2021
User Reviews
4.5
(2) Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.