Edit Profile (opens in new tab) Sieg, Wilfried Co-Author Distance Author ID: sieg.wilfried Published as: Sieg, Wilfried; Sieg, W. External Links: MGP Documents Indexed: 61 Publications since 1981, including 3 Books 14 Contributions as Editor Co-Authors: 35 Co-Authors with 32 Joint Publications 1,020 Co-Co-Authors all top 5 Co-Authors 43 single-authored 7 Feferman, Solomon 5 Parsons, Charles D. 4 Dawson, John W. jun. 4 Gödel, Kurt 4 Goldfarb, Warren D. 3 Byrnes, John 3 Ewald, William Bragg 3 Hallett, Michael T. 3 Majer, Ulrich 3 Schlimm, Dirk 2 Buchholz, Wilfried 2 Field, Clinton 2 Hilbert, David 1 Bernays, Paul 1 Cittadini, Saverio 1 Davis, Martin David 1 Derakhshan, Farzaneh 1 Gabbay, Dov M. 1 Gabbay, Michael J. 1 Hernández-Orozco, Santiago 1 Hernández-Quiroz, Francisco 1 Jäger, Gerhard 1 Kreinovich, Vladik Yakovlevich 1 Lifschitz, Vladimir 1 McLaughlin, Dawn 1 Morris, Rebecca Lea 1 Mundici, Daniele 1 Pfenning, Frank 1 Pohlers, Wolfram 1 Siekmann, Jörg H. 1 Sommer, Richard 1 Sommer, Rick 1 Szabó, Máté 1 Talcott, Carolyn L. 1 Wainer, Stanley Scott 1 Walsh, Patrick M. 1 Wirth, Claus-Peter 1 Zenil, Hector all top 5 Serials 4 The Bulletin of Symbolic Logic 3 Synthese 2 Studia Logica 2 Annals of Pure and Applied Logic 2 Philosophia Mathematica. Series III 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 The Journal of Symbolic Logic 1 Rendiconti del Seminario Matemàtico e Fisico di Milano 1 Journal of Automated Reasoning 1 Archive for Mathematical Logic 1 Philosophia Mathematica. Series III 1 Logic Journal of the IGPL 1 Lettera Matematica Pristem 1 Natural Computing 1 Parallel Processing Letters 1 Contemporary Mathematics 1 Lecture Notes in Logic 1 Lecture Notes in Mathematics 1 The Review of Symbolic Logic 1 Tributes 1 Outstanding Contributions to Logic 1 Perspectives on Science 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Fields 66 Mathematical logic and foundations (03-XX) 43 History and biography (01-XX) 21 General and overarching topics; collections (00-XX) 15 Computer science (68-XX) 1 Number theory (11-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 56 Publications have been cited 458 times in 318 Documents Cited by ▼ Year ▼ Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies. Zbl 0489.03022 Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried 148 1981 Fragments of arithmetic. Zbl 0558.03029 Sieg, Wilfried 35 1985 Hilbert’s programs: 1917-1922. Zbl 0924.03002 Sieg, Wilfried 21 1999 Herbrand analyses. Zbl 0722.03040 Sieg, Wilfried 19 1991 Mechanical procedures and mathematical experience. Zbl 0816.03001 Sieg, Wilfried 18 1994 David Hilbert’s lectures on the foundations of arithmetic and logic, 1917–1933. In collaboration with Ulrich Majer and Dirk Schlimm. Zbl 1275.03002 Hilbert, David 17 2013 Normal natural deduction proofs (in classical logic). Zbl 0954.03015 Sieg, Wilfried; Byrnes, John 15 1998 Collected works. Vol. IV: Correspondence, A–G. Edited by Solomon Feferman, John W. Dawson jun., Warren Goldfarb, Charles Parsons and Wilfried Sieg. Zbl 1026.01019 Gödel, Kurt 13 2003 Hilbert’s programs and beyond. Zbl 1281.01004 Sieg, Wilfried 13 2013 Step by recursive step: Church’s analysis of effective calculability. Zbl 0884.03001 Sieg, Wilfried 12 1997 Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Zbl 1001.00020 12 2002 Dedekind’s analysis of number: Systems and axioms. Zbl 1084.01008 Sieg, Wilfried; Schlimm, Dirk 12 2005 Church without dogma: axioms for computability. Zbl 1148.68372 Sieg, Wilfried 12 2008 Collected works. Vol. V: Correspondence, H–Z. Edited by Solomon Feferman, John W. Dawson jun., Warren Goldfarb, Charles Parsons and Wilfried Sieg. Zbl 1026.01020 Gödel, Kurt 11 2003 Normal natural deduction proofs (in non-classical logics). Zbl 1098.03026 Sieg, Wilfried; Cittadini, Saverio 11 2005 Calculations by man and machine: Conceptual analysis. Zbl 1014.03009 Sieg, Wilfried 8 2002 Searching for proofs (and uncovering capacities of the mathematical mind). Zbl 1244.03156 Sieg, Wilfried 7 2010 Automated search for Gödel’s proofs. Zbl 1064.03010 Sieg, Wilfried; Field, Clinton 6 2005 Gödel on computability. Zbl 1111.03003 Sieg, Wilfried 6 2006 Calculations by man & machine: Mathematical presentation. Zbl 1026.03027 Sieg, Wilfried 5 2002 Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and §§1–2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edition of 1968, including the annotation and translation of all deleted parts of the first German edition of 1934. With a chapter “Hilbert’s proof theory” by Wilfried Sieg. Dual English-German text. Zbl 1283.03005 Hilbert, David; Bernays, Paul 5 2011 Hilbert’s program sixty years later. Zbl 0654.03002 Sieg, Wilfried 5 1988 The AProS project: strategic thinking & computational logic. Zbl 1127.03306 Sieg, Wilfried 5 2007 Feferman on foundations. Logic, mathematics, philosophy. Zbl 1394.03005 5 2017 Only two letters: The correspondence between Herbrand and Gödel. Zbl 1089.03005 Sieg, Wilfried 4 2005 The ways of Hilbert’s axiomatics: structural and formal. Zbl 1298.03015 Sieg, Wilfried 4 2014 \(K\)-graph machines: Generalizing Turing’s machines and arguments. Zbl 0856.03032 Sieg, Wilfried; Byrnes, John 4 1996 Axioms for computability: do they allow a proof of Church’s thesis? Zbl 1256.68062 Sieg, Wilfried 4 2013 The Cantor-Bernstein theorem: how many proofs? Zbl 1441.03015 Sieg, Wilfried 4 2019 Natural deduction. Zbl 0953.00008 3 1998 Gödel’s philosophical challenge (to Turing). Zbl 1301.03013 Sieg, Wilfried 3 2013 Beyond Hilbert’s reach? Zbl 1113.03306 Sieg, Wilfried 3 2002 Natural formalization: deriving the Cantor-Bernstein theorem in ZF. Zbl 1532.03015 Sieg, Wilfried; Walsh, Patrick 3 2021 Dedekind’s structuralism: creating concepts and deriving theorems. Zbl 1423.03037 Sieg, Wilfried; Morris, Rebecca 3 2018 Toward finitist proof theory. Zbl 1015.03004 Sieg, Wilfried 2 2002 Paper machines. Zbl 0851.03010 Mundici, Daniele; Sieg, Wilfried 2 1995 Foundations for analysis and proof theory. Zbl 0547.01013 Sieg, Wilfried 2 1984 A note on polynomial time computable arithmetic. Zbl 0696.03032 Buchholz, Wilfried; Sieg, Wilfried 2 1990 Proofs, categories and computations. Essays in honor of Grigori Mints. With the collaboration of Vladik Kreinovich, Vladimir Lifschitz, and Ruy de Queiroz. Zbl 1203.03007 2 2010 Proofs as objects. Zbl 07633001 Sieg, Wilfried 2 2022 Beyond Hilbert’s reach? Zbl 1163.03009 Sieg, Wilfried 2 2009 Methodological frames: Paul Bernays, mathematical structuralism, and proof theory. Zbl 1507.03005 Sieg, Wilfried 2 2020 Conceptual confluence in 1936: Post and Turing. Zbl 1400.01008 Davis, Martin; Sieg, Wilfried 2 2015 Gödel, Turing, and \(K\)-graph machines. Zbl 0949.03034 Sieg, Wilfried; Byrnes, John 1 1999 Provably recursive functionals of theories with Koenig’s lemma. Zbl 0672.03045 Sieg, Wilfried 1 1987 Program transformation and proof transformation. Zbl 0953.68519 Sieg, Wilfried; Wainer, S. S. 1 1994 In the shadow of incompleteness: Hilbert and Gentzen. Zbl 1312.03006 Sieg, Wilfried 1 2012 Reductions of theories for analysis. Zbl 0631.03044 Sieg, Wilfried 1 1985 Logic and computation. Proceedings of a workshop held at Carnegie Mellon University, Pittsburgh, PA (USA), June 30-July 2, 1987. Zbl 0691.00003 1 1990 On mind & Turing’s machines. Zbl 1120.03006 Sieg, Wilfried 1 2007 Relative consistency and accessible domains. Zbl 0757.03004 Sieg, Wilfried 1 1990 Automated search for Gödel’s proofs. Zbl 1191.03010 Sieg, Wilfried; Field, Clinton 1 2008 Step by recursive step: Church’s analysis of effective calculability. Zbl 1105.03300 Sieg, Wilfried 1 2006 What is the concept of computation? Zbl 1509.03024 Sieg, Wilfried 1 2018 Human-centered automated proof search. Zbl 07461268 Sieg, Wilfried; Derakhshan, Farzaneh 1 2021 Dedekind’s abstract concepts: models and mappings. Zbl 1420.01007 Sieg, Wilfried; Schlimm, Dirk 1 2017 Proofs as objects. Zbl 07633001 Sieg, Wilfried 2 2022 Natural formalization: deriving the Cantor-Bernstein theorem in ZF. Zbl 1532.03015 Sieg, Wilfried; Walsh, Patrick 3 2021 Human-centered automated proof search. Zbl 07461268 Sieg, Wilfried; Derakhshan, Farzaneh 1 2021 Methodological frames: Paul Bernays, mathematical structuralism, and proof theory. Zbl 1507.03005 Sieg, Wilfried 2 2020 The Cantor-Bernstein theorem: how many proofs? Zbl 1441.03015 Sieg, Wilfried 4 2019 Dedekind’s structuralism: creating concepts and deriving theorems. Zbl 1423.03037 Sieg, Wilfried; Morris, Rebecca 3 2018 What is the concept of computation? Zbl 1509.03024 Sieg, Wilfried 1 2018 Feferman on foundations. Logic, mathematics, philosophy. Zbl 1394.03005 5 2017 Dedekind’s abstract concepts: models and mappings. Zbl 1420.01007 Sieg, Wilfried; Schlimm, Dirk 1 2017 Conceptual confluence in 1936: Post and Turing. Zbl 1400.01008 Davis, Martin; Sieg, Wilfried 2 2015 The ways of Hilbert’s axiomatics: structural and formal. Zbl 1298.03015 Sieg, Wilfried 4 2014 David Hilbert’s lectures on the foundations of arithmetic and logic, 1917–1933. In collaboration with Ulrich Majer and Dirk Schlimm. Zbl 1275.03002 Hilbert, David 17 2013 Hilbert’s programs and beyond. Zbl 1281.01004 Sieg, Wilfried 13 2013 Axioms for computability: do they allow a proof of Church’s thesis? Zbl 1256.68062 Sieg, Wilfried 4 2013 Gödel’s philosophical challenge (to Turing). Zbl 1301.03013 Sieg, Wilfried 3 2013 In the shadow of incompleteness: Hilbert and Gentzen. Zbl 1312.03006 Sieg, Wilfried 1 2012 Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and §§1–2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edition of 1968, including the annotation and translation of all deleted parts of the first German edition of 1934. With a chapter “Hilbert’s proof theory” by Wilfried Sieg. Dual English-German text. Zbl 1283.03005 Hilbert, David; Bernays, Paul 5 2011 Searching for proofs (and uncovering capacities of the mathematical mind). Zbl 1244.03156 Sieg, Wilfried 7 2010 Proofs, categories and computations. Essays in honor of Grigori Mints. With the collaboration of Vladik Kreinovich, Vladimir Lifschitz, and Ruy de Queiroz. Zbl 1203.03007 2 2010 Beyond Hilbert’s reach? Zbl 1163.03009 Sieg, Wilfried 2 2009 Church without dogma: axioms for computability. Zbl 1148.68372 Sieg, Wilfried 12 2008 Automated search for Gödel’s proofs. Zbl 1191.03010 Sieg, Wilfried; Field, Clinton 1 2008 The AProS project: strategic thinking & computational logic. Zbl 1127.03306 Sieg, Wilfried 5 2007 On mind & Turing’s machines. Zbl 1120.03006 Sieg, Wilfried 1 2007 Gödel on computability. Zbl 1111.03003 Sieg, Wilfried 6 2006 Step by recursive step: Church’s analysis of effective calculability. Zbl 1105.03300 Sieg, Wilfried 1 2006 Dedekind’s analysis of number: Systems and axioms. Zbl 1084.01008 Sieg, Wilfried; Schlimm, Dirk 12 2005 Normal natural deduction proofs (in non-classical logics). Zbl 1098.03026 Sieg, Wilfried; Cittadini, Saverio 11 2005 Automated search for Gödel’s proofs. Zbl 1064.03010 Sieg, Wilfried; Field, Clinton 6 2005 Only two letters: The correspondence between Herbrand and Gödel. Zbl 1089.03005 Sieg, Wilfried 4 2005 Collected works. Vol. IV: Correspondence, A–G. Edited by Solomon Feferman, John W. Dawson jun., Warren Goldfarb, Charles Parsons and Wilfried Sieg. Zbl 1026.01019 Gödel, Kurt 13 2003 Collected works. Vol. V: Correspondence, H–Z. Edited by Solomon Feferman, John W. Dawson jun., Warren Goldfarb, Charles Parsons and Wilfried Sieg. Zbl 1026.01020 Gödel, Kurt 11 2003 Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Zbl 1001.00020 12 2002 Calculations by man and machine: Conceptual analysis. Zbl 1014.03009 Sieg, Wilfried 8 2002 Calculations by man & machine: Mathematical presentation. Zbl 1026.03027 Sieg, Wilfried 5 2002 Beyond Hilbert’s reach? Zbl 1113.03306 Sieg, Wilfried 3 2002 Toward finitist proof theory. Zbl 1015.03004 Sieg, Wilfried 2 2002 Hilbert’s programs: 1917-1922. Zbl 0924.03002 Sieg, Wilfried 21 1999 Gödel, Turing, and \(K\)-graph machines. Zbl 0949.03034 Sieg, Wilfried; Byrnes, John 1 1999 Normal natural deduction proofs (in classical logic). Zbl 0954.03015 Sieg, Wilfried; Byrnes, John 15 1998 Natural deduction. Zbl 0953.00008 3 1998 Step by recursive step: Church’s analysis of effective calculability. Zbl 0884.03001 Sieg, Wilfried 12 1997 \(K\)-graph machines: Generalizing Turing’s machines and arguments. Zbl 0856.03032 Sieg, Wilfried; Byrnes, John 4 1996 Paper machines. Zbl 0851.03010 Mundici, Daniele; Sieg, Wilfried 2 1995 Mechanical procedures and mathematical experience. Zbl 0816.03001 Sieg, Wilfried 18 1994 Program transformation and proof transformation. Zbl 0953.68519 Sieg, Wilfried; Wainer, S. S. 1 1994 Herbrand analyses. Zbl 0722.03040 Sieg, Wilfried 19 1991 A note on polynomial time computable arithmetic. Zbl 0696.03032 Buchholz, Wilfried; Sieg, Wilfried 2 1990 Logic and computation. Proceedings of a workshop held at Carnegie Mellon University, Pittsburgh, PA (USA), June 30-July 2, 1987. Zbl 0691.00003 1 1990 Relative consistency and accessible domains. Zbl 0757.03004 Sieg, Wilfried 1 1990 Hilbert’s program sixty years later. Zbl 0654.03002 Sieg, Wilfried 5 1988 Provably recursive functionals of theories with Koenig’s lemma. Zbl 0672.03045 Sieg, Wilfried 1 1987 Fragments of arithmetic. Zbl 0558.03029 Sieg, Wilfried 35 1985 Reductions of theories for analysis. Zbl 0631.03044 Sieg, Wilfried 1 1985 Foundations for analysis and proof theory. Zbl 0547.01013 Sieg, Wilfried 2 1984 Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies. Zbl 0489.03022 Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried 148 1981 all cited Publications top 5 cited Publications all top 5 Cited by 241 Authors 21 Sieg, Wilfried 18 Jäger, Gerhard 14 Rathjen, Michael 12 Strahm, Thomas 11 Sanders, Sam 9 Kahle, Reinhard 8 Kohlenbach, Ulrich Wilhelm 7 Avigad, Jeremy 7 Simpson, Stephen G. 6 Feferman, Solomon 6 Pohlers, Wolfram 6 Weiermann, Andreas 4 Cantini, Andrea 4 Glass, Thomas A. 3 Beklemishev, Lev D. 3 Berger, Ulrich 3 Crosilla, Laura 3 Dershowitz, Nachum 3 Fujimoto, Kentaro 3 Gordeev, Lev 3 Normann, Dag 3 Parsons, Charles D. 3 Sato, Kentaro 3 Szabó, Máté 3 Wilken, Gunnar 3 Zenil, Hector 2 Arai, Toshiyasu 2 Boker, Udi 2 Brown, Douglas K. 2 Carlson, Timothy J. 2 Dean, Walter 2 Dougherty, Randall L. 2 Dutilh Novaes, Catarina 2 Ferrari, Mauro 2 Ferreira, Fernando 2 Ferreirós, José 2 Fiorentini, Camillo 2 Floyd, Juliet 2 Freund, Anton 2 Giovannini, Eduardo N. 2 Gurevich, Yuri 2 Hernández-Quiroz, Francisco 2 Hirst, Jeffry Lynn 2 Ignjatović, Aleksandar 2 Jech, Thomas J. 2 Kanamori, Akihiro 2 Klev, Ansten Mørch 2 Leigh, Graham Emil 2 Leivant, Daniel M. 2 Mancosu, Paolo 2 Miller, Dale Allen 2 Nicolai, Carlo 2 Nigam, Vivek 2 Petrukhin, Yaroslav Igorevich 2 Popescu, Andrei 2 Probst, Dieter 2 Ranzi, Florian 2 Reck, Erich H. 2 Schiemer, Georg 2 Schlimm, Dirk 2 Setzer, Anton 2 Shangin, Vasily 2 Steila, Silvia 2 Studer, Thomas 2 Tatsuta, Makoto 2 Towsner, Henry 2 Traytel, Dmitry 2 Tupailo, Sergei 2 Van der Meeren, Jeroen 2 Zeilberger, Noam 1 Aehlig, Klaus 1 Afshari, Bahareh 1 Agazzi, Evandro 1 Aguilera, Juan Pablo 1 Alonso, Enrique 1 Antos, Carolin 1 Arana, Andrew 1 Aranda, Víctor 1 Arkoudas, Konstantine 1 Asghari, Amir 1 Avron, Arnon 1 Awodey, Steve 1 Bärtschi, Michael 1 Benis-Sinaceur, Hourya 1 Berger, Josef 1 Bonnay, Denis 1 Brauer, Ethan 1 Bruni, Riccardo 1 Buchholz, Wilfried 1 Buss, Samuel R. 1 Caldon, Patrick 1 Carl, Merlin 1 Carty, D. C. Mc. 1 Cassou-Noguès, Pierre 1 Cichon, E. A. 1 Cleland, Carol E. 1 Constable, Robert Lee 1 Copeland, B. Jack 1 Coquand, Thierry 1 Cordón-Franco, Andrés ...and 141 more Authors all top 5 Cited in 46 Serials 46 Annals of Pure and Applied Logic 37 The Journal of Symbolic Logic 23 Archive for Mathematical Logic 18 Synthese 18 The Bulletin of Symbolic Logic 14 The Review of Symbolic Logic 9 History and Philosophy of Logic 6 Theoretical Computer Science 5 Journal of Automated Reasoning 4 Archiv für Mathematische Logik und Grundlagenforschung 4 Historia Mathematica 4 Logica Universalis 3 Mathematische Semesterberichte 3 The Mathematical Intelligencer 3 Studia Logica 3 Computability 3 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 2 Journal of Philosophical Logic 2 Notre Dame Journal of Formal Logic 2 Information and Computation 2 Journal of Logic, Language and Information 2 Mathematical Logic Quarterly (MLQ) 2 Perspectives on Science 1 Archive for History of Exact Sciences 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Advances in Mathematics 1 Bulletin of the London Mathematical Society 1 Rendiconti del Seminario Matemàtico e Fisico di Milano 1 Bulletin of the American Mathematical Society. New Series 1 Indagationes Mathematicae. New Series 1 Selecta Mathematica. New Series 1 Electronic Research Announcements of the American Mathematical Society 1 Mathematical Communications 1 Theory of Computing Systems 1 Erkenntnis 1 Journal of Mathematical Logic 1 The Journal of Logic and Algebraic Programming 1 Logic and Logical Philosophy 1 Natural Computing 1 Journal of Applied Logic 1 Parallel Processing Letters 1 Bulletin of the American Mathematical Society 1 Revista Brasileira de História da Matemática 1 Philosophy Compass 1 Nôus 1 European Journal of Mathematics all top 5 Cited in 19 Fields 295 Mathematical logic and foundations (03-XX) 70 History and biography (01-XX) 55 Computer science (68-XX) 38 General and overarching topics; collections (00-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 3 Group theory and generalizations (20-XX) 3 General topology (54-XX) 2 Combinatorics (05-XX) 2 General algebraic systems (08-XX) 2 Real functions (26-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Geometry (51-XX) 2 Quantum theory (81-XX) 1 Category theory; homological algebra (18-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Algebraic topology (55-XX) 1 Relativity and gravitational theory (83-XX) 1 Mathematics education (97-XX) Citations by Year