scientific article; zbMATH DE number 6146037

zbMath1281.01004MaRDI QIDQ4910498

Wilfried Sieg

Publication date: 18 March 2013

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

metamathematicsproof theorynatural deductionincompletenessfinitismgeneral reductive theorystructural mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 21st century (01A61) History of mathematical logic and foundations (03-03) Proceedings, conferences, collections, etc. pertaining to history and biography (01-06) History of mathematics in the 19th century (01A55) Proof theory in general (including proof-theoretic semantics) (03F03) Logic in the philosophy of science (03A10) Collections of reprinted articles (00B60)

Related Items (12)

The Semantic Function of the Axiomatic Method ⋮ On A. Ya. Khinchin's paper `Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics' (1926): a translation with introduction and commentary ⋮ Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency ⋮ A competent translation/a pitiful bungle: \textit{The foundations of geometry} ⋮ Platonism and the Proto-ontology of Mathematics: Learning from the Axiom of Choice ⋮ Hilbert’s sixth problem: between the foundations of geometry and the axiomatization of physics ⋮ Gödel's reception of Turing's model of computability: the shift of perception in 1934 ⋮ Kalmár's Argument Against the Plausibility of Church's Thesis ⋮ Prawitz, Proofs, and Meaning ⋮ On the mathematical and foundational significance of the uncountable ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF ⋮ ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment

This page was built for publication: