Hilbert's Programs and Beyond
- Publisher's listprice GBP 41.99
-
18 958 Ft (18 055 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 10% (cc. 1 896 Ft off)
- Discounted price 17 062 Ft (16 250 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
18 958 Ft
Availability
printed on demand
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher OUP USA
- Date of Publication 12 August 2019
- ISBN 9780190948191
- Binding Paperback
- No. of pages456 pages
- Size 155x231x25 mm
- Weight 635 g
- Language English
- Illustrations 9 illus. 0
Categories
Short description:
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.
MoreLong 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.
Anyone who has at least a passing interest in the philosophy of mathematics, the relatively recent history of mathematics, mathematical logic (especially proof theory), the growth of ideas in mathematics, or the foundations of mathematics, will find this essential reading. Sieg is a major scholar in all of these areas, and he has shown, throughout his career, how work in any of these areas illuminates all of them.
