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.
|
Rudolf TASCHNER
|
Professor, Institut für Analysis und Scientific Computing, Technische Universität Wien | |
Chair | |
|
|
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 |
| 1981 | Habilitation (Mathematische Analysis) Technische Universität Wien |
| | 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). |
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 |
