10 essays devoted to the analysis of classical as well as modern proof theory
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 35395571
Anzahl: Mehr als 20 verfügbar
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New. Bestandsnummer des Verkäufers 35395571-n
Anzahl: Mehr als 20 verfügbar
Anbieter: PBShop.store US, Wood Dale, IL, USA
PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9780190948191
Anzahl: Mehr als 20 verfügbar
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Paperback. Zustand: New. Reprint. Hilbert's Programs and 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. Bestandsnummer des Verkäufers LU-9780190948191
Anzahl: Mehr als 20 verfügbar
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
PAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9780190948191
Anzahl: Mehr als 20 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Bestandsnummer des Verkäufers ria9780190948191_new
Anzahl: Mehr als 20 verfügbar
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers 0f3e41c8b2ec9a7cd818a40ccbf90932
Anzahl: Mehr als 20 verfügbar
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Zustand: New. Bestandsnummer des Verkäufers 35395571-n
Anzahl: Mehr als 20 verfügbar
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Zustand: New. Bestandsnummer des Verkäufers V9780190948191
Anzahl: Mehr als 20 verfügbar
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 35395571
Anzahl: Mehr als 20 verfügbar