BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260422T165547Z
DTSTART;TZID=Europe/Zurich:20190805T050000
DTEND;TZID=Europe/Zurich:20190807T130000
SUMMARY:CUSO Summer school on recursion theory and philosophy
UID:20260426T232009Z-iCalPlugin-Grails@philevents-web-6b96c54f56-bljdq
TZID:Europe/Zurich
LOCATION:Genève\, Switzerland
DESCRIPTION:<p>Call for Application</p>\n\n<p>CUSO Summer school on recursion theory and philosophy</p>\n<p>University of Geneva\, Switzerland</p>\n<p>Geneva\, August 5 &ndash\; 7\, 2019.</p>\n\n<p>Description</p>\n<p>The summer school aims at broadening the logical arsenal of formal philosophers and PhD students in philosophy. The courses will present some serious post-WWII logic for non-specialists. The event is inspired W. Hart's book "The evolution of Logic" and his presentation of what he called the four pillars of mathematical logic to a broad philosophical audience: constructibility\, forcing\, the priority method and Morley's theorem.&nbsp\;</p>\n<p>The first course will present one of these pillars: the priority method for constructing recursively enumerable sets and the necessary background on computing machines\, g&ouml\;del numbers etc. that is necessary to formulate it. The second course will give a closer look to the study of definable sets and their classification in a ramified hierarchy: a theme that has its roots in Principia Mathematica but which has stimulated developments in set theory\, in the theory of G&ouml\;del's constructible universe\, in proof theory and in recursive function theory\, mainly in the theory of hyperarithmetic sets.</p>\n<p>Lecturers</p>\n\n<p>Denis Hirschfeldt (University of Chicago)</p>\n<p>Harold Hodes (Cornell University)</p>\n\n<p>Schedule</p>\n<p>The school takes place over a period of 3 days August 5-7 at the University of Geneva. There will be two 2-hours lectures per day\, in the morning. There will be a facultative discussion session on one of the afternoons. The titles of the minicourses are:</p>\n<p>1)The priority method (Hirschfeldt)</p>\n<p>2)Definable sets and ramified-types: a thread through the foundations of mathematics (Hodes)</p>\n\n<p>We will provide detailed information at our website: http://www.recursionandphilosophy.com/</p>\n<p>Application</p>\n<p>To apply send a CV a brief motivation letter (half a page) to:</p>\n<p>joshua.babic@unige.ch</p>\n<p>no later than June 15th\, 2019.&nbsp\;</p>\n\n<p>The event is supported by CUSO (Conf&eacute\;rence universitaire de Suisse Occidentale).</p>\n\n
ORGANIZER;CN=Joshua Babic;CN=Fabrice Correia;CN=Michal Hladky;CN=Olivier Massin:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR