Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency

DOI10.1365/S13291-017-0163-8zbMATH Open1378.00074OpenAlexW2599506508MaRDI QIDQ2409191FDOQ2409191

Authors: 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

Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) External book reviews (00A17) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) History of mathematical logic and foundations (03-03) Proof theory and constructive mathematics (03Fxx)

Cites Work

• Untersuchungen über das logische Schliessen. I
• The consistency of arithmetics
• Hilbert's programs and beyond
• Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Title not available (Why is that?)
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• Title not available (Why is that?)
• Zur Widerspruchsfreiheit der Zahlentheorie
• Title not available (Why is that?)
• Title not available (Why is that?)
• Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie

Cited In (1)

• Gentzen's Centenary

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)