Grundlagen der Mathematik
Encyclopedia
Grundlagen der Mathematik (foundations of mathematics) is a 2-volume work by David Hilbert
and Paul Bernays
describing Hilbert's approach to the foundations of mathematics. It introduced second order arithmetic.
David Hilbert
David Hilbert was a German mathematician. He is recognized as one of the most influential and universal mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many areas, including invariant theory and the axiomatization of...
and Paul Bernays
Paul Bernays
Paul Isaac Bernays was a Swiss mathematician, who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant to, and close collaborator of, David Hilbert.-Biography:Bernays spent his childhood in Berlin. Bernays attended the...
describing Hilbert's approach to the foundations of mathematics. It introduced second order arithmetic.
Publication history
- 1934-1939 First German edition
- 1944 Reprint of first edition
- 1968-1970 Second German edition
- 1979 Russian translation
- 2001 French translation
- The Hilbert Bernays project starts to produce an English translation.
External links
- Hilbert Bernays Project which aims to produce an English translation of Grundlagen der Mathematik.