---------- Forwarded message ---------- From: Shane Steinert-Threlkeld <[email protected]> Date: 2013/5/7 Subject: TODAY: Solomon Feferman (Stanford), "Bernays, Gödel, and Hilbert's consistency program" To: [email protected]
Tuesday, May 7, 4:15PM, 380-381T Title: Bernays, Gödel, and Hilbert's consistency program Solomon Feferman (Stanford) Abstract: Paul Bernays was brought from Zürich to Göttingen in 1917 by David Hilbert - the leading mathematician of the time - to assist him in developing his consistency program for the foundations of mathematics. The major exposition of that work appeared in the 1930s in the two volume opus by Hilbert and Bernays, *Grundlagen der Mathematik*, whose preparation was due entirely to Bernays. In the meantime, Kurt Gödel, a precocious doctorate in Vienna, had discovered his remarkable incompleteness theorems which threatened to undermine Hilbert’s program. Though Hilbert refused to accept that, Bernays undertook to absorb the significance of those theorems through correspondence with Gödel. Thus began one of Gödel's most important intellectual and personal life-long relationships. ---------- Shane Steinert-Threlkeld Ph.D. Student, Department of Philosophy Stanford University http://www.shane.st --++**==--++**==--++**==--++**==--++**==--++**==--++**== logical-methods mailing list [email protected] https://mailman.stanford.edu/mailman/listinfo/logical-methods _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
