Diferencies ente revisiones de «Teoremas de incompletitud de Gödel»
Contenido eliminado Contenido añadido
m Robó: Troquéu automáticu de testu (-\[\[\b([a-zA-ZáéíóúÁÉÍÓÚñÑ]+)(a\b)\]\]s\b +\1es) |
|||
Llinia 1:
[[Archivu:1925 kurt gödel.png|thumb|250px|[[Kurt Gödel]] a los 19 años d'edá, cinco año antes de la demostración de los teoremas.]]
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 [[proposición|proposiciones]] [[Independencia (lóxica matemática)|indecidibles]] en ciertes teoríes [[aritmética|aritmétices]]
El primera 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 [[consistencia (lóxica)|consistente]] y [[Completitud semántica|completa]]. Esto ye, si los [[axoma|axomes]]
La prueba del teorema ye totalmente esplícita y nella constrúi una fórmula, denotada davezu {{math|''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.<ref name="GEBintro">Vease la parte dedicada a [[Kurt Gödel|Gödel]] na introducción de {{Harvsp|Hofstadter|1989}}.</ref>
| |||