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...
Saved in:
| Online Access: |
Full text (MCPHS users only) |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
New York :
Oxford University Press,
2013
|
| Series: | Logic and computation in philosophy.
|
| Subjects: | |
| Local Note: | ProQuest Ebook Central |
