Frege on Formality and the 1906 Independence-Test
From MaRDI portal
Publication:3452173
DOI10.1515/9781614518471.97zbMath1329.03002OpenAlexW2483999000MaRDI QIDQ3452173
Publication date: 18 November 2015
Published in: Formalism and Beyond (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/4ab650374bc16ade0979a1da73ef2c0bb9e04af0
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Abstract deductive systems (03B22)
Related Items (4)
Identity and the cognitive value of logical equations in Frege's foundational project ⋮ LOGICAL CONTEXTUALITY IN FREGE ⋮ Frege's philosophy of geometry ⋮ Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
This page was built for publication: Frege on Formality and the 1906 Independence-Test