La verdad es indefinible en lenguajes formales
El teorema de Alfred Tarski muestra que la verdad no puede definirse completamente dentro de un lenguaje formal. Esto expone límites fundamentales a la autorreferencia lógica. Ha influido en campos desde la filosofía hasta la inteligencia artificial.
En 1933, Alfred Tarski demostró algo. En cualquier lenguaje formal potente, como las matemáticas, no se puede definir la 'verdad'. Esto es para todas sus afirmaciones usando solo ese lenguaje. Un lenguaje no puede describir su propia verdad. Esto causaría paradojas, como la famosa paradoja del mentiroso.
Seguir Leyendo en la App
1 párrafo más · más un cuestionario de 3 preguntas