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.
Hay más sobre esta historia — abre la app para seguir leyendo.
Seguir Leyendo en la App
1 párrafos más · más un cuestionario de 3 preguntas