Publication:4108283
From MaRDI portal
zbMath0341.01019MaRDI QIDQ4108283
Publication date: 1976
01A60: History of mathematics in the 20th century
01A75: Collected or selected works; reprintings or translations of classics
03-03: History of mathematical logic and foundations
01A25: History of Chinese mathematics
Related Items
Benno kerry beiträge zu seiner biographie, Consistency, models, and soundness, Structuralism and meta-mathematics, Platitudes against paradox, Zermelo's discovery of the Russell paradox, Frege on sense identity, How Bertrand Russell discovered his paradox, Hilbert's logic. From axiomatics to proof theory, The reception of Frege's \textit{Begriffsschrift}, A debate about the axiomatization of arithmetic: Otto Hölder against Robert Graßmann., Hilbert's paradox, Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?