15 January 2024, Formalize!(?) – 4: A philosophical & educational perspective on formalization in mathematics, Online

A Zoom workshop to celebrate the World Logic Day 2024 (which is actually a day before this event. Registration is free of charge and everybody is welcome to attend.

This series of events began with the theme of foundations in the context of automated theorem proving: What are the chances and problems of the act of formalization in the context of mathematics? After three years on the topic, we have realized that this context is too narrow to understand formalization and thus we have we added a yearly theme (although not all talks are necessarily aligned with it). This year we focus on historical perspectives: How were different formal systems implemented ? How much choice was there? Is our current view an ironed out history, written by the winner of the debate?