<--- Back to Details
First PageDocument Content
European people / Paul Bernays / Oswald Teichmüller / Emmy Noether / David Hilbert / Helmut Hasse / Emil Artin / Gerhard Gentzen / Hermann Weyl / Mathematics / Number theorists / Academia
Date: 1999-03-08 15:14:26
European people
Paul Bernays
Oswald Teichmüller
Emmy Noether
David Hilbert
Helmut Hasse
Emil Artin
Gerhard Gentzen
Hermann Weyl
Mathematics
Number theorists
Academia

Mathematics at Göttingen under the Nazis

Add to Reading List

Source URL: www.ams.org

Download Document from Source Website

File Size: 132,86 KB

Share Document on Facebook

Similar Documents

Mathematics / Cut-elimination theorem / Sequent calculus / Sequent / Gerhard Gentzen / Natural deduction / Proof theory / Mathematical logic / Logic

An Abstract Completion Procedure for Cut Elimination in Deduction Modulo LICS 2006 Guillaume Burel + Claude Kirchner ´ LORIA × (Ecole

DocID: 1aVQH - View Document

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

Mathematics at Göttingen under the Nazis

DocID: 1YBa - View Document

Logic / Ordinal numbers / Ordinal analysis / Gerhard Gentzen / Cut-elimination theorem / Natural deduction / Limit ordinal / Sequent calculus / Constructible universe / Mathematical logic / Mathematics / Proof theory

PDF Document

DocID: 1beS - View Document