scientific article; zbMATH DE number 7095141

MaRDI QIDQ5229671zbMATH OpenFDO

Authors Wilfried Sieg

Publication date 16 August 2019

zbMATH Keywords

finitismgeneral reductive theoryincompletenessmetamathematicsnatural deductionproof theorystructural mathematics

Mathematics Subject Classification ID

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

Cited in

(7)

• Hilbert's iterativistic tendencies
• scientific article; zbMATH DE number 5575850 (Why is no real title available?)
• scientific article; zbMATH DE number 4103066 (Why is no real title available?)
• Hilbert's Programs: 1917–1922
• Hilbert’s Programme and Ordinal Analysis
• New Computational Paradigms
• About witnessing Bell non-locality at colliders

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5229671)