BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2021/newsitem/12281/16
 -January-2021-Formalize---A-philosophical-educatio
 nal-perspective-on-formalization-in-mathematics
DTSTAMP:20201231T144237
SUMMARY:Formalize!(?) - A philosophical & educatio
 nal perspective on formalization in mathematics
DTSTART;TZID=Europe/Amsterdam:20210116T155000
DTEND;TZID=Europe/Amsterdam:20210116T200000
LOCATION:Online via Zoom
DESCRIPTION:It is often said, that all of mathemat
 ics can be reduced to first-order logic and set th
 eory. The derivation indicator view says that all 
 proofs stand in some relation to a derivation, i.e
 . a mechanically checkable syntactical objects fol
 lowing fixed rules, that would not have any gaps. 
 For a long time this was a mere hope. There may ha
 ve been proofs of concepts from early logicists bu
 t derivation never played a big role in mathematic
 al practice. The modern computer might change this
 . Interactive and automated theorem provers promis
 e to make the construction of a justification with
 out any gaps feasible for complex mathematics.  Is
  this promise justified? Will the future of mathem
 atical practice shift to more formal mathematics? 
 Should it? We are organizing a one-day online work
 shop to commemorate the World Logic Day, on the to
 pic of formalization in mathematics. We hope to il
 luminate such questions and focus especially on wh
 at these developments mean for the future of the c
 urriculum of university students.This event featur
 es speakers speaking about both concrete projects 
 and reflections on such endeavours in general.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>It is often sa
 id, that all of mathematics can be reduced to firs
 t-order logic and set theory. The derivation indic
 ator view says that all proofs stand in some relat
 ion to a derivation, i.e. a mechanically checkable
  syntactical objects following fixed rules, that w
 ould 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 co
 mputer might change this. Interactive and automate
 d theorem provers promise to make the construction
  of a justification without any gaps feasible for 
 complex mathematics.</p>\n\n  <p>Is this promise j
 ustified? Will the future of mathematical practice
  shift to more formal mathematics? Should it? We a
 re organizing a one-day online workshop to commemo
 rate the World Logic Day, on the topic of formaliz
 ation in mathematics. We hope to illuminate such q
 uestions and focus especially on what these develo
 pments mean for the future of the curriculum of un
 iversity students.This event features speakers spe
 aking about both concrete projects and reflections
  on such endeavours in general.</p>\n
URL:https://sites.google.com/view/wldzurich2021/
CONTACT:José Antonio Pérez Escobar at jose.perez a
 t gess.ethz.ch
END:VEVENT
END:VCALENDAR