News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

16 January 2021, Formalize!(?) - A philosophical & educational perspective on formalization in mathematics

Date: Saturday 16 January 2021
Time: 15:50-20:00
Location: Online via Zoom

It is often said, that all of mathematics can be reduced to first-order logic and set theory. The derivation indicator view says that all proofs stand in some relation to a derivation, i.e. a mechanically checkable syntactical objects following fixed rules, that would not have any gaps. For a long time this was a mere hope. There may have been proofs of concepts from early logicists but derivation never played a big role in mathematical practice. The modern computer might change this. Interactive and automated theorem provers promise to make the construction of a justification without any gaps feasible for complex mathematics.

Is this promise justified? Will the future of mathematical practice shift to more formal mathematics? Should it? We are organizing a one-day online workshop to commemorate the World Logic Day, on the topic of formalization in mathematics. We hope to illuminate such questions and focus especially on what these developments mean for the future of the curriculum of university students.This event features speakers speaking about both concrete projects and reflections on such endeavours in general.

For more information, see https://sites.google.com/view/wldzurich2021/ or contact José Antonio Pérez Escobar at .

Please note that this newsitem has been archived, and may contain outdated information or links.