Mathematical Colloquium
The Mathematical Colloquium of the HHU Düsseldorf takes place on selected
Fridays from 4.45 pm to 5.45 pm in Lecture Hall 25.22 HS 5H.
Before the Colloquium (from 4.15 pm) all are welcome to have tea, coffee and biscuits in room
25.22.00.53.
Programme (Summer Semester 2023)
| 21.04.23 |
Johannes Sprang
(Duisburg-Essen).
|
|
TBA
show/hide abstract
TBA
|
| 05.05.23 |
Martina Juhnke-Kubitzke
(Universität Osnabrück).
|
|
TBA
show/hide abstract
TBA
|
| 12.05.23 |
Patrick Massot
(Paris-Saclay).
|
|
Why Explain Mathematics to Computers?
show/hide abstract
A growing number of mathematicians are having fun explaining mathematics to computers using proof assistant softwares. This process is called formalization. In this talk, I'll describe what formalization looks like, what kind of things it teaches us, and how it could even turn out to be useful (in our usual sense of "useful"). This will not be a talk about the foundations of mathematics, and I won't assume any prior knowledge about formalization.
|
Immanuel Halupczok und