Please note that this newsitem has been archived, and may contain outdated information or links.
5 February 2025, KdVI General Mathematics Colloquium, Johan Commelin
Speaker: Johan Commelin
Title: math \over human \join computer
Date: Wednesday 5 February 2025
Time: 16:00-17:00
Location: Room C0.110, Science Park 904, Amsterdam
Humanity has developed many different ways to communicate mathematics, ranging from the very intuitive to the rigorous and precise. In this talk I will explore how we communicate mathematics. Using various examples, I will explain how formal proof languages and computers can enhance the mathematical ecosystem, thereby allowing us to expand the ways in which we practice mathematics.
For more information, see
https://kdvi.uva.nl/news-and-events/colloquia/general-mathematics-colloquium.html
or contact Jeroen Zuiddam at j.zuiddam at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.