×

zbMATH — the first resource for mathematics

Sieg, Wilfried

Compute Distance To:
Author ID: sieg.wilfried Recent zbMATH articles by "Sieg, Wilfried"
Published as: Sieg, Wilfried; Sieg, W.
External Links: MGP
Documents Indexed: 67 Publications since 1981, including 10 Books

Publications by Year

Citations contained in zbMATH Open

42 Publications have been cited 295 times in 219 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
87
1981
Fragments of arithmetic. Zbl 0558.03029
Sieg, Wilfried
34
1985
Herbrand analyses. Zbl 0722.03040
Sieg, Wilfried
18
1991
Hilbert’s programs: 1917-1922. Zbl 0924.03002
Sieg, Wilfried
14
1999
Mechanical procedures and mathematical experience. Zbl 0816.03001
Sieg, Wilfried
12
1994
Normal natural deduction proofs (in classical logic). Zbl 0954.03015
Sieg, Wilfried; Byrnes, John
11
1998
Dedekind’s analysis of number: Systems and axioms. Zbl 1084.01008
Sieg, Wilfried; Schlimm, Dirk
10
2005
David Hilbert’s lectures on the foundations of arithmetic and logic, 1917–1933. In collaboration with Ulrich Majer and Dirk Schlimm. Zbl 1275.03002
Ewald, William (ed.); Sieg, Wilfried (ed.); Hilbert, David
10
2013
Step by recursive step: Church’s analysis of effective calculability. Zbl 0884.03001
Sieg, Wilfried
9
1997
Normal natural deduction proofs (in non-classical logics). Zbl 1098.03026
Sieg, Wilfried; Cittadini, Saverio
8
2005
Church without dogma: axioms for computability. Zbl 1148.68372
Sieg, Wilfried
8
2008
Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Zbl 1001.00020
Sieg, Wilfried (ed.); Sommer, Richard (ed.); Talcott, Carolyn (ed.)
6
2002
Hilbert’s programs and beyond. Zbl 1281.01004
Sieg, Wilfried
6
2013
Calculations by man and machine: Conceptual analysis. Zbl 1014.03009
Sieg, Wilfried
5
2002
Gödel on computability. Zbl 1111.03003
Sieg, Wilfried
5
2006
Searching for proofs (and uncovering capacities of the mathematical mind). Zbl 1244.03156
Sieg, Wilfried
5
2010
Hilbert’s program sixty years later. Zbl 0654.03002
Sieg, Wilfried
5
1988
Only two letters: The correspondence between Herbrand and Gödel. Zbl 1089.03005
Sieg, Wilfried
4
2005
Calculations by man & machine: Mathematical presentation. Zbl 1026.03027
Sieg, Wilfried
3
2002
Axioms for computability: do they allow a proof of Church’s thesis? Zbl 1256.68062
Sieg, Wilfried
3
2013
Conceptual confluence in 1936: Post and Turing. Zbl 1400.01008
Davis, Martin; Sieg, Wilfried
2
2015
Beyond Hilbert’s reach? Zbl 1163.03009
Sieg, Wilfried
2
2009
Paper machines. Zbl 0851.03010
Mundici, Daniele; Sieg, Wilfried
2
1995
\(K\)-graph machines: Generalizing Turing’s machines and arguments. Zbl 0856.03032
Sieg, Wilfried; Byrnes, John
2
1996
Foundations for analysis and proof theory. Zbl 0547.01013
Sieg, Wilfried
2
1984
The ways of Hilbert’s axiomatics: structural and formal. Zbl 1298.03015
Sieg, Wilfried
2
2014
Toward finitist proof theory. Zbl 1015.03004
Sieg, Wilfried
2
2002
Automated search for Gödel’s proofs. Zbl 1064.03010
Sieg, Wilfried; Field, Clinton
2
2005
Feferman on foundations. Logic, mathematics, philosophy. Zbl 1394.03005
Jäger, Gerhard (ed.); Sieg, Wilfried (ed.)
2
2017
Beyond Hilbert’s reach? Zbl 1113.03306
Sieg, Wilfried
2
2002
Dedekind’s abstract concepts: models and mappings. Zbl 1420.01007
Sieg, Wilfried; Schlimm, Dirk
1
2017
Relative consistency and accessible domains. Zbl 0757.03004
Sieg, Wilfried
1
1990
Provably recursive functionals of theories with Koenig’s lemma. Zbl 0672.03045
Sieg, Wilfried
1
1987
A note on polynomial time computable arithmetic. Zbl 0696.03032
Buchholz, Wilfried; Sieg, Wilfried
1
1990
The Cantor-Bernstein theorem: how many proofs? Zbl 1441.03015
Sieg, Wilfried
1
2019
Gödel’s philosophical challenge (to Turing). Zbl 1301.03013
Sieg, Wilfried
1
2013
Program transformation and proof transformation. Zbl 0953.68519
Sieg, Wilfried; Wainer, S. S.
1
1994
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
Feferman, Solomon (ed.); Sieg, Wilfried (ed.)
1
2010
On mind & Turing’s machines. Zbl 1120.03006
Sieg, Wilfried
1
2007
The AProS project: strategic thinking & computational logic. Zbl 1127.03306
Sieg, Wilfried
1
2007
Reductions of theories for analysis. Zbl 0631.03044
Sieg, Wilfried
1
1985
Methodological frames: Paul Bernays, mathematical structuralism, and proof theory. Zbl 07327362
Sieg, Wilfried
1
2020
Methodological frames: Paul Bernays, mathematical structuralism, and proof theory. Zbl 07327362
Sieg, Wilfried
1
2020
The Cantor-Bernstein theorem: how many proofs? Zbl 1441.03015
Sieg, Wilfried
1
2019
Feferman on foundations. Logic, mathematics, philosophy. Zbl 1394.03005
Jäger, Gerhard; Sieg, Wilfried
2
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
2
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
Ewald, William; Sieg, Wilfried; Hilbert, David
10
2013
Hilbert’s programs and beyond. Zbl 1281.01004
Sieg, Wilfried
6
2013
Axioms for computability: do they allow a proof of Church’s thesis? Zbl 1256.68062
Sieg, Wilfried
3
2013
Gödel’s philosophical challenge (to Turing). Zbl 1301.03013
Sieg, Wilfried
1
2013
Searching for proofs (and uncovering capacities of the mathematical mind). Zbl 1244.03156
Sieg, Wilfried
5
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
Feferman, Solomon; Sieg, Wilfried
1
2010
Beyond Hilbert’s reach? Zbl 1163.03009
Sieg, Wilfried
2
2009
Church without dogma: axioms for computability. Zbl 1148.68372
Sieg, Wilfried
8
2008
On mind & Turing’s machines. Zbl 1120.03006
Sieg, Wilfried
1
2007
The AProS project: strategic thinking & computational logic. Zbl 1127.03306
Sieg, Wilfried
1
2007
Gödel on computability. Zbl 1111.03003
Sieg, Wilfried
5
2006
Dedekind’s analysis of number: Systems and axioms. Zbl 1084.01008
Sieg, Wilfried; Schlimm, Dirk
10
2005
Normal natural deduction proofs (in non-classical logics). Zbl 1098.03026
Sieg, Wilfried; Cittadini, Saverio
8
2005
Only two letters: The correspondence between Herbrand and Gödel. Zbl 1089.03005
Sieg, Wilfried
4
2005
Automated search for Gödel’s proofs. Zbl 1064.03010
Sieg, Wilfried; Field, Clinton
2
2005
Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Zbl 1001.00020
Sieg, Wilfried; Sommer, Richard; Talcott, Carolyn
6
2002
Calculations by man and machine: Conceptual analysis. Zbl 1014.03009
Sieg, Wilfried
5
2002
Calculations by man & machine: Mathematical presentation. Zbl 1026.03027
Sieg, Wilfried
3
2002
Toward finitist proof theory. Zbl 1015.03004
Sieg, Wilfried
2
2002
Beyond Hilbert’s reach? Zbl 1113.03306
Sieg, Wilfried
2
2002
Hilbert’s programs: 1917-1922. Zbl 0924.03002
Sieg, Wilfried
14
1999
Normal natural deduction proofs (in classical logic). Zbl 0954.03015
Sieg, Wilfried; Byrnes, John
11
1998
Step by recursive step: Church’s analysis of effective calculability. Zbl 0884.03001
Sieg, Wilfried
9
1997
\(K\)-graph machines: Generalizing Turing’s machines and arguments. Zbl 0856.03032
Sieg, Wilfried; Byrnes, John
2
1996
Paper machines. Zbl 0851.03010
Mundici, Daniele; Sieg, Wilfried
2
1995
Mechanical procedures and mathematical experience. Zbl 0816.03001
Sieg, Wilfried
12
1994
Program transformation and proof transformation. Zbl 0953.68519
Sieg, Wilfried; Wainer, S. S.
1
1994
Herbrand analyses. Zbl 0722.03040
Sieg, Wilfried
18
1991
Relative consistency and accessible domains. Zbl 0757.03004
Sieg, Wilfried
1
1990
A note on polynomial time computable arithmetic. Zbl 0696.03032
Buchholz, Wilfried; 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
34
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
87
1981
all top 5

Cited by 174 Authors

17 Sieg, Wilfried
16 Jäger, Gerhard
10 Rathjen, Michael
9 Strahm, Thomas
7 Avigad, Jeremy
7 Kohlenbach, Ulrich Wilhelm
6 Feferman, Solomon
6 Simpson, Stephen G.
6 Weiermann, Andreas
5 Pohlers, Wolfram
4 Kahle, Reinhard
3 Beklemishev, Lev D.
3 Berger, Ulrich
3 Cantini, Andrea
2 Brown, Douglas K.
2 Crosilla, Laura
2 Dean, Walter
2 Dougherty, Randall L.
2 Ferrari, Mauro
2 Ferreira, Fernando
2 Fiorentini, Camillo
2 Fujimoto, Kentaro
2 Gurevich, Yuri
2 Ignjatović, Aleksandar
2 Jech, Thomas J.
2 Kanamori, Akihiro
2 Klev, Ansten Mørch
2 Leivant, Daniel M.
2 Mancosu, Paolo
2 Parsons, Charles D.
2 Petrukhin, Yaroslav Igorevich
2 Reck, Erich H.
2 Schiemer, Georg
2 Schlimm, Dirk
2 Shangin, Vasily
2 Steila, Silvia
2 Tatsuta, Makoto
2 Towsner, Henry
2 Van der Meeren, Jeroen
2 Zenil, Hector
1 Aehlig, Klaus
1 Afshari, Bahareh
1 Alonso, Enrique
1 Arai, Toshiyasu
1 Arana, Andrew
1 Arkoudas, Konstantine
1 Awodey, Steve
1 Benis-Sinaceur, Hourya
1 Berger, Josef
1 Bonnay, Denis
1 Bruni, Riccardo
1 Buchholz, Wilfried
1 Buss, Samuel R.
1 Caldon, Patrick
1 Carlson, Timothy J.
1 Carty, D. C. Mc.
1 Cassou-Noguès, Pierre
1 Cichon, E. A.
1 Cleland, Carol E.
1 Copeland, B. Jack
1 Coquand, Thierry
1 Cordón-Franco, Andrés
1 Crossley, John Newsome
1 Dawson, John W. jun.
1 Dershowitz, Nachum
1 Dutilh Novaes, Catarina
1 Dyckhoff, Roy
1 Eder, Günther
1 Ferreira, Gilda
1 Ferreirós, José
1 Field, Clinton
1 Fischer, Martin J.
1 Floyd, Juliet
1 Fresco, Nir
1 Ganea, Mihai
1 Gaspar, Jaime
1 Giovannini, Eduardo N.
1 Glanzberg, Michael
1 Glass, Thomas A.
1 Griffor, Edward R.
1 Hájek, Petr
1 Halbach, Volker
1 Hämeen-Anttila, Maria
1 Hansson, Sven Ove
1 Hashagen, Ulf
1 Hellman, Geoffrey
1 Hernández-Espinosa, Alberto
1 Hernández-Quiroz, Francisco
1 Hirst, Jeffry Lynn
1 Hoppe-Kondrikova, Olga
1 Humphreys, A. James
1 Joosten, Joost J.
1 Kechris, Alexander S.
1 Kennedy, Juliette Cara
1 Kfoury, Assaf J.
1 Kimura, Daisuke
1 Kister, Jane Elizabeth
1 Kobayashi, Satoshi
1 Komara, Ján
1 Kriener, Jönne
...and 74 more Authors

Citations by Year