Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

10-11 June 2016, Intuitionism, Computation and Proof: Selected themes from the research of G. Kreisel, Paris, France

Date: 10-11 June 2016
Location: Paris, France

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.

For more information, see the conference webpage at http://www.ihpst.cnrs.fr/en/activites/conferences/. To enquire about the workshop, please contact the organizers at and .

Please note that this newsitem has been archived, and may contain outdated information or links.