News and Events: 7 September 2012, Arend Heyting Lectures, Yiannis Moschovakis
Speaker: Yiannis Moschovakis
Title: The Church-Turing Thesis and relative recursion
Date and time: Friday 7 September 2012, 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 illcuva.nl. The Heyting Lecture is part of the celebration of the Alan Turing Year 2012.