Teoremas de incompletitud de Gödel
From Wikipedia, the free encyclopedia
Los teoremas de incompletitud de Gödel son dos célebres teoremas de lóxica matemática demostraos por Kurt Gödel en 1931. Dambos tán rellacionaos cola esistencia de proposiciones indecidibles en ciertes teoríes aritmétiques.
El primer teorema de incompletitud afirma que, so ciertes condiciones, nenguna teoría matemática formal capaz de describir los númberos naturales y l'aritmética con abonda espresividá, ye al empar consistente y completa. Esto ye, si los axomes de dicha teoría nun se contradicen ente sigo, entós esisten enunciaos que nun pueden probase nin refutarse a partir d'ellos. En particular, la conclusión del teorema aplícase siempres que la teoría aritmética en cuestión sía recursiva, esto ye, una teoría na que'l procesu de deducción pueda llevase a cabu por aciu un algoritmu.
La prueba del teorema ye totalmente esplícita y nella constrúi una fórmula, denotada davezu G n'honor a Gödel, pa la que dada una demostración de la mesma, puede construyise una refutación, y viceversa. Sicasí, la interpretación natural de felicidá sentencia en términos de númberos naturales ye verdadera.[1]
El segundu teorema de incompletitud ye un casu particular del primeru: afirma qu'una de les sentencies indecidibles de dicha teoría ye aquella que «afirma» la consistencia de la mesma. Esto ye, que si'l sistema d'axomes en cuestión ye consistente, nun ye posible demostralo por aciu dichos axomes.
Los teoremas de incompletitud de Gödel son unu de les grandes meyores de la lóxica matemática, y supunxeron —según la mayoría de la comunidá matemática— una respuesta negativa al segundu problema de Hilbert.[1]