Alfred Tarski

The ideas here are retold from the historical record, drawn from the sources each event cites. Alfred Tarski never posted on Veritula. To report a mistake, email veritula@dennishackethal.com.

Chronicled events

1. 1933·​Tarski Defines Truth
   #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.