Philosophie Lexikon der ArgumenteHome | |||
| |||
Gerhard Gentzen - Philosophie Lexikon der Argumente | |||
Gerhard Gentzen (1909-1945), Deutscher Mathematiker und Logiker. Hauptwerke sind Untersuchungen über das logische Schließen (1935), Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie (1938), and Beweisbarkeit und Unbeweisbarkeit von Sätzen der klassischen Analysis (1936). Seine Forschungsgebiete waren mathematische Logik, Grundlagen der Mathematik, und Beweisbarkeitstheorie.
Normdaten zur Katalogisierung: VIAF LCCN GND | |||
Autor | Begriff | Weitere Autoren zu Begriff | |
---|---|---|---|
Gentzen, Gerhard | Äquivalenz | Äquivalenz | |
|