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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!