La vérité est indéfinissable dans les langages formels
Le théorème d'Alfred Tarski révèle que la vérité ne peut être entièrement définie au sein d'un langage formel. Cela expose des limites fondamentales à l'autoréférence logique. Il a influencé des domaines allant de la philosophie à l'IA.
En 1933, le logicien Alfred Tarski a montré une chose. Dans tout langage formel puissant, comme les mathématiques, on ne peut pas définir la 'vérité' pour toutes ses affirmations. Cela doit se faire en utilisant uniquement ce langage. Un langage ne peut donc pas décrire pleinement sa propre vérité. Il rencontrerait des paradoxes, comme le célèbre paradoxe du menteur.
Continuer la Lecture dans l'App
et un quiz de 3 questions