Cargando…
Hilbert's programs and beyond /
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 investigation...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
New York :
Oxford University Press,
©2013.
|
| Colección: | Logic and computation in philosophy.
|
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | 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. |
|---|---|
| Descripción Física: | 1 online resource (xii, 439 pages) : illustrations |
| Bibliografía: | Includes bibliographical references (pages 403-434) and index. |
| ISBN: | 9780195372229 0195372220 9780199707157 0199707154 |