Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency
From MaRDI portal
Publication:2409191
External book reviews (00A17) Collections of articles of miscellaneous specific interest (00B15) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03Fxx)
Cites work
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
- David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
- Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie
- Hilbert's programs and beyond
- scientific article; zbMATH DE number 3950473 (Why is no real title available?)
- scientific article; zbMATH DE number 47172 (Why is no real title available?)
- scientific article; zbMATH DE number 3002821 (Why is no real title available?)
- scientific article; zbMATH DE number 3030933 (Why is no real title available?)
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- The consistency of arithmetics
- Untersuchungen über das logische Schliessen. I
- Zur Widerspruchsfreiheit der Zahlentheorie
- Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
- Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
This page was built for publication: Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2409191)
