Hilbert's Programs and Beyond PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Hilbert's Programs and Beyond PDF full book. Access full book title Hilbert's Programs and Beyond by Wilfried Sieg. Download full books in PDF and EPUB format.

Hilbert's Programs and Beyond

Hilbert's Programs and Beyond PDF Author: Wilfried Sieg
Publisher: Oxford University Press
ISBN: 0199707154
Category : Philosophy
Languages : en
Pages : 439

Book 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.