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

Wilfried Sieg

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

Mathematics Subject Classification ID

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