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  <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. 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.</p>\n\n  <p>This is an affiliated minisymposium
  to the DMV and ÖMG-annual meeting.</p>\n
URL:https://thinkingaboutproofs.wordpress.com/
CONTACT:deniz.sarikaya at uni-hamburg.de
END:VEVENT
END:VCALENDAR