PAUL BERNAYS' LATER PHILOSOPHY OF MATHEMATICS

摘要

The name of Paul Bernays (1888-1977) is familiar probably first of all for his contributions to mathematical logic. Many of those were in the context of his position as David Hilbert's junior collaborator in his proof-theoretic program inaugurated after the first World War. For those of us starting out in logic in the mid-twentieth century, the monumental Grundlagen der Mathematik of Hilbert and Bernays was one of the basic works in mathematical logic that we were obliged to study. That was the more true for those like me who aspired to work in proof theory.