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.
No specific trending topics match this video yet.
Explore All Trends