Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency
DOI10.1365/s13291-017-0163-8zbMath1378.00074OpenAlexW2599506508MaRDI QIDQ2409191
Publication date: 11 October 2017
Published in: Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1365/s13291-017-0163-8
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) External book reviews (00A17) Proof theory and constructive mathematics (03Fxx)
Cites Work
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
- Untersuchungen über das logische Schliessen. I
- Zur Widerspruchsfreiheit der Zahlentheorie
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
- Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie
- Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
- The consistency of arithmetics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency