ENGLISH

Hilbert’s Programs and Beyond

By Wilfried Sieg

Book information

Publisher
Oxford University Press
Year
2013
ISBN
0195372220, 9780195372229
Language
english
Format
PDF
Filesize
3 MB (3656121 bytes)
Edition
1
Pages
464\452
Scanned
yes
Time added
2016-12-04 02:13:35
History;Mathematics;Science & Math;Logic;Pure MathUsed & Rental Textbooks;Specialty BoutiqueUsed & Rental Textbooks;Specialty Boutique;Mathema

Description

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.

Similar books