Viene de @fantomax@Zzpeta
No conozco la notación del cuadrado y el rombo, no me parece habitual. He hecho asignaturas de metamatemática y lógica, y nunca me mostraron tal cosa.
El teorema de incompletitud de Gödel es algo bastante desconcertante, pero no es fácil de demostrar ni de entender. Se basa en hacer una traducción a números enteros de todas las proposiciones, de los axiomas, de cada signo con el que escribimos las cosas. Y con ese artificio se construye una proposición autoreferente, para lo que tenemos que haber definido la aritmética (los números enteros) en nuestra axiomática y referirnos a ellos. Algo así como la paradoja de "esta frase es falsa". Se suele enunciar como "todo sistema lógico donde se defina la aritmética es indecidible". Es un loop mental de lo más retorcido, pero mola.
No conozco la notación del cuadrado y el rombo, no me parece habitual. He hecho asignaturas de metamatemática y lógica, y nunca me mostraron tal cosa.
El teorema de incompletitud de Gödel es algo bastante desconcertante, pero no es fácil de demostrar ni de entender. Se basa en hacer una traducción a números enteros de todas las proposiciones, de los axiomas, de cada signo con el que escribimos las cosas. Y con ese artificio se construye una proposición autoreferente, para lo que tenemos que haber definido la aritmética (los números enteros) en nuestra axiomática y referirnos a ellos. Algo así como la paradoja de "esta frase es falsa". Se suele enunciar como "todo sistema lógico donde se defina la aritmética es indecidible". Es un loop mental de lo más retorcido, pero mola.