Edit this event

Intuitionism, Computation, and Proof: Selected themes from the research of G. Kreisel

June 10, 2016 - June 11, 2016

IHPST (Université Paris 1)

Salle de conférence
Rue du Four 13
Paris 75006
France

Speakers:

Walter Dean

University of Warwick

Michael Detlefsen

University of Notre Dame

Dan Isaacson

Oxford University

Reinhard Kahle

Universidade de Lisboa

Ulrich Kohlenbach

Technische Universität Darmstadt

Angus Macintyre

Queen Mary University of London

David Charles McCarty

Indiana University

Joan Rand-Moschovakis

Occidental College

Dana Scott

Carnegie Mellon University

Annika Siders

University of Helsinki

Göran Sundholm

Leiden University

Mark Van Atten

CNRS, Paris

Organisers:

Marianna Antonutti Marfori

IHPST Paris, University of Salzburg

Mattia Petrolo

IHPST, Université Paris 1

Topic areas

Talks at this conference

Add a talk

Details

This workshop will critically explore Georg Kreisel’s seminal contributions to logic and the philosophy of mathematics, by bringing together a number of experts to discuss developments initiated or significantly advanced by Kreisel's work in different areas. The discussion will revolve around three main topics: the “unwinding program” in proof theory, new insights about intuitionism and finitism in the foundations of mathematics, and Church’s Thesis and informal rigor in computability and philosophy of mathematics.

http://www.ihpst.cnrs.fr/en/activites/conferences/colloque-intuitionism-computation-and-proof-selected-themes-research-g-kreisel