En lógica matemática, los teoremas de la incompletitud de Gödel son dos célebres teoremas demostrados por Kurt Gödel en 1930. Primer teorema: En cualquier formalización consistente de las matemáticas que sea lo bastante fuerte para definir los números naturales, se puede construir una afirmación que ni se puede demostrar ni se puede refutar dentro de ese sistema. Segundo teorema: Ningún sistema consistente se puede usar para demostrarse a sí mismo.
Comentarios
¿Qué sentido tiene enlazar a un artículo de la wikipedia sin causa alguna? ¿Enviarás los otros millones que hay?
#2 ¿Empezamos?
http://es.wikipedia.org/wiki/A
No me los recuerdes... frase-definitiva-para-romper-hielo-ligando/1#comment-14
La frase definitiva para romper el hielo ligando
testosterona.zumodelimon.comIrrelevante.
#2 Creo que el teorema de Gödel es un tema muy interesante, que a penas ha aparecido en meneame. Símplemente quería llamar la atención sobre este punto. No he encontrado ninguna otra fuente mejor, por eso he enlazado la entrada de la Wikipedia.
No creo que todos los artículos de la Wikipedia sean susceptibles de aparecer en menéame, pero algunos sin duda lo son.
Admito la objeción, pero en todo caso los votos de antiguo (sí, sin duda es una noticia antígua...) e irrelevante (cuando es tal vez el teorema más importante de las matemáticas, con implicaciones profundas) son cuando menos curiosos.
#4 Spaaaaaaam...
)
(es broma