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/current/newsitem/13005
/15-January-2022-Workshop-Formalize-2-Virtual
DTSTAMP:20210925T153757
SUMMARY:Workshop "Formalize!(?) 2", Virtual
DTSTART;TZID=Europe/Amsterdam:20220115T151500
DTEND;TZID=Europe/Amsterdam:20220115T194500
LOCATION:Virtual
DESCRIPTION:We are organizing a one-day online wor
kshop to commemorate the World Logic Day, on the t
opic of formalization in mathematics. Registration
is free of charge and everybody is welcome to att
end. Topic: What are the chances and problems of
the act of formalization in the context of mathema
tics? It is often said, that all of mathematics ca
n 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 me
chanically checkable syntactical objects following
fixed rules, that would not have any gaps. For a
long time this was a mere hope. There may have bee
n proofs of concepts from early logicists but deri
vation never played a big role in mathematical pra
ctice. The modern computer might change this. Inte
ractive and automated theorem provers promise to m
ake the construction of a justification without an
y gaps feasible for complex mathematics. Is this p
romise 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 th
e future of the curriculum of university students.
This event features speakers speaking about both
concrete projects and reflections on such endeavou
rs in general.
X-ALT-DESC;FMTTYPE=text/html:\n We are organiz
ing a one-day online workshop to commemorate the W
orld Logic Day, on the topic of formalization in m
athematics. Registration is free of charge and eve
rybody is welcome to attend.

\n\n Topic: Wh
at are the chances and problems of the act of form
alization in the context of mathematics? It is oft
en 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 chec
kable syntactical objects following fixed rules, t
hat would not have any gaps. For a long time this
was a mere hope. There may have been proofs of con
cepts from early logicists but derivation never pl
ayed a big role in mathematical practice. The mode
rn computer might change this. Interactive and aut
omated theorem provers promise to make the constru
ction of a justification without any gaps feasible
for complex mathematics. Is this promise justifie
d? 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 fea
tures speakers speaking about both concrete projec
ts and reflections on such endeavours in general.<
/p>\n
URL:https://sites.google.com/view/wldzurich2022/
CONTACT:jose.perez at gess.ethz.ch
END:VEVENT
END:VCALENDAR