Inhaltsverzeichnis
6 Beziehungen: Felix-Heinrich Gentzen, Gentzenscher Hauptsatz, Gerhard Gentzen, Horst Gentzen, Johann Friedrich Gentzen, Max Gentzen.
Felix-Heinrich Gentzen
Felix-Heinrich Gentzen Felix-Heinrich Gentzen (* 19. Mai 1914 in Rastenburg; † 2. August 1969 in Halle (Saale)) war ein deutscher Historiker.
Sehen Gentzen und Felix-Heinrich Gentzen
Gentzenscher Hauptsatz
Der Gentzensche Hauptsatz oder Schnittsatz ist ein Satz der mathematischen Logik, der besagt, dass die Schnittregel in jeder Herleitung eines Gentzentypkalküls eliminierbar und damit zulässig ist.
Sehen Gentzen und Gentzenscher Hauptsatz
Gerhard Gentzen
Gerhard Gentzen Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker.
Sehen Gentzen und Gerhard Gentzen
Horst Gentzen
Horst Gentzen (* 14. März 1930 in Berlin; † 9. August 1985 ebenda) war ein deutscher Schauspieler und Synchronsprecher.
Sehen Gentzen und Horst Gentzen
Johann Friedrich Gentzen
Johann Friedrich Gustav Gentzen (* 24. März 1796 in Friedland (Mecklenburg); † 16. April 1871 in Neustrelitz) war ein deutscher Theologe, Burschenschafter und Bibliothekar.
Sehen Gentzen und Johann Friedrich Gentzen
Max Gentzen
Max Gentzen (* 24. Januar 1880 in Königsberg i. Pr.; † 2. August 1950 in Lübeck) war ein deutscher Arzt und Abgeordneter in Königsberg.
Sehen Gentzen und Max Gentzen