Gentzen's
Look at other dictionaries:
GENTZEN (G.) — GENTZEN GERHARD (1909 1945) Logicien allemand, né à Greifswald et mort à Prague lors de son emprisonnement par les Soviétiques. Gentzen a développé l’étude des systèmes de déduction naturelle et établi un théorème d’élimination des coupures.… … Encyclopédie Universelle
Gentzen — ist der Familienname folgender Personen: Felix Heinrich Gentzen (1914–1969), deutscher Historiker Gerhard Gentzen (1909–1945), deutscher Mathematiker und Logiker Horst Gentzen (1930–1985), deutscher Schauspieler Siehe auch: Gentzenscher Hauptsatz … Deutsch Wikipedia
Gentzen — Gerhard Gentzen Gerhard Gentzen (24 novembre 1909 à Greifswald 4 août 1945 à Prague) fut un mathématicien et logicien allemand. Son œuvre est fondamentale en théorie de la démonstration. Il fut l un des étudiants de Weyl à l… … Wikipédia en Français
Gentzen — Gẹntzen, Gerhard Karl Erich, Mathematiker und Logiker, * Greifswald 24. 11. 1909, ✝ Prag 4. 8. 1945; ab 1943 Dozent in Prag, wo er in der Internierung starb. Gentzen entwickelte in seiner Dissertation den »Kalkül des natürlichen Schließens«,… … Universal-Lexikon
Gentzen's consistency proof — Gentzen s theoremIn 1936 Gerhard Gentzen proved the consistency of first order arithmetic using combinatorial methods. Gentzen s proof shows much more than merely that first order arithmetic is consistent. Gentzen showed that the consistency of… … Wikipedia
Gentzen, Gerhard — (1909–1945) German mathematician, who proved the consistency of classical arithmetic in 1936, relying, however, on transfinite induction . Gentzen was also responsible for the first natural deduction approach to formal logic … Philosophy dictionary
Gerhard Karl Erich Gentzen — (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker. Inhaltsverzeichnis 1 Mathematische Leistungen 2 Leben 3 Zitat … Deutsch Wikipedia
Gerhard Gentzen — Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker. Inhaltsverzeichnis … Deutsch Wikipedia
Felix-Heinrich Gentzen — (* 19. Mai 1914 in Rastenburg; † 2. August 1969) war ein deutscher Historiker. Inhaltsverzeichnis 1 Familie und Kriegsdienst 2 Heimkehr und Studium 3 Lehrtätigkeit … Deutsch Wikipedia
Théorème de Gentzen — Gerhard Gentzen Gerhard Gentzen (24 novembre 1909 à Greifswald 4 août 1945 à Prague) fut un mathématicien et logicien allemand. Son œuvre est fondamentale en théorie de la démonstration. Il fut l un des étudiants de Weyl à l… … Wikipédia en Français
