David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1894-1917
Author | : William Ewald |
Publisher | : Springer |
Total Pages | : 0 |
Release | : 2023-01-26 |
ISBN-10 | : 3540206051 |
ISBN-13 | : 9783540206057 |
Rating | : 4/5 (51 Downloads) |
Book excerpt: Volume 2 focuses on notes for lectures on the foundations of the mathematical sciences held by Hilbert in the period 1894-1917. They document Hilbert’s first engagement with ‘impossibility’ proofs; his early attempts to formulate and address the problem of consistency, first dealt with in his work on geometry in the 1890s; his engagement with foundational problems raised by the work of Cantor and Dedekind; his early investigations into the relationship between arithmetic, set theory, and logic; his advocation of the use of the axiomatic method generally; his first engagement with the logical and semantical paradoxes; and the first formal attempts to develop a logical calculus. The Volume also contains Hilbert’s address from 1895 which formed the preliminary version of his famous Zahlbericht (1897).