Volume VI contains a selection of material exhibiting many of Hilbert's philosophical and foundational views on particular theories and the exact sciences in general, drawn from his private notebooks and from lectures for more general audiences held in the 1920s.
Volume VI contains a selection of material exhibiting many of Hilbert's philosophical and foundational views on particular theories and the exact scie...
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...
Volume 2 focuses on notes for lectures on the foundations of the mathematical sciences held by Hilbert in the period 1894-1917. They document Hilbe...
The core of Volume3 consists of lecture notes for seven sets of lectures Hilbert gave (often in collaboration with Bernays) on the foundations of mathematics between 1917 and 1926. These texts make possible for the first time a detailed reconstruction of the rapid development of Hilbert s foundational thought during this period, and show the increasing dominance of the metamathematical perspective in his logical work: the emergence of modern mathematical logic; the explicit raising of questions of completeness, consistency and decidability for logical systems; the investigation of the...
The core of Volume3 consists of lecture notes for seven sets of lectures Hilbert gave (often in collaboration with Bernays) on the foundations of m...