On the Motives for Proof Theory

DOI10.1007/978-3-319-11041-7_5zbMath1429.03002OpenAlexW190904960MaRDI QIDQ5213608

Michael E. Detlefsen

Publication date: 4 February 2020

Published in: Dag Prawitz on Proofs and Meaning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11041-7_5

zbMATH Keywords

consistencyHilbertproof theoryFregemodel constructionrigorBernaysdirect approach to consistencyabstract axiomatic methodconceptual freedomcontentual axiomatizationfinitary viewpointformal axiomatizationFrege's futility argument

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Grundlagen der Mathematik I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Motives for Proof Theory