David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1894-1917
David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1894-1917
ISBN: 9783540206057
出版社: Springer
出版年: 2007-05
页数: 690
定价: USD 99.00
装帧: Hardcover
内容简介
This volume 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).