Común · Saberes
Lema diagonal
Declaración en lógica matemática
En lógica matemática, el lema diagonal (también conocido como lema de diagonalización, lema de autorreferencia o teorema del punto fijo) establece la existencia de sentencias autorreferenciadas en ciertas teorías formales de los números naturales, específicamente aquellas teorías que son lo suficientemente fuertes como para representar todas las funciones computables. Las oraciones cuya existencia está asegurada por el lema diagonal pueden, a su vez, usarse para probar resultados limitativos fundamentales como los teoremas de incompletitud de...
En Wikipedia
En lógica matemática, el lema diagonal (también conocido como lema de diagonalización, lema de autorreferencia o teorema del punto fijo) establece la existencia de sentencias autorreferenciadas en ciertas teorías formales de los números naturales, específicamente aquellas teorías que son lo suficientemente fuertes como para representar todas las funciones computables. Las oraciones cuya existencia está asegurada por el lema diagonal pueden, a su vez, usarse para probar resultados limitativos fundamentales como los teoremas de incompletitud de Gödel y el teorema de indefinibilidad de Tarski.
Texto: Wikipédia, CC BY-SA 4.0. ·