Así funciona el teorema de incompletitud de Gödel

....Por ejemplo, el propio Gödel contribuyó a establecer que la hipótesis del continuo, relativa a los tamaños del infinito, era indecidible. Lo mismo ocurre con el problema de la parada, o la pregunta de si un programa informático que recibe una entrada aleatoria continuará calculando para siempre o acabará deteniéndose antes o después.

[#1 Magdalena_Mosca]

No lo conocía, muchas gracias por el aporte!!!

[#2 Toranks]

Lo he entendido todo hasta lo de "G habla sobre G". Está muy mal explicado, al menos para los que no son expertos matemáticos.

[#3 ewok]

Relacionadas:
www.meneame.net/story/dice-exactamente-primer-teorema-incompletitud-go
www.meneame.net/story/kurt-godel-matematico-paradojas-hackeo-constituc
www.meneame.net/story/prueba-matematica-godel-existencia-dios
y alguna de Veritasium también se envió.

[#4 japeal]

A los que os interese el tema, os recomiendo el libro Gödel, Escher, Bach: un Eterno y Grácil Bucle Es genial!
es.wikipedia.org/wiki/Gödel,_Escher,_Bach:_un_Eterno_y_Grácil_Bucle

[#5 Psicostasis]

#4 Lo intenté leer.

Me convenció de que soy mucho menos listo de lo que pensaba.

[#6 japeal]

#5 Es que más que leerlo (algo pasivo) hay que estudiarlo. Yo tardaba en leer cada capítulo de los densos el triple que una novela y tomando notas en los márgenes.

[#7 Psicostasis]

#6 Y supongo que hay que tener unos conocimientos previos y una base cultural de la yo carezco por completo.