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/2016/newsitem/7339/10- 11-June-2016-Intuitionism-Computation-and-Proof-Se lected-themes-from-the-research-of-G-Kreisel-Paris -France DTSTAMP:20160430T000000 SUMMARY:Intuitionism, Computation and Proof: Selec ted themes from the research of G. Kreisel, Paris, France DTSTART;VALUE=DATE:20160610 DTEND;VALUE=DATE:20160611 LOCATION:Paris, France DESCRIPTION:This workshop will critically explore Georg Kreisel's seminal contributions to logic and the philosophy of mathematics, by bringing togeth er a number of experts to discuss developments ini tiated or significantly advanced by Kreisel's work in different areas. The discussion will revolve a round three main topics: the "unwinding program" i n proof theory, new insights about intuitionism an d finitism in the foundations of mathematics, and Church's thesis and informal rigor in computabilit y and philosophy of mathematics. For more inform ation, see the conference webpage at http://www.ih pst.cnrs.fr/en/activites/conferences/. To enquire about the workshop, please contact the organizers at marianna.antonutti at gmail.com and mattia.petr olo at univ-paris1.fr. X-ALT-DESC;FMTTYPE=text/html:\n
This works hop will critically explore Georg Kreisel's semina l\n contributions to logic and the philosophy of mathematics, by\n bringing together a num ber of experts to discuss developments\n init iated or significantly advanced by Kreisel's work in\n different areas. The discussion will rev olve around three main\n topics: the "un winding program" in proof theory, new\n insights about intuitionism and finitism in the fo undations of\n mathematics, and Church's thes is and informal rigor in\n computability and philosophy of mathematics.\n
\n \nFor more information, see the conference webp age at\n http://www.ihpst.cnrs.fr/en/activites/ conferences/.\n To enquire about the w orkshop, please contact the organizers at \n marianna.antonutti at gmail.com and mattia.petrolo at univ-par is1.fr.\n
URL:/NewsandEvents/Archives/2016/newsitem/7339/10- 11-June-2016-Intuitionism-Computation-and-Proof-Se lected-themes-from-the-research-of-G-Kreisel-Paris -France END:VEVENT END:VCALENDAR