Hilbert's programs and beyond / Wilfried Sieg.

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...

Full description

Saved in:
Bibliographic Details
Main Author: Sieg, Wilfried, 1945-
Format: eBook
Language:English
Published: New York : Oxford University Press, ©2013.
Series:Logic and computation in philosophy.
Subjects:
Online Access:Click for online access
Description
Summary: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.
Physical Description:1 online resource (xii, 439 pages) : illustrations
Bibliography:Includes bibliographical references (pages 403-434) and index.
ISBN:9780195372229
0195372220
9780199707157
0199707154