Book:Alfred Tarski/The Concept of Truth in Formalized Languages/Mistake

From ProofWiki
Jump to navigation Jump to search

Source Work

1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.)

2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.):

Tarski, Alfred (1902-85)


Mistake

Polish-American mathematical logician who in his The Concept of Truth in Formalized Languages (1935) introduced the distinction between language and metalanguage, ...


Correction

The monograph The Concept of Truth in Formalized Languages was actually published in $1933$, not $1935$.


Sources