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 June 2002, What is the world of mathematics?, Joachim Lambek

Speaker: Joachim Lambek
Date: Thursday 20 June 2002
Time: 14:00-15:00
Location: De Uithof, Centrum-Gebouw Zuid, Room F119, Utrecht

Abstract:
It may be argued that the language of mathematics is {\it about the} category of sets, although the definite article requires some justification. As possible worlds of mathematics we may admit all models of type theory, by which we mean all {\it local toposes}. For an intuitionist, there is a distinguished local topos, namely the so-called {\it free topos}, which may be constructed as the Tarski-Lindenbaum category of intuitionistic type theory. However, for a classical mathematician, to pick a distinguished model may be as difficult as to define the notion of truth in classical type theory, which Tarski has shown to be impossible.

This event is coordinated with the Sixth Workshop on Games in Logic, Language and Computation, which will take place at the same location on the same date. For more information, see http://www.illc.uva.nl/~bcate/gllc6/ .

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