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.

20 May 2015, Seminar on Provability, Interpretability, Intuitionism and Arithmetic, Room G2.13, Science Park 904, Amsterdam

Date: Wednesday 20 May 2015
Time: 15:00-17:00
Location: Room G2.13, Science Park 904, Amsterdam

We will have a session with two speakers. You are kindly invited to attend.

Speaker 1: Jeroen Goudsmit (Utrecht University)
Title: Finite frames fail: How Infinity Works its Way into the Semantics of Admissibility

Speaker 2: Rutger Kuyper (Radboud University Nijmegen)
Title: Intuitionistic logic, computability, and the Medvedev and Muchnik lattices

For more information, see http://phil.uu.nl/piia/

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