Abstract:
The talk will be an attempt to complete some thoughts of
Tarski about the ontology of mathematics. We will outline what we see
to
be a tension between his nominalism and his model theory, and we will
propose a resolution of this tension based on some ideas of Poincare
and
Hilbert.