Tarski's undefinability theorem
Teorema de indefinibilidad de Tarski
- Date
- 1933 · confidence high
- Place
- Warsaw, Poland
- Credited to
- Alfred Tarski
- Field
- Knowledge & symbols
What was discovered
Tarski's undefinability theorem states that arithmetical truth cannot be defined within arithmetic itself, and more generally that truth in the standard model of a sufficiently strong formal system cannot be defined within that system. It was proved by Alfred Tarski in 1933.
What it led to
- Fundamental limitative result of mathematical logic, alongside Gödel's theorems
- Basis of formal semantics and model theory
- Influence on the philosophy of language and theories of truth