Logic List Mailing Archive

CfP: Formalize!(?) – 4: A philosophical & educational perspective on formalization in mathematics, Online, 15. January 2024 [celebrating World Logic Day]

Formalize!(?)  4: A philosophical & educational perspective on formaliza
tion in mathematics 

Monday - January 15, 2024

A Zoom workshop to celebrate the World Logic Day 2024 (which is actually a 
day before this event)

= Call for registration:
We are organizing a one-day online workshop to commemorate the World Logic 

Registration is free of charge and everybody is welcome to attend. To recei
ve the zoom link, please see for further Information the homepage.
Or go directly to the google form:

== Speakers:
  Sikunder Ali (Norwegian University of Science and Technology )
  Sepehr Ehsani (University College London)
  Nicolas Michel (U Wuppertal)
  Jemma Lorenat (Pitzer College)
  Michele Luchetti (MPIWG, Berlin)
  Arils Remaki (SPHere, Universit Paris Cit) 

== World Logic Day
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.

== Topic:
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 contex
t 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 tha
t all proofs stand in some relation to a derivation, i.e. a mechanically ch
eckable 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 c
oncepts from early logicists but derivation never played a big role in math
ematical practice. The modern computer might change this. Interactive and a
utomated theorem provers promise to make the construction of a justificatio
n without any gaps feasible for complex mathematics. Is this promise justif
ied? Will the future of mathematical practice shift to more formal mathemat
ics? Should it? We hope to illuminate such questions and focus especially o
n what these developments mean for the future of the curriculum of universi
ty students. 

After three years on the topic, we have realized that this context is too n
arrow to understand formalization and thus we have we added a yearly theme 
(although not all talks are necessarily aligned with it). This year we focu
s on historical perspectives: How were different formal systems implemented
? How much choice was there? Is our current view an ironed out history, wri
tten by the winner of the debate?

== Contact:
Web: https://sites.google.com/view/wldzurich2024
Mail: jose.antonio.perez.escobar (at ) ens.psl.eu / or Deniz.Sarikaya (at) 

== Organizers:
Jose Antonio Perez Escobar (ESN Paris) & Deniz Sarikaya (Vrije Universiteit
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php