### Logic List Mailing Archive

## Workshop on Foundational Theories in Mathematics

Workshop on Foundational Theories in Mathematics
Department of Mathematics - University of Trento (Italy)
Trento, September 03--07, 2001
The aim of the workshop is to present three different theories
for the foundations of Mathematics and to discuss their specific strengths;
their mutual relationships; the extent to which they are comparable and
the open problems to be tackled in order to gain an even deeper
understanding of the philosophical and technical interrelations between the
various theories as potential foundations of Mathematics.
There will be three series of lectures on
-- Set Theory by Philip Welch (Institut fuer Formale Logik, Vienna and
University of Bristol);
-- Topos Theory by Ieke Moerdijk (University of Utrecht);
-- Constructive Type Theory by Giovanni Sambin (University of Padua).
Each series of lectures will present the historical origins and
the initial development of the respective theory; the theory's fundamental
concepts and ideas and their technical realisation; a discussion of the
theory's foundational interest and relevance; a comparison of the theory
with the other foundational theories.
The intended audience of this workshop are mathematicians, philosophers and
computer scientists with a solid background in logic who, however, will not
be expected to have a background in all the three foundational theories
mentioned above.
For further information: http://www.science.unitn.it/~baratell/ftm.html
_______________________________________________________________________________
_________________________________________________________________________
Dipartimento di Matematica tel +39 0461 881616
Universita` di Trento fax +39 0461 881624
via Sommarive 14 e-mail baratell@science.unitn.it
38050 Povo TN - Italia
_________________________________________________________________________