Gentzen’s original consistency proof and the Bar Theorem W. W. Tait∗ The story of Gentzen’s original consistency proof for first-order number theory (Gentzen 1974),1 as told by Paul Bernays (Gentzen 1974), (Bernays

Source URL: home.uchicago.edu

Paul Bernays Lectures 2014 Prof. Dr. Vladimir Voevodsky Institute for Advanced Study, Princeton USA, Fields Medal (2002)

Source URL: www.gess.ethz.ch

dialectica 1947–2012 chronological bibliography Philipp Blum, 10th of January 2013 1. Bachelard, Gaston, Bernays, Paul, and Gonseth, Ferdinand, 1947d. “Editorial (English, français, deutsch)”. Dialectica 1: 1–1

Source URL: www.philosophie.ch

PhilSwiss Schriften zur Philosophie herausgegeben von M. Bondeli, H. Linneweber-Lammerskitten und G. Seel

Source URL: www.philosophie.ch

• Science
• Philosophy
• Paul Bernays
• Jean Piaget
• Mathematical logic
• Set theory
• Hermann Weyl
• Mathematics
• Philosophers of mathematics
• Analytic philosophers

Mathematics at Göttingen under the Nazis

Source URL: www.ams.org

• European people
• Paul Bernays
• Oswald Teichmüller
• Emmy Noether
• David Hilbert
• Helmut Hasse
• Emil Artin
• Gerhard Gentzen
• Hermann Weyl
• Mathematics
• Number theorists
• Academia

PDF Document

Source URL: www.phil.cmu.edu

• Academia
• Paul Bernays
• Bernays
• David Hilbert
• Dialectica
• Edmund Landau
• John von Neumann
• Hermann Weyl
• Mathematics
• Number theorists
• Science