Diferencies ente revisiones de «Teoremas de incompletitud de Gödel»
Contenido eliminado Contenido añadido
m ca-->ques |
m Robó: Troquéu automáticu de testu (-cinco año\b +cinco años) |
||
Llinia 1:
[[Archivu:1925 kurt gödel.png|thumb|250px|[[Kurt Gödel]] a los 19 años d'edá, cinco
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étiques]].
| |||