H. Los teoremas de Gödel

Kurt Gödel demostró en los años 30 del siglo XX que aquellas matemáticas que razonen usando al menos los números naturales, tienen uno de 2 problemas.

Contradicción

Hay algunas cosas que se puede demostrar que son falsas, pero también se puede demostrar que son verdaderas 😡.

Incompletez

Hay algunas cosas que no se puede demostrar si son verdaderas o son falsas 🙁.

Otro de los problemas es que no se sabe cual es el problema hasta que te explota en la cara y que si ya encontraste el problema y lo arreglas, aparecerá otro problema de incompletez o de contradicción, pero una vez más no lo puedes detectar hasta que te explota en la cara.

Aquí los matemáticos se volvieron infelices 😭. Algunos pretendieron que estos teoremas nunca existieron. Otros lo ocultaron. Otros intentaron demostrar que el señor Gödel estaba mal.

Lo que se consiguió fué demostrar de muchas formas que los teoremas de Gödel estaban bien, pero se pudo encontrar una salida: no razonar usando conjuntos infinitos como los números naturales, enteros, racionales o reales 😜. Tampoco se podía calificar una teoría por medio de la misma teoría, o sea que las matemáticas no se pueden usar para saber si las matemáticas funcionan bien.

Con estas restricciones empezaron los estudios que llevaron a la Teoría Matemática de la Computación, a las computadoras, los videojuegos, las redes sociales, teniendo también la satisfacción de saber que las matemáticas con las que tanto nos torturaron en la escuela están dañadas y nunca las podrán arreglar. ¡Ja!¡Ja!¡Ja! 🤣🤣😂😈.

Esto no quiere decir que las matemáticas no sirvan, pero tienen unas sorpresitas para los que las quieran usar. Úselas bajo su riesgo.