Hilbert's Programs & Beyond presents the foundational work of David Hilbert in a sequence of thematically organized essays. They first trace the roots of Hilbert's work to the radical transformation of mathematics in the 19th century and bring out his pivotal role in creating mathematical logic and proof theory. They then analyze techniques and results of "classical" proof theory as well as their dramatic expansion in modern proof theory. This intellectual experience finally opens horizons for reflection on the nature of mathematics in the 21st century: Sieg articulates his position of reductive structuralism and explores mathematical capacities via computational models.
Rezensionen / Stimmen
[T]his collection is rich in both historical detail and philosophical ideas, living up to Sieg's exhortations for philosophy of mathematics to integrate conceptual, technical, and historical aspects into its perspective. * Oran Magal, Philosophia Mathematica * Anyone who has at least a passing interest in the philosophy of mathematics, the relatively recent history of mathematics, mathematical logic (especially proof theory), the growth of ideas in mathematics, or the foundations of mathematics, will find this essential reading. Sieg is a major scholar in all of these areas, and he has shown, throughout his career, how work in any of these areas illuminates all of them. * Stewart Shapiro, Notre Dame Philosophical Reviews *
Sprache
Verlagsort
Zielgruppe
Für höhere Schule und Studium
Philosophers of mathematics; historians of modern mathematics and logic; researchers in philosophical and mathematical logic, but also in computer science and artificial intelligence.
Illustrationen
Maße
Höhe: 242 mm
Breite: 163 mm
Dicke: 37 mm
Gewicht
ISBN-13
978-0-19-537222-9 (9780195372229)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
Wilfried Sieg is the Patrick Suppes Professor of Philosophy at Carnegie Mellon University. He received his Ph.D. from Stanford University in 1977. From 1977 to 1985, he was Assistant and Associate Professor at Columbia University. In 1985, he joined the Carnegie Mellon faculty as a founding member of the University's Philosophy Department and served as its Head from 1994 to 2005. He is internationally known for mathematical work in proof theory, historical work on modern logic and mathematics, and philosophical essays on the nature of mathematics. Sieg is a Fellow of the American Academy of Arts and Sciences.
Autor*in
Patrick Suppes Professor of PhilosophyPatrick Suppes Professor of Philosophy, Carnegie Mellon University, Mount Lebanon, PA, USA
INTRODUCTION; I. MATHEMATICAL ROOTS; II. ANALYSES; HISTORICAL; SYSTEMATICAL; III. PHILOSOPHICAL HORIZONS
