×

Gentzen, Gerhard (b. 1909 d. 1945)

Author ID: gentzen.gerhard Recent zbMATH articles by "Gentzen, Gerhard"
Published as: Gentzen, Gerhard; Gentzen, G.
Further Spellings: Gentzen, Gerhard Karl Erich
External Links: MacTutor · MGP · Wikidata · Google Scholar · dblp · GND · IdRef
Documents Indexed: 24 Publications since 1932, including 4 Books
2 Further Contributions
Reviewing Activity: 1 Review
Biographic References: 9 Publications

Co-Authors

24 single-authored
1 Szabo, Manfred Egon
1 von Plato, Jan

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 830 times in 688 Documents Cited by Year
Untersuchungen über das logische Schliessen. I. Zbl 0010.14501
Gentzen, Gerhard
332
1934
The collected papers of Gerhard Gentzen. Zbl 0209.30001
154
1969
Untersuchungen über das logische Schliessen. II. Zbl 0010.14601
Gentzen, Gerhard
100
1934
The consistency of arithmetics. (Die Widerspruchsfreiheit der reinen Zahlentheorie.) Zbl 0014.38801
Gentzen, Gerhard
87
1936
Untersuchungen über das logische Schließen. I. JFM 60.0020.02
Gentzen, G.
86
1934
Untersuchungen über das logische Schließen. II. JFM 60.0846.01
Gentzen, G.
60
1934
Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Zbl 0028.10201
Gentzen, Gerhard
40
1943
The consistency of arithmetics. (Die Widerspruchsfreiheit der reinen Zahlentheorie.) JFM 62.0044.01
Gentzen, Gerhard
26
1936
Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. JFM 64.0027.03
Gentzen, G.
24
1938
Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen. Zbl 0005.33803
Gentzen, Gerhard
18
1932
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik. Zbl 0286.02035
Gentzen, Gerhard
13
1974
Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Zbl 0019.24103
Gentzen, Gerhard
10
1938
Die Widerspruchsfreiheit der reinen Zahlentheorie. Zbl 0169.30801
Gentzen, Gerhard
9
1967
Saved from the cellar. Gerhard Gentzen’s shorthand notes on logic and foundations of mathematics. Zbl 1414.03002
von Plato, Jan
8
2017
Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie. Zbl 0286.02034
Gentzen, Gerhard
7
1974
Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen. JFM 58.0063.03
Gentzen, G.
5
1932
Die Widerspruchsfreiheit der Stufenlogik. Zbl 0015.19302
Gentzen, Gerhard
4
1936
Die gegenwärtige Lage in der mathematischen Grundlagenforschung. Zbl 0019.09701
Gentzen, Gerhard
2
1938
Der Unendlichkeitsbegriff in der Mathematik. JFM 63.0021.03
Gentzen, G.
2
1937
Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen. Zbl 0055.00504
Gentzen, Gerhard
1
1954
Die gegenwärtige Lage in der mathematischen Grundlagenforschung. Zbl 0019.24102
Gentzen, Gerhard
1
1938
Die gegenwärtige Lage in der mathematischen Grundlagenforschung. JFM 64.0026.03
Gentzen, G.
1
1938
Die gegenwärtige Lage in der mathematischen Grundlagenforschung. JFM 64.0931.01
Gentzen, G.
1
1938
Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik. JFM 63.0837.14
Gentzen, G.
1
1937
Saved from the cellar. Gerhard Gentzen’s shorthand notes on logic and foundations of mathematics. Zbl 1414.03002
von Plato, Jan
8
2017
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik. Zbl 0286.02035
Gentzen, Gerhard
13
1974
Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie. Zbl 0286.02034
Gentzen, Gerhard
7
1974
The collected papers of Gerhard Gentzen. Zbl 0209.30001
154
1969
Die Widerspruchsfreiheit der reinen Zahlentheorie. Zbl 0169.30801
Gentzen, Gerhard
9
1967
Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen. Zbl 0055.00504
Gentzen, Gerhard
1
1954
Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Zbl 0028.10201
Gentzen, Gerhard
40
1943
Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. JFM 64.0027.03
Gentzen, G.
24
1938
Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Zbl 0019.24103
Gentzen, Gerhard
10
1938
Die gegenwärtige Lage in der mathematischen Grundlagenforschung. Zbl 0019.09701
Gentzen, Gerhard
2
1938
Die gegenwärtige Lage in der mathematischen Grundlagenforschung. Zbl 0019.24102
Gentzen, Gerhard
1
1938
Die gegenwärtige Lage in der mathematischen Grundlagenforschung. JFM 64.0026.03
Gentzen, G.
1
1938
Die gegenwärtige Lage in der mathematischen Grundlagenforschung. JFM 64.0931.01
Gentzen, G.
1
1938
Der Unendlichkeitsbegriff in der Mathematik. JFM 63.0021.03
Gentzen, G.
2
1937
Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik. JFM 63.0837.14
Gentzen, G.
1
1937
The consistency of arithmetics. (Die Widerspruchsfreiheit der reinen Zahlentheorie.) Zbl 0014.38801
Gentzen, Gerhard
87
1936
The consistency of arithmetics. (Die Widerspruchsfreiheit der reinen Zahlentheorie.) JFM 62.0044.01
Gentzen, Gerhard
26
1936
Die Widerspruchsfreiheit der Stufenlogik. Zbl 0015.19302
Gentzen, Gerhard
4
1936
Untersuchungen über das logische Schliessen. I. Zbl 0010.14501
Gentzen, Gerhard
332
1934
Untersuchungen über das logische Schliessen. II. Zbl 0010.14601
Gentzen, Gerhard
100
1934
Untersuchungen über das logische Schließen. I. JFM 60.0020.02
Gentzen, G.
86
1934
Untersuchungen über das logische Schließen. II. JFM 60.0846.01
Gentzen, G.
60
1934
Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen. Zbl 0005.33803
Gentzen, Gerhard
18
1932
Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen. JFM 58.0063.03
Gentzen, G.
5
1932
all top 5

Cited by 615 Authors

14 Baaz, Matthias
14 Hetzl, Stefan
14 Leitsch, Alexander
13 Mints, Grigoriĭ Efroimovich
11 Došen, Kosta
10 Pym, David J.
9 von Plato, Jan
8 Pohlers, Wolfram
7 Rathjen, Michael
7 Sieg, Wilfried
7 Straßburger, Lutz
7 Takemura, Ryo
6 Ciabattoni, Agata
6 Kahle, Reinhard
6 Otten, Jens
6 Prawitz, Dag
6 Schroeder-Heister, Peter Joseph
6 Weller, Daniel S.
6 Wessel, Daniel
5 Borisavljević, Mirjana
5 Dyckhoff, Roy
5 Francez, Nissim
5 Gratzl, Norbert
5 Ono, Katuzi
5 Petrić, Zoran
5 Pfenning, Frank
5 Sasaki, Katsumi
4 Ackermann, Wilhelm
4 Anellis, Irving Henry
4 Arai, Toshiyasu
4 Arndt, Michael
4 Cohen, Liron
4 Freund, Anton
4 Indrzejczak, Andrzej
4 Kürbis, Nils
4 Negri, Sara
4 Peregrin, Jaroslav
4 Pynko, Alexej P.
4 Ritter, Eike
4 Takeuti, Gaisi
4 Wallen, Lincoln A.
4 Zach, Richard
3 Aguilera, Juan Pablo
3 Ariola, Zena M.
3 Aschieri, Federico
3 Bibel, Wolfgang
3 Bimbó, Katalin
3 Buchholz, Wilfried
3 D’Agostino, Marcello
3 Dicher, Bogdan
3 Dowek, Gilles
3 Downen, Paul
3 Egly, Uwe
3 Fjellstad, Andreas
3 Fulop, Sean A.
3 Kanckos, Annika
3 Kramosil, Ivan
3 Kuznetsov, Stepan L’vovich
3 Lescanne, Pierre
3 Moriconi, Enrico
3 Nishimura, Hirokazu
3 Okada, Mitsuhiro
3 Ono, Hiroakira
3 Orevkov, V. P.
3 Pezlar, Ivo
3 Piccolomini d’Aragona, Antonio
3 Piecha, Thomas
3 Rinaldi, Davide
3 Sato, Masahiko
3 Schuster, Peter Michael
3 Schütte, Kurt
3 Shramko, Yaroslav V.
3 Titani, Satoko
3 van Bakel, Steffen
3 Varzi, Achille C.
3 Wansing, Heinrich Theodor
3 Warren, Jared
3 Wasilewska, Anita
3 Więckowski, Bartosz
3 Yasugi, Mariko
3 Zimmermann, Ernst
2 Abeles, Francine F.
2 Adžić, Miloš
2 Arieli, Ofer
2 Avron, Arnon
2 Beckmann, Arnold
2 Belnap, Nuel D. jun.
2 Béziau, Jean-Yves
2 Bobzien, Susanne
2 Borg, Annemarie
2 Boričić, Marija
2 Burel, Guillaume
2 Buss, Samuel R.
2 Cabrer, Leonardo Manuel
2 Castiglioni, José Luis
2 Centrone, Stefania
2 Cordes, Moritz
2 de Campos Sanz, Wagner
2 Díaz-Caro, Alejandro
2 Dunn, Jon Michael
...and 515 more Authors
all top 5

Cited in 96 Serials

61 Studia Logica
42 Annals of Pure and Applied Logic
30 Journal of Philosophical Logic
27 Synthese
26 The Journal of Symbolic Logic
26 Theoretical Computer Science
21 Archive for Mathematical Logic
21 The Review of Symbolic Logic
17 Journal of Automated Reasoning
17 The Bulletin of Symbolic Logic
15 History and Philosophy of Logic
15 Logica Universalis
13 Journal of Logic, Language and Information
10 Archiv für Mathematische Logik und Grundlagenforschung
9 Journal of Symbolic Computation
9 Journal of Applied Non-Classical Logics
8 Journal of Soviet Mathematics
8 Mathematische Annalen
8 MSCS. Mathematical Structures in Computer Science
8 Journal of Applied Logic
7 Nagoya Mathematical Journal
6 Artificial Intelligence
6 Fuzzy Sets and Systems
6 Notre Dame Journal of Formal Logic
6 Information and Computation
6 Logic and Logical Philosophy
6 Logical Methods in Computer Science
5 Journal of Pure and Applied Algebra
5 Transactions of the American Mathematical Society
5 Bulletin of the Section of Logic
5 Mathematical Logic Quarterly (MLQ)
5 Annals of Mathematics and Artificial Intelligence
5 Proceedings of the Japan Academy
4 Journal of Mathematical Sciences (New York)
4 Erkenntnis
3 Formal Methods in System Design
3 Journal of Functional Programming
3 Topoi
3 ACM Transactions on Computational Logic
3 Journal of Logical and Algebraic Methods in Programming
3 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
2 Acta Informatica
2 Information Processing Letters
2 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
2 Algebra Universalis
2 Kybernetika
2 Proceedings of the American Mathematical Society
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Tôhoku Mathematical Journal. Second Series
2 International Journal of Foundations of Computer Science
2 Indagationes Mathematicae. New Series
2 Nonlinear Analysis. Theory, Methods & Applications
1 Archive for History of Exact Sciences
1 Communications in Algebra
1 Discrete Applied Mathematics
1 International Journal of Theoretical Physics
1 Lithuanian Mathematical Journal
1 Mathematical Notes
1 Mathematische Semesterberichte
1 Moscow University Mathematics Bulletin
1 The Mathematical Intelligencer
1 Advances in Mathematics
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Applied Mathematics and Computation
1 Compositio Mathematica
1 Journal of Algebra
1 Journal of the London Mathematical Society. Second Series
1 Monatshefte für Mathematik
1 Pacific Journal of Mathematics
1 Publications de l’Institut Mathématique. Nouvelle Série
1 Rendiconti del Seminario Matemàtico e Fisico di Milano
1 SIAM Journal on Computing
1 Theory and Decision
1 Topology and its Applications
1 Mathematical Social Sciences
1 Journal of Computer Science and Technology
1 Formal Aspects of Computing
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 International Journal of Algebra and Computation
1 Combinatorics, Probability and Computing
1 Economic Theory
1 Mathematical Communications
1 Theory of Computing Systems
1 Soft Computing
1 Matematicheskie Trudy
1 NTM. Neue Serie
1 Optimization and Engineering
1 International Studies in the Philosophy of Science
1 Theory and Practice of Logic Programming
1 Oberwolfach Reports
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Bulletin of the American Mathematical Society
1 RAIRO. Theoretical Informatics and Applications
1 Philosophy Compass
1 Axiomathes
1 Perspectives on Science

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.