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.

28 October 2013, AUC Logic Guest Lectures, Benedikt Loewe

Speaker: Benedikt Loewe
Title: How did Kurt Goedel prove both a completeness theorem and an incompleteness theorem?
Date: Monday 28 October 2013
Time: 18:00-19:00
Location: AUC common room, Science Park 113, Amsterdam

The lecture is organised for the 1st year students following the course 'Logic, Information flow and Argumentation'. It is open and anyone interested is welcome to attend.

For more information, see the AUC website at http://www.auc.nl/.

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