Abrusci, V. Michele (Author)
In this paper I will consider the axioms for propositional logic which were presented by Hilbert in his conferences during the year 1922, and those which were presented by Hilbert and Bernays in the book Grundlagen der Mathematik, I (1934). I will describe a general procedure in order to translate Hilbert's axioms into rules on sequents and I will show that, following this procedure, Hilbert's axioms become particular cases of (derived or primitive) rules of Gentzen's Sequent Calculus and contain ideas which will be focused and developed in Gentzen's Sequent Calculus and also in more recent logical investigations.
...MoreArticle Lupacchini, Rossella (2014) Hilbert's Axiomatics as “Symbolic Form”?. Perspectives on Science (pp. 1-34).
Article
Sieg, Wilfried;
(2014)
The Ways of Hilbert's Axiomatics: Structural and Formal
(/isis/citation/CBB001213914/)
Article
Stillwell, John;
(2014)
Ideal Elements in Hilbert's Geometry
(/isis/citation/CBB001213909/)
Article
Rédei, Miklós;
(2014)
Hilbert's 6th Problem and Axiomatic Quantum Field Theory
(/isis/citation/CBB001213911/)
Article
Lupacchini, Rossella;
(2014)
Hilbert's Axiomatics as “Symbolic Form”?
(/isis/citation/CBB001213908/)
Book
Gauthier, Yvon;
(2002)
Internal Logic: Foundations of Mathematics from Kronecker to Hilbert
(/isis/citation/CBB000301820/)
Book
Hilbert, David;
Ewald, William;
Sieg, Wilfried;
Hallett, Michael;
Majer, Ulrich;
Schlimm, Dirk;
(2013)
David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917--1933
(/isis/citation/CBB001551530/)
Article
Majer, Ulrich;
(2014)
The “Axiomatic Method” and Its Constitutive Role in Physics
(/isis/citation/CBB001213910/)
Book
William Boos;
Florence S. Boos;
(2018)
Metamathematics and the Philosophical Tradition
(/isis/citation/CBB060593902/)
Article
Paseau, Alexander;
(2011)
Mathematical Instrumentalism, Gödel's Theorem, and Inductive Evidence
(/isis/citation/CBB001024149/)
Article
Willea, Matthias;
(2011)
“Metamathematics” in Transition
(/isis/citation/CBB001211006/)
Book
Gabriele Lolli;
(2016)
Tavoli, sedie, boccali di birra: David Hilbert e la matematica del Novecento
(/isis/citation/CBB100106060/)
Chapter
Mancosu, Paolo;
Zach, Richard;
Badesa, Calixto;
(2009)
The Development of Mathematical Logic from Russell to Tarski, 1900--1935
(/isis/citation/CBB001210349/)
Article
Olga Hoppe-Kondrikova;
Lukas M. Verburgt;
(2016)
On A.ya. Khinchin's Paper ‘ideas of Intuitionism and the Struggle for a Subject Matter in Contemporary Mathematics’ (1926): A Translation with Introduction and Commentary
(/isis/citation/CBB951542109/)
Article
Cassou-Noguès, Pierre;
(2006)
Signs, Figures and Time: Cavaillès on “Intuition” in Mathematics
(/isis/citation/CBB000933621/)
Article
McLarty, Colin;
(2011)
Emmy Noether's First Great Mathematics and the Culmination of First-Phase Logicism, Formalism, and Intuitionism
(/isis/citation/CBB001022015/)
Article
Li, Di;
(2005)
Transmission of the mathematical theories of German mathematicians in China during the first half of the 20th century
(/isis/citation/CBB000503127/)
Article
Karela, Catherine;
(2010)
Hilbert on Different Notions of Completeness: A Conceptual and Historical Analysis
(/isis/citation/CBB001220619/)
Book
John von Neumann;
R. Lupacchini;
G. Gottardi;
(2018)
Metamatematica hilbertiana e fondamenti della meccanica quantistica
(/isis/citation/CBB497992538/)
Article
Patton, Lydia;
(2014)
Hilbert's Objectivity
(/isis/citation/CBB001214153/)
Article
Yan, Chenguang;
Deng, Mingli;
(2011)
The Contribution of Chevalley to the Class Field Theory
(/isis/citation/CBB001210024/)
Be the first to comment!