Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Gerhard Gentzen | Researchclopedia

Back to researchers

Gerhard Gentzen

13

Works

3,513

Citations

10

h-index

10

i10-index

Research Topics

History and Theory of Mathematics German Literature and Culture Studies Logic, programming, and type systems

Top Works

Untersuchungen �ber das logische Schlie�en. I

Gerhard Gentzen

19352,007 citations

Natural Language Processing Techniques

Quantum Mechanics and Applications

Die Widerspruchsfreiheit der reinen Zahlentheorie

Gerhard Gentzen

1936603 citations

Untersuchungen �ber das logische Schlie�en. II

Gerhard Gentzen

1935506 citations

Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie

Gerhard Gentzen

1943154 citations

�ber die Existenz unabh�ngiger Axiomensysteme zu unendlichen Satzsystemen

Gerhard Gentzen

193372 citations

Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik

Gerhard Gentzen

197454 citations

Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie

Gerhard Gentzen

197449 citations

Die Widerspruchsfreiheit der Stufenlogik

Gerhard Gentzen

193625 citations

Recherches Sur la Déduction Logique = Untersuchungen Über Das Logische Schliessen

Gerhard Gentzen,Robert Feys,et al.

195524 citations