Diferencies ente revisiones de «Teoremas de incompletitud de Gödel»

m
ca-->ques
m (Robó: Troquéu automáticu de testu (-\[\[\b([a-zA-ZáéíóúÁÉÍÓÚñÑ]+)(a\b)\]\]s\b +\1es))
m (ca-->ques)
[[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éticesaritmétiques]].
 
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]].