Hilbert's programs
Subtitle: mathematical roots and philosophical horizons : selected essays
By: Wilfried Sieg
Series: Logic and computation in philosophy
Publisher: Oxford University Press
Published: 2013
Place of publication: New York
Language: eng
Number of pages: 439
ISBN-13: 9780195372229; 9780199707157
Subjects: Mathematics; Philosophy
Description: 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 mathematicallogic 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.