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) |
m ca-->ques |
||
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|
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]] 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]].
| |||