10-11 Jun 2016
Paris, France
*Intuitionism, Computation, and Proof: Selected themes from the research of G. Kreisel* 10-11 June, 2016, IHPST - Paris 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. *Invited speakers* Mark van Atten (CNRS) Walter Dean (University of Warwick) Michael Detlefsen (University of Notre Dame) Daniel Isaacson (University of Oxford) Reinhard Kahle (Universidade Nova de Lisboa) Ulrich Kohlenbach (University of Darmstadt) Jean-Louis Krivine (Universit Paris Diderot, CNRS) Angus Macintyre (Queen Mary University of London) David McCarty (University of Indiana) Joan Rand Moschovakis (Occidental College) Dana Scott (Carnegie Mellon University) Annika Siders (University of Helsinki) Gran Sundholm (University of Leiden) *Conference venue* Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST) Salle de confrences 13, rue du Four 75006 Paris http://www.ihpst.cnrs.fr/ The detailed schedule will be available on the conference webpage in due time http://www.ihpst.cnrs.fr/en/activites/conferences/intuitionism-computation-and-proof-selected-themes-research-g-kreisel Attending the workshop is free, but since space is limited we ask participants to register by sending an email to mattia.petrolo@univ-paris1.fr. To enquire about the workshop, please contact the organizers at marianna.antonutti@gmail.com and mattia.petrolo@univ-paris1.fr. Best wishes, Marianna Antonutti Marfori University of Salzburg (Austria) and Institut d'Histoire et de Philosophie des Sciences et des Techniques (Paris, France) Mattia Petrolo Institut d'Histoire et de Philosophie des Sciences et des Techniques, CNRS/ENS/Universit Paris 1 Panthon-Sorbonne (France) -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam