Alfred Tarski: Semantic shift, heuristic shift in metamathematics
From MaRDI portal
Publication:5931294
DOI10.1023/A:1005268531418zbMath0995.03005MaRDI QIDQ5931294
Publication date: 15 October 2002
Published in: Synthese (Search for Journal in Brave)
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)
Related Items (5)
Searches for the origins of the epistemological concept of model in mathematics ⋮ On Tarski's Foundations of the Geometry of Solids ⋮ Examining the Role of Logic in Teaching Proof ⋮ The role of universal language in the early work of Carnap and Tarski ⋮ The Gödelian Inferences
This page was built for publication: Alfred Tarski: Semantic shift, heuristic shift in metamathematics