Hilbert's Programs and Beyond

Wilfried Sieg

Anno: 2013
Rilegatura: Hardback
Pagine: 464 p.
Testo in English
Dimensioni: 242 x 163 mm
Peso: 742 gr.
  • EAN: 9780195372229
pagabile con 18App pagabile con Carta del Docente

Articolo acquistabile con 18App e Carta del Docente

€ 112,89

€ 115,19

Risparmi € 2,30 (2%)

Venduto e spedito da IBS

113 punti Premium

Disponibile in 10 gg

Quantità:
Descrizione
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.