Logic List Mailing Archive

new book: bilingual edition of Hilbert-Bernays, Grundlagen der Mathematik

*Grundlagen der Mathematik I. Foundations of Mathematics I*
Part A

/C.-P. Wirth, J. Siekmann, M. Gabbay, D. Gabbay, eds./

ISBN 978-1-84890-033-2
www.collegepublications.co.uk

Hilbert and Bernays' 'Grundlagen der Mathematik' appeared in two volumes 
in 1934 and 1939, a second edition in 1968 and 1970. It offers a 
foundation for proof theory and is a major source on David Hilbert's 
formalist programme, Paul Bernays' philosophy, the epsilon operator, and 
much more. It has been a profound influence on mathematics, logic, and 
philosophy, and it covers formal ground and philosophical perspectives 
beyond the scope of Whitehead and Russell's 'Principia Mathematica' and 
Frege's 'Grundlagen der Arithmetik'.

This book is not only essential to any scholar of the history and 
philosophy of modern mathematics, but it also contains formal research - 
on the epsilon and iota operators - of contemporary relevance to 
logicians, mathematicians and computer science. For us, it is one of the 
most fascinating books ever written.

This is a bilingual German-English, commented edition of the 'Grundlagen'. 
It is the first English publication of these texts and shows the facsimile 
of the German original text on the left-hand side of a double page, and 
its English translation on the right-hand side.

In addition to extensive comments on the history and the interpretation of 
the text's mathematical and philosophical content, there are also careful 
annotations regarding the differences between the two German editions 
(1934/39,1968/1970) of this two volume monograph.