Teorema de indefinibilidad de Tarski
Tarski's undefinability theorem
- Fecha
- 1933 · fiabilidad alta
- Lugar
- Varsovia, Polonia
- Autoría
- Alfred Tarski
- Ámbito
- Saber y símbolos
Qué se descubrió
El teorema de indefinibilidad de Tarski establece que la verdad aritmética no puede definirse dentro de la propia aritmética, y de forma más general que la verdad en el modelo estándar de un sistema formal suficientemente potente no puede definirse dentro de ese mismo sistema. Lo demostró Alfred Tarski en 1933.
A qué dio paso
- Resultado limitativo fundamental de la lógica matemática, junto a los teoremas de Gödel
- Base de la semántica formal y la teoría de modelos
- Influencia en la filosofía del lenguaje y la teoría de la verdad