Hilbert’s Programs and Beyond

Main
Mathematics
Hilbert’s Programs and Beyond

Hilbert’s Programs and Beyond

Name: Hilbert’s Programs and Beyond
ISBN: 9780195372229

Wilfried Sieg

0 / 0

0 comments

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

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.

种类:

Mathematics

年:

2013

出版:

出版社:

Oxford University Press

语言:

english

页:

464

ISBN 10: