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

Editors: Ewald, William, Sieg, Wilfried (Hrsg.)

  • Useful as a self-study guide
  • Reproduces original texts
  • Edited by international experts
see more benefits

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-540-69444-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $129.00
price for USA
  • ISBN 978-3-540-20578-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The core of Volume 3 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 relative strengths of various logical calculi; the birth and evolution of proof theory, and the parallel emergence of Hilbert’s finitist standpoint. The lecture notes are accompanied by numerous supplementary documents, both published and unpublished, including a complete version of Bernays’s Habilitationschrift of 1918, the text of the first edition of Hilbert and Ackermann’s Grundzüge der theoretischen Logik (1928), and several shorter lectures by Hilbert from the later 1920s. These documents, which provide the background to Hilbert and Bernays’s monumental Grundlagen der Mathematik (1934, 1938), are essential for understanding the development of modern mathematical logic, and for reconstructing the interactions between Hilbert, Bernays, Brouwer, and Weyl in the philosophy of mathematics.         

Reviews

“The editors have produced an impeccable and exhaustive critical edition of all of Hilbert’s papers on mathematical logic and meta-mathematics written between 1917 and 1931 in German. … this volume is excellently designed for the historian as a working source book for whom it is clearly indispensable. But it should also serve those still interested in the Foundations of Mathematics and its open problems left by Hilbert and his students … .” (Catharine C. Hennix, Nieuw Archief voor Wiskunde, Vol. 17 (4), December, 2016)

“The volume under review is the third in a projected series of six presenting Hilbert’s unpublished lectures in the foundations of the exact sciences. … This volume is a wonderful achievement. … The book belongs in the library of anyone interested in logic and the foundations of mathematics. Indeed, it should be placed in one of the lower shelves, so as to be ready to hand for frequent use.” (Paolo Mancosu, Philosophia Mathematica, Vol. 23 (1), February, 2015)


Table of contents (4 chapters)

  • Lectures on the Principles of Mathematics

    Ewald, William (et al.)

    Pages 31-272

  • Lectures on Logic

    Ewald, William (et al.)

    Pages 275-415

  • Lectures on Proof Theory

    Ewald, William (et al.)

    Pages 417-653

  • Lectures on the Infinite

    Ewald, William (et al.)

    Pages 655-785

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-540-69444-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $129.00
price for USA
  • ISBN 978-3-540-20578-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
Editors
  • William Ewald
  • Wilfried Sieg
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69444-1
DOI
10.1007/978-3-540-69444-1
Hardcover ISBN
978-3-540-20578-4
Edition Number
1
Number of Pages
XXV, 1062
Topics