Diferencia entre revisiones de «Teoremas de incompletitud de Gödel»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de 148.213.14.134 a la última edición de Edgardogarciah |
||
Línea 1:
En [[lógica matemática]], los '''teoremas de incompletitud de Gödel''' son dos célebres teoremas demostrados por [[Kurt Gödel]] en [[1930]].
Simplificando, el primer teorema afirma:
{{teorema|En cualquier formalización [[consistencia lógica|consistente]] de las matemáticas que sea lo bastante fuerte para definir el concepto de [[números naturales]], se puede construir una afirmación que ni se puede demostrar ni se puede refutar dentro de ese sistema.|Kurt Gödel}}
| |||