# Michael Hampe: Catalogue data in Autumn Semester 2016

Name | Prof. Dr. Michael Hampe |

Field | Philosophie |

Address | Professur für Philosophie ETH Zürich, CLW C 2 Clausiusstrasse 49 8092 Zürich SWITZERLAND |

Telephone | +41 44 632 30 40 |

Fax | +41 44 632 15 61 |

hampe@phil.gess.ethz.ch | |

Department | Humanities, Social and Political Sciences |

Relationship | Full Professor |

Number | Title | ECTS | Hours | Lecturers | |
---|---|---|---|---|---|

851-0125-51L | Man and MachineDoes not take place this semester. Particularly suitable for students of D-CHAB, D-HEST, D-MAVT, D-MATL | 3 credits | 2G | M. Hampe | |

Abstract | The lecture gives an overview about the different Man-Machine-Relations since the 16th century. Different modells of machines will be important here: the clockwork, the steam engine and the computer. | ||||

Objective | On the one hand modells of machines had a heuristical value in research on man, e.g. in Harvey's discovery of blood circulation in the 17th century or in brain research in the 20th century. On the other hand these modells were always criticised, sometimes polemically, because they are supposedly not adequate for man. Students should learn about the connections between the history of anthropology and technology and be able at the end of the course to evaluate the critical philosophical arguments that are connected with the metaphor of the machine. | ||||

851-0125-63L | Images of MathematicsParticularly suitable for students of D-MATH | 3 credits | 2G | M. Hampe, A. Schubbach | |

Abstract | The lecture series "Images of Mathematics" deals with the formalization of the objects and the logical language of mathematics from Hilbert to Gödel and considers its consequences in view of our conception of mathematical practice and knowledge, the limits of calculability and computability in mathematics, and the relation between the logical proof procedures and the involved intuitive aspects. | ||||

Objective | The lecture series will present philosophical problems of theoretical mathematics in the 20th century and will discuss the consequences of formalization and axiomatization. It aims at a critical reflection on the modern images of mathematics. | ||||

Content | How we understand Mathematics is probably strongly influenced by the Mathematics lessons we participated in during our school days. The common image of mathematics is therefore often characterized by the impression of a very stable form of knowledge with clear-cut problems and suitable recipes for finding the solution. It is a very static image which is very much in conflict with the rapid series of innovations that the discipline has experienced especially since the 19th century: Mathematics as a field of research has been highly innovative and even revolutionary as few other scientific disciplines in the last 200 hundred years. These mathematical innovations did not only contribute to a progress amassing more and more knowledge. They very often changed how mathematicians conceived of their discipline. Even a contribution to a specific research question that appears at first sight to be minor can sometimes establish new connections to other fields, found a whole research field of its own or introduce new methods thereby changing the whole image of mathematics in the same way that a small addition to a picture can alter radically what we take it to represent. The lecture series "Images of Mathematics" deals with a few moments in the history of the scientific discipline since the middle of the 19th century when the image of mathematics changed. In particular, it focuses on the consequences of the fact that in the 19th century mathematics started to not only reflect on their own conceptual and methodological foundations in a general manner (which had been done since the dawn of mathematics and was especially a philosophical task), but to formalize them in a strict, mathematical way: the objects of mathematics, its logical language and its proof procedures. Through Cantor's set theory, the mathematical treatment of logic since Boole and especially through Frege and the formalization of its axioms in a wide ranging discussion involving Zermelo, Fraenkel and others, this self-reflexive stance came to the fore. Yet, the deeper mathematics dug into its foundations, the more radical the problems became. Finally, the optimistic Hilbert program of laying the foundation of mathematics within mathematics and of proving its own consistency as well as its completeness contributed to clarifying of the foundation of mathematics primarily insofar as it was doomed to failure. Gödel proved his famous incompleteness theorems and thereby dismissed at the same time the formalist attempt to reduce mathematical truth to logical provability. His work resulted in detailed insights in the precariousness of the foundation of mathematics and further numerous of productive consequences within mathematics. Moreover, Gödel's theorems open many far-reaching and intriguing questions in view of our image of mathematics, questions concerning the conception of mathematical practice and knowledge, the limits of calculability of mathematics and the possible role of computability and machines in mathematics, the relation between the logical proof procedures and the involved intuitive aspects. In short, the image of mathematics is not as static as we sometimes expect it to be, it was radically redrawn by the mathematicians of the 20th century and has since then again been open to diverging interpretations. | ||||

Literature | For further reading (optional): Mark van Atten and Juliette Kennedy, Gödel's Logic, in: Handbook of the History of Logic, Vol 5: Logic from Russell to Church, ed. by Dov M. Gabbay and John Woods, Amsterdam 2009, 449-509; Jack Copeland et al. (eds.), Computability. Turing, Gödel, Church, and beyond, Cambridge 2013; Ian Hacking, Why is there philosophy of mathematics at all? Cambridge 2014; Pirmin Stekeler-Weithofer, Formen der Anschauung. Eine Philosophie der Mathematik, Berlin 2008; Christian Tapp, An den Grenzen des Endlichen. Das Hilbertprogramm im Kontext von Formalismus und Finitismus, Heidelberg 2013. | ||||

862-0050-00L | History and Philosophy of Knowledge: Goals, Methods and Work Technics Only for History and Philosophy of Knowledge MSc. This lecture is important as an Introduction to the Master Programme | 2 credits | 2G | N. El Kassar, N. Guettler, M. Hampe, F. Hupfer, C. Jany, B. Schär, M. Wulz | |

Abstract | The lecture series are held by all scientific disciplines involved in the HPK-Master programme and are meant to acquaint the students with the different ambitions, methods and techniques of each discipline. Furthermore, the lectures should serve as a "helpdesk" and "workshop" for all theses written within the M.A. programme. | ||||

Objective | The interdisciplinary lecture series are exclusively addressed to the students of the HPK-M.A. programme. They provide an insight into all the disciplines which participate in the M.A. programme and their specific demands, approaches, problems and techniques. Subsequent to the lectures, there will be an opportunity to discuss difficulties occurring within the procedures of thesis-writing. The series should provide and secure a substantial, methodological and formal orientation within the disciplines taught in the M.A.-program. | ||||

Prerequisites / Notice | Dates: Thursday, 10-12 |