Alfred Tarski
A logician who concluded that a language cannot define its own truth predicate without generating contradictions.
theorist
A logician who concluded that a language cannot define its own truth predicate without generating contradictions.