Add to ORKGIf nowadays “Gentzen’s consistency proof for arithmetic ” is mentioned, one usually refers to [Ge38] while Gentzen’s first (published) consistency proof, i.e. [Ge36], is widely unknown or ignored. The present paper is intended to change this unsatisfactory situation by presenting [Ge36, IV. Abschnitt] in a slightly modified and modernized form
This paper concerns a specific inconsistent arithmetic, formulated by Jean Paul Van Bendegem and pra...
We consider the consistency proof for a weak fragment of arithmetic published by von Neumann in 1927...
Prompted by Gentzen’s 1936 consistency proof, Goodstein found a close fit between descending sequenc...
This paper contains detailed description of two consistency proofs, which state that in the system c...
From the very dawn of their field, mathematical logicians have historically studied the consistency ...
This book explains the first published consistency proof of PA. It contains the original Gentzen's p...
This work presents some demonstrations of the consistency of classical arithmetic, proven by Gödel...
The papers in the collection discuss various features of Gentzen's four consistency proofs for eleme...
I consider some early consistency proofs in the Hilbert School (by Ackermann, von Neumann and Herbra...
This paper offers an elementary proof that formal arithmetic is consistent. The system that will be ...
In this note we consider Gentzen's first ordinal notation, used in his first published proof of the ...
in December after receiving criticism and, in particular, the criticism that the proof used the Fan ...
Includes bibliographical references (page 32)In this thesis we examine Godel's argument that (1) the...
Kurt Gödel (1906–1978) shook the mathematical world in 1931 by a result that has become an icon of 2...
We consider the rather neglected and difficult consistency proof for a weak fragment of arithmetic (...
This paper concerns a specific inconsistent arithmetic, formulated by Jean Paul Van Bendegem and pra...
We consider the consistency proof for a weak fragment of arithmetic published by von Neumann in 1927...
Prompted by Gentzen’s 1936 consistency proof, Goodstein found a close fit between descending sequenc...
This paper contains detailed description of two consistency proofs, which state that in the system c...
From the very dawn of their field, mathematical logicians have historically studied the consistency ...
This book explains the first published consistency proof of PA. It contains the original Gentzen's p...
This work presents some demonstrations of the consistency of classical arithmetic, proven by Gödel...
The papers in the collection discuss various features of Gentzen's four consistency proofs for eleme...
I consider some early consistency proofs in the Hilbert School (by Ackermann, von Neumann and Herbra...
This paper offers an elementary proof that formal arithmetic is consistent. The system that will be ...
In this note we consider Gentzen's first ordinal notation, used in his first published proof of the ...
in December after receiving criticism and, in particular, the criticism that the proof used the Fan ...
Includes bibliographical references (page 32)In this thesis we examine Godel's argument that (1) the...
Kurt Gödel (1906–1978) shook the mathematical world in 1931 by a result that has become an icon of 2...
We consider the rather neglected and difficult consistency proof for a weak fragment of arithmetic (...
This paper concerns a specific inconsistent arithmetic, formulated by Jean Paul Van Bendegem and pra...
We consider the consistency proof for a weak fragment of arithmetic published by von Neumann in 1927...
Prompted by Gentzen’s 1936 consistency proof, Goodstein found a close fit between descending sequenc...