CUSO Summer school on recursion theory and philosophy

August 5, 2019 - August 7, 2019
Department of Philosophy, University of Geneva

Genève
Switzerland

Sponsor(s):

  • CUSO (Conférence universitaire de Suisse Occidentale)

Selected speakers:

Cornell University

Organisers:

University of Geneva
University of Geneva
University of Geneva
Université de Neuchâtel

Topic areas

Talks at this conference

Add a talk

Details

Call for Application

CUSO Summer school on recursion theory and philosophy

University of Geneva, Switzerland

Geneva, August 5 – 7, 2019.

Description

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. 

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ö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ödel's constructible universe, in proof theory and in recursive function theory, mainly in the theory of hyperarithmetic sets.

Lecturers

Denis Hirschfeldt (University of Chicago)

Harold Hodes (Cornell University)

Schedule

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:

1)The priority method (Hirschfeldt)

2)Definable sets and ramified-types: a thread through the foundations of mathematics (Hodes)

We will provide detailed information at our website: http://www.recursionandphilosophy.com/

Application

To apply send a CV a brief motivation letter (half a page) to:

joshua.babic@unige.ch

no later than June 15th, 2019. 

The event is supported by CUSO (Conférence universitaire de Suisse Occidentale).

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

Yes

June 15, 2019, 9:00am CET

Who is attending?

1 person is attending:

Michal Hladky
(unaffiliated)

See all

Will you attend this event?


Let us know so we can notify you of any change of plan.

RSVPing on PhilEvents is not sufficient to register for this event.