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/2017/newsitem/9204/9-- -11-October-2017-4th-Symposium-on-the-Foundations- of-Mathematics-SotFoM-4-Reverse-Mathematics-Munich -Germany DTSTAMP:20170717T150310 SUMMARY:4th Symposium on the Foundations of Mathem atics (SotFoM-4): Reverse Mathematics, Munich, Ger many DTSTART;VALUE=DATE:20171009 DTEND;VALUE=DATE:20171011 LOCATION:Munich, Germany DESCRIPTION:Reverse mathematics is concerned with examining exactly which axioms are necessary for v arious central mathematical theorems and results. The program is a relatively new one in the foundat ions of mathematics. It turns out that most theore ms are equivalent to one of five subsystems of sec ond order arithmetic. The main objective of the co nference is to explore the philosophical significa nce of reverse mathematics as a research program i n the foundations of mathematics. Speakers: Maria nna Antonutti Marfori (Munich Center for Mathemati cal Philosophy, LMU Munich), Walter Dean (Universi ty of Warwick) (TBC), Benedict Eastaugh (Universit y of Bristol), Marcia Groszek (Dartmouth College), Takako Nemoto (Japan Advanced Institute of Scienc e and Technology), Stephen G. Simpson (Pennsylvani a State University and Vanderbilt University). We invite the submission of abstracts, suitable f or a 40 minute talk, on topics related to any aspe cts of reverse mathematics. We encourage submissio ns from early career researchers and PhD students. Please send an abstract of around 1000-1500 words by email to sotfom at gmail.com in PDF format. Ab stracts should be prepared for blind review. The a uthor?s name, paper title, institutional affiliati on, and contact details should be included in the body of the email. X-ALT-DESC;FMTTYPE=text/html:
Reverse m athematics is concerned with examining exactly whi ch axioms are necessary for various central mathem atical theorems and results. The program is a rela tively new one in the foundations of mathematics. It turns out that most theorems are equivalent to one of five subsystems of second order arithmetic. The main objective of the conference is to explor e the philosophical significance of reverse mathem atics as a research program in the foundations of mathematics.
\n\nSpeakers: Marianna Antonu tti Marfori (Munich Center for Mathematical Philos ophy, LMU Munich), Walter Dean (University of Warw ick) (TBC), Benedict Eastaugh (University of Brist ol), Marcia Groszek (Dartmouth College), Takako Ne moto (Japan Advanced Institute of Science and Tech nology), Stephen G. Simpson (Pennsylvania State Un iversity and Vanderbilt University).
\n\n& nbsp;
We invite the submissio n of abstracts, suitable for a 40 minute talk, on topics related to any aspects of reverse mathemati cs. We encourage submissions from early career res earchers and PhD students. Please send an abstract of around 1000-1500 words by email to sotfom at&nbs p;gmail.com in PDF format. Abstracts sh ould be prepared for blind review. The author?s na me, paper title, institutional affiliation, and co ntact details should be included in the body of th e email.