Hilbert's Programs and Beyond
Book Details
Format
Paperback / Softback
ISBN-10
0190948191
ISBN-13
9780190948191
Publisher
Oxford University Press Inc
Imprint
Oxford University Press Inc
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Aug 12th, 2019
Print length
456 Pages
Weight
680 grams
Dimensions
23.40 x 15.60 x 3.00 cms
Product Classification:
PhilosophyHistory of ideasPhilosophy of mathematicsMathematical logic
Ksh 8,500.00
Manufactured on Demand
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
David Hilbert was one of the great mathematicians who expounded the centrality of their subject in human thought. In this collection of essays, Wilfried Sieg frames Hilbert''s foundational work, from 1890 to 1939, in a comprehensive way and integrates it with modern proof theoretic investigations. Ten essays are devoted to the analysis of classical as well as modern proof theory; three papers on the mathematical roots of Hilbert''s work precede the analytical core, and three final essays exploit an open philosophical horizon for reflection on the nature of mathematics in the 21st century.
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.
Get Hilbert's Programs and Beyond by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Oxford University Press Inc and it has pages.