Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Hilbert's Programs and Beyond

Hilbert's Programs and Beyond

Sieg, Wilfried

Paperback

FictionGeneral MathematicsLogic

ISBN10: 0190948191
ISBN13: 9780190948191
Publisher: Oxford University Press
Published: Aug 1 2019
Pages: 456
Weight: 1.40
Height: 1.00 Width: 6.10 Depth: 9.10
Language: English
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.

Also in

General Mathematics

View All