David Hilbert’s Lectures on the Foundations of Arithmetic and Logic 1917-1933

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

The bulk of this volume consists of six sets of notes for lectures Hilbert gave (often in collaboration with Bernays) on the foundations of mathematics between 1917 and the early 1930s. The notes detail the increasing dominance of the metamathematical perspective in Hilberts treatment, i.e., the development of modern mathematical logic, the evolution of proof theory, and the parallel emergence of Hilbert’s finitist standpoint. The notes are mostly very polished expositions; e.g., the 1917-18 lectures are in effect a first draft of Hilbert and Ackermanns Grundzuge der theoretischen Logik (1928), reprinted in this Volume. They are thus essential for understanding the development of modern mathematical logic leading up to Hilbert and Bernayss Grundlagen der Mathematik (1934, 1938). Also included is a complete version of Bernays Habilitationschrift of 1918, only partially published in 1926.