BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/239/20-June-2002-What-is-the-world-of-mathematics
-Joachim-Lambek
DTSTAMP:20020613T000000
SUMMARY:What is the world of mathematics?, Joachim
Lambek
ATTENDEE;ROLE=Speaker:Joachim Lambek
DTSTART:20020620T140000
DTEND:20020620T150000
LOCATION:De Uithof, Centrum-Gebouw Zuid, Room F119
, Utrecht
DESCRIPTION:Abstract: It may be argued that the
language of mathematics is {\\it about the} catego
ry of sets, although the definite article requires
some justification. As possible worlds of mathema
tics we may admit all models of type theory, by wh
ich we mean all {\\it local toposes}. For an intui
tionist, there is a distinguished local topos, nam
ely the so-called {\\it free topos}, which may be
constructed as the Tarski-Lindenbaum category of i
ntuitionistic type theory. However, for a classica
l 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 t
o be impossible. This event is coordinated with
the Sixth Workshop on Games in Logic, Language an
d Computation, which will take place at the same l
ocation on the same date. For more information, se
e http://www.illc.uva.nl/~bcate/gllc6/ .
X-ALT-DESC;FMTTYPE=text/html:\n \n
Abstract:

\n It may be argued that the l
anguage of mathematics is {\\it about the}\ncatego
ry of sets, although the definite article requires
some justification. As\npossible worlds of mathem
atics we may admit all models of type theory, by w
hich\nwe mean all {\\it local toposes}. For an int
uitionist, there is a distinguished\nlocal topos,
namely the so-called {\\it free topos}, which may
be constructed as\nthe Tarski-Lindenbaum category
of intuitionistic type theory. However, for a\ncla
ssical mathematician, to pick a distinguished mode
l may be as difficult as to\ndefine the notion of
truth in classical type theory, which Tarski has s
hown to\nbe impossible.\n

\n \n <
p>\n This event is coordinated with the Six
th Workshop on Games in Logic,\nLanguage and Compu
tation, which will take place at the same location
on the same\ndate. For more information, see http://www.illc.uva.nl/~bcate/gllc6/\
n.\n \n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/239/20-June-2002-What-is-the-world-of-mathematics
-Joachim-Lambek
END:VEVENT
END:VCALENDAR