Remarks on Independence Proofs and Indirect Reference

DOI10.1080/01445340.2012.702568zbMath1308.03004OpenAlexW2057927581WikidataQ58567053 ScholiaQ58567053MaRDI QIDQ4983330

Günther Eder

Publication date: 25 March 2015

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2012.702568

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)

Cites Work

• Frege's new science
• Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
• Logic as calculus and logic as language
• Aspekte der frege–hilbert-korrespondenz
• Frege on Consistency and Conceptual Analysis

This page was built for publication: Remarks on Independence Proofs and Indirect Reference