Común
Teorema de indefinibilidad de Tarski
proposición que afirma que la verdad en el modelo estándar de un sistema formal no puede definirse dentro del propio sistema
Teorema de indefinibilidad de Tarski
El teorema de indefinibilidad de Tarski, declarado y demostrado por Alfred Tarski en 1933, es un resultado limitativo importante en lógica matemática, fundamentos de las matemáticas y semántica formal. En términos coloquiales, el teorema establece que «la verdad aritmética no se puede definir en aritmética». El teorema se aplica de manera más general a cualquier sistema formal suficientemente fuerte, y demuestra que la verdad en el modelo estándar de un sistema no se puede definir dentro del propio sistema.
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis