Fwd: CfR: Formalize!(?) - January 16, 2021 via Zoom celebrating WLD 2021

[Joao Marcos]

---------- Forwarded message ---------

Formalize!(?) - A philosophical & educational perspective on
formalization in mathematics
Saturday - January 16, 2021
Zoom meeting
To celebrate the World Logic Day 2021 (which is actually two days earlier)
https://sites.google.com/view/wldzurich2021/startseite


Call for registration: We are organizing a one-day online workshop to
commemorate the World Logic Day, on the topic of formalization in
mathematics. Registration is free of charge and everybody is welcome
to attend. For further information, please check the following link:
https://sites.google.com/view/wldzurich2021/startseite

For registration, please use the following link:
https://ethz.zoom.us/meeting/register/tJElfu2vqzwsHNLvfdhtF8ZIGA51yOn6rMV_
This event is part of the celebration of world logic day. If you would
like to contribute an event as well,
please see http://wld.cipsh.international/organise_event.html for
further information.

== Speakers:
1. Kevin Buzzard (Imperial College London)
2. Paola Iannone (Loughborough University)
3. Peter Koepke (University of Bonn)
4. Anna Steensen (ETH Zurich)
5. Fenner Stanley Tanswell (Loughborough University)
6. Athina Thoma (University of East Anglia)
7. TBA

== Topic:
What are the chances and problems of the act of formalization in the
context of mathematics? 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 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.

== Registration:
The number of participants is limited and registrations will be
accepted on a first come, first serve basis. Therefore please register
as soon as
possible. There are no costs associated with registration. To receive
the zoom link, please see here for further information:
https://sites.google.com/view/wldzurich2021/startseite

== Contact:
Web: https://sites.google.com/view/wldzurich2021/startseite
Mail: jose.perez (at) gess.ethz.ch

== Organizers:
José Antonio Pérez Escobar (ETH Zurich) & Deniz Sarikaya (University
of Hamburg)