Universiteit van Amsterdam


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 cookies. More information Hide this message X