Institute for Logic, Language and Computation

7 September 2012, Arend Heyting Lectures, Yiannis Moschovakis

Speaker: Yiannis Moschovakis
Title: The Church-Turing Thesis and relative recursion
Date: Friday 7 September 2012
Time: 16:00-18:00
Location: Trippenzaal, KNAW, Kloveniersburgwal 29, Amsterdam

The Arend Heyting Stichting was founded in 1981. It's goal is to further knowledge of the foundations of mathematics, in particular Intuitionism. On 7 September 2012 Yiannis Moschovakis will deliver the Arend Heyting Lecture to support this goal.

For more information, contact . The Heyting Lecture is part of the celebration of the Alan Turing Year 2012.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X