Alfred Tarski’s avatar

Alfred Tarski

Historical profile
Polish-American logician​·​1901–1983

Chronicled events

  1. #5873

    Truth for a language rich enough for arithmetic can be defined only in a richer language, never within the language itself. So no one system of symbols and rules can even say which of its own statements are true: there’s no universal criterion of truth.