Logic List Mailing Archive

Formalize!? (2), Virtual, 15 Jan 2022 [WLD 2022 Event]

  Formalize!(?) 2 - A philosophical & educational perspective on
  formalization in mathematics
  Saturday - January 15, 2022
  A Zoom meeting to celebrate the World Logic Day 2022 (which is
  actually a day earlier)
  https://sites.google.com/view/wldzurich2022/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.
  To receive the zoom link, please see here for further
  information: https://sites.google.com/view/wldzurich2022/startseite

  == Speaker:
  1.      Merlin Carl (Europa Universität Flensburg)
  2.      Bernhard Fisseni (University Duisburg-Essen)
  3.      Dominik Kirst (TBC) (Saarland University)
  4.      Gisele Secco (Universidade Federal de Santa Maria)
  5.      Bernhard Schroeder (Universität Duisburg-Essen)
  6.      Anna Steensen (ETH Zurich)

  == 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:
  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/wldzurich2022/startseite

  Or go directly to the registration form: https://forms.gle/Yjx5kYpKmPwcZobT7

  == Contact:
  Web: https://sites.google.com/view/wldzurich2022/startseite
  Mail: jose.perez (at) gess.ethz.ch   / or deniz.sarikaya (at) uni-hamburg.de

  == Support
  We are thankful for the support by the Turing Center

  == Organizers:
  Jose Antonio Perez Escobar (ETH Zurich) & Deniz Sarikaya (University of 
Hamburg)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam