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/12969/27
-September-2021-Minisymposium-Thinking-about-proof
s-at-DMV-OeMG-conference-Virtual
DTSTAMP:20210917T001050
SUMMARY:Minisymposium "Thinking about proofs" (at
DMV-OeMG conference), Virtual
DTSTART;TZID=Europe/Amsterdam:20210927T150000
DTEND;TZID=Europe/Amsterdam:20210927T180000
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. Thi
s minisymposium brings together philosophers, educ
ators and linguist to study both proofs as they ca
n be found in real textbook as well as in the logi
cal sense, i.e. derivations. This is an affiliate
d minisymposium to the DMV and ÖMG-annual meeting.
X-ALT-DESC;FMTTYPE=text/html:\n 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. This minisymposium brings tog
ether philosophers, educators and linguist to stud
y both proofs as they can be found in real textboo
k as well as in the logical sense, i.e. derivation
s.

\n\n This is an affiliated minisymposium
to the DMV and ÖMG-annual meeting.

\n
URL:https://thinkingaboutproofs.wordpress.com/
CONTACT:deniz.sarikaya at uni-hamburg.de
END:VEVENT
END:VCALENDAR