The dawn of formalized mathematics
Invited talk Andrej Bauer June 24, 2021 8th European Congress of Mathematics Portorož - Slovenia
🔥 Related Trending Topics
LIVE TRENDSThis video may be related to current global trending topics. Click any trend to explore more videos about what's hot right now!
THIS VIDEO IS TRENDING!
This video is currently trending in Pakistan under the topic 'f'.
About this video
Invited talk
Andrej Bauer
June 24, 2021
8th European Congress of Mathematics
Portorož - Slovenia
Video Information
Views
2.0K
Total views since publication
Likes
100
User likes and reactions
Duration
01:04:34
Video length
Published
Nov 18, 2021
Release date
Quality
hd
Video definition