Teorema de Gödel (W3)
Die "Gödel'schen Unvollständigkeitssätze", span. "Teorema de Gödel", frz. "Théorčme d'incomplétude de Gödel", engl. "Gödel's incompleteness theorem", brachten die Mathematik ins Wanken. Besagt doch der "Erste Gödel'sche Unvollständigkeitssatz" (1931), daß "eine mathematische Theorie, die die Arithmetik umfasst, und die widerspruchsfrei ist, nicht alle in ihr wahren Aussagen beweisen kann".Es gilt also die Aussage, daß nicht jede wahre Aussage bewiesen werden kann.
Der "Zweite Gödel'sche Satz" schlägt in die selbe Bresche und besagt: "Kein formales System, das wesentliche Teile der Mathematik beinhaltet, kann seine eigene Widerspruchsfreiheit beweisen.".
(E?)(L?) http://www.biografiasyvidas.com/biografia/g/godel.htm
Gödel, Kurt
(E?)(L?) http://hispanoteca.eu/Lexikon%20der%20Linguistik/g/GÖDELS%20SATZ%20%20%20Teorema%20de%20Gödel.htm
GÖDEL SATZ Teorema de Gödel
...
La gödelización
La gödelización se basa en el teorema fundamental de la aritmética que enseńa que la descomposición de un número en factores primos es unívoca. La técnica consiste en representar toda fórmula de la lógica de predicados por un número que es un producto de factores primos afectados por exponentes.
Se empieza por asignar a cada símbolo elemental un número, llamado ‘número de Gödel’ del símbolo. [...]
...
Erstellt: 2012-01