to Content
Header Image

02: Certainty in Logic and Mathematics

-
Hauptschule
Seminar / Seminar
english language

Certainty and exactness are and have always been the hallmark of
mathematics. In this course we will look into the sources of this
certainty, and into its benefits. Following great philosophers, e.g.
Aristotle, Leibniz, Frege, Russell, we approach the issues from
various viewpoints. In the last century mathematicians have
considerably refined our understanding of the foundations of their
subject, and have shown us the potentials as well as the limitations. We
will discuss the ideas and methods of Gödel, Brouwer, Hilbert,
Turing, Kripke and others. Questions like “Are there degrees of
Certainty?” and “Is certainty fixed and eternal, or does it depend on
us humans?” will be considered.

READING LIST:

P.J. Davis and R. Hersh, The mathematical experience. H.

Speakers

Professor, Institut für Analysis und Scientific Computing, Technische Universität Wien Chair
Utrecht University Chair

Dr. Rudolf TASCHNER

Professor, Institut für Analysis und Scientific Computing, Technische Universität Wien

1971-1976 Studium der Mathematik und Physik, Universität Wien
1976 Promotion sub auspiciis Praesidentis
1977 Tätigkeit, Technische Universität Wien
1980 Forschungsaufenthalt, Stanford University, CA
 Bis heute ist er an der Technischen Universität Wien als Professor tätig, lehrt in den verschiedensten Gebieten der Analysis und forscht im Bereich der von L.E.J. Brouwer begründeten intuitionistischen Mathematik. Rudolf Taschner gründete und betreibt zusammen mit seiner Frau Bianca und Kollegen der Technischen Universität Wien "math.space", einen Veranstaltungsort im Wiener MuseumsQuartier, der Mathematik als kulturelle Errungenschaft präsentiert und mehr als 30.000 Besucher im Jahr anlockt (www.math.space.or.at und www.mathcast.org).
1981 Habilitation (Mathematische Analysis) Technische Universität Wien

Dr. Dirk VAN DALEN

Utrecht University

 Math teacher Lyceum, assistant Mathematics Department Amsterdam, Assoc. Prof. Math Dept. Utrecht, Instructor MIT (math), Visiting Prof. Oxford, Prof. Phil of Math. and Logic Utrecht University, Prof. History of Logic and Phil. of Mathematics, Visiting Professor in Antwerp, and Leuven

Seminar-Week

show timetable