Hilbert's Programs and Beyond
Book Details
Format
Hardback or Cased Book
ISBN-10
0195372220
ISBN-13
9780195372229
Publisher
Oxford University Press Inc
Imprint
Oxford University Press Inc
Country of Manufacture
US
Country of Publication
GB
Publication Date
Mar 7th, 2013
Print length
464 Pages
Weight
754 grams
Dimensions
24.30 x 18.00 x 3.50 cms
Product Classification:
Philosophy: logicPhilosophy of mathematicsHistory of mathematicsComputer science
Ksh 25,100.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.
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.