scientific article; zbMATH DE number 3030933
Es handelt sich um eine vereinfachte Fassung des Gentzenschen Nachweises der Widerspruchsfreiheit der reinen Zahlentheorie [Math. Ann. 112, 493--565 (1936; Zbl 0014.38801)]. Statt von seinem logischen Kalkül \(NK\) geht der Autor jetzt von seinem Kalkül \(LK\) [Math. Z. 39, 176--210 (1934; Zbl 0010.14501)] aus, in dem eine Beweisfigur stets zu Formeln höheren Grades (Anzahl der logischen Verknüpfungen) fortschreitet; die Kompliziertheit der Beweise, die durch die Gentzensche Beweisordnungszahl fixiert ist, steht dadurch in naturgemäßem Zusammenhang mit der Kompliziertheit der Endformel. Weiter ist der Begriff der \glqq mathematischen Grundsequenz\grqq{} vereinfacht. Die Auswirkungen dieser Änderungen auf das Gentzensche Reduktionsverfahren werden vorgeführt. Als Bereich der Beweisordnungszahlen wird nicht mehr eine spezielle Dezimalbruchklasse, sondern explizite der von der 1. Epsilonzahl bestimmte Abschnitt der 2. Zahlenklasse benutzt. Die Konstruktivität des Verfahrens wird dadurch durchsichtiger, und man erkennt, daß dieser Bereich ein ,,sparsamster ist. Den Abschluß bilden ein Hinweis auf die Einbeziehbarkeit beliebiger Funktionen und ein Ausblick auf die Möglichkeit eines Widerspruchsfreiheitsbeweises für die Analysis. Weiteres Referat: JFM 64.0027.03
- A note on Gentzen's ordinal assignment
- ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment
- Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency
- Well-partial orderings and their maximal order types
- Cut-Elimination for SBL
- Normalization Proof for Derivations in PA after P. Cohen
- A Glimpse of $$ \sum_{3} $$-elementarity
- Well-Ordering Principles in Proof Theory and Reverse Mathematics
- A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
- On the logical strength of the better quasi order with three elements
- Gentzen's overview of calculi and reductions in consistency proofs
- Rereading Gentzen
- Paul Hertz' contribution to proof theory: normal-form results for deductions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5770686)
