Institute for Logic, Language and Computation

News and Events: 7 September 2012, Arend Heyting Lectures, Yiannis Moschovakis

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

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 illc at uva.nl. The Heyting Lecture is part of the celebration of the Alan Turing Year 2012.