Edit Profile (opens in new tab) Gentzen, Gerhard (b. 1909 d. 1945) Co-Author Distance Author ID: 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 all top 5 Serials 6 Mathematische Zeitschrift 5 Mathematische Annalen 3 Archiv für Mathematische Logik und Grundlagenforschung 2 Deutsche Mathematik 1 Pokroky Matematiky, Fyziky & Astronomie 1 Semesterberichte zur Pflege des Zusammenhangs von Universität und Schule aus den Mathematischen Seminaren 1 Sources and Studies in the History of Mathematics and Physical Sciences Fields 13 Mathematical logic and foundations (03-XX) 5 History and biography (01-XX) 2 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 29 Fields 600 Mathematical logic and foundations (03-XX) 143 Computer science (68-XX) 65 History and biography (01-XX) 22 General and overarching topics; collections (00-XX) 21 Order, lattices, ordered algebraic structures (06-XX) 11 Category theory; homological algebra (18-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 General algebraic systems (08-XX) 5 Combinatorics (05-XX) 3 Geometry (51-XX) 3 Systems theory; control (93-XX) 3 Information and communication theory, circuits (94-XX) 2 Number theory (11-XX) 2 Field theory and polynomials (12-XX) 2 Commutative algebra (13-XX) 2 Real functions (26-XX) 2 Convex and discrete geometry (52-XX) 2 General topology (54-XX) 2 Algebraic topology (55-XX) 2 Statistics (62-XX) 2 Quantum theory (81-XX) 2 Operations research, mathematical programming (90-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Group theory and generalizations (20-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Manifolds and cell complexes (57-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mathematics education (97-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.