Hilbert's Programs and BeyondDe (autor) Wilfried Sieg
en Limba Engleză Paperback – 12 Aug 2019
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.
|Toate formatele și edițiile||Preț||Express|
|Paperback (1)||171.79 lei Economic 24-28 zile||+98.49 lei 10-20 zile|
|Oxford University Press – 12 Aug 2019||171.79 lei Economic 24-28 zile||+98.49 lei 10-20 zile|
|Hardback (1)||437.76 lei Economic 24-28 zile|
|Oxford University Press – 07 Mar 2013||437.76 lei Economic 24-28 zile|
Certainly mathematical logicians with a historical bent will eat [Hilbert's Programs and Beyond] all up like candy. But others will, too. It is, or at least should be, the case that all of us have some awareness of the controversies of the early 20th century and the role they played in bringing about the shape of contemporary mathematics. ... To revisit these themes and explore certain of their facets in great detail is a beneficial and pleasant experience.