No sé si es un secreto guardado, pero es algo que no está bien difundido debido a sus implicaciones: el teorema de incompletitud de Goedel “Cualquier sistema formal consistente F dentro del cual se pueda llevar a cabo una cierta cantidad de aritmética elemental es incompleto, es decir, hay enunciados del lenguaje de F que no se pueden probar ni refutar en F “. (Raatikainen 2015), básicamente establece que hay ciertos teoremas en matemáticas que simplemente no pueden ser probados o refutados, son verdaderos o falsos, un ejemplo de ello, son los 5 postulados de los euclides, (las cosas trine y lineales que se aprenden en la escuela secundaria) TODOS saben que son ciertos, pero en 2500 años NADIE ha sido capaz de probarlos, simplemente porque no pueden ser probados.
Goedel llegó a esta teoría de la incompletitud en 1931, y su lógica es impecable, puedes encontrar sus pruebas en libros especializados.
Esto abre un gran precedente para la fe teísta, casi todo lo que sabemos hoy sobre cada ciencia está respaldado por al menos un teorema que no se puede probar, ¿puede llamar a estos teoremas “obra de Dios” ?
- Cómo encontrar las clases de equivalencia
- ¿Qué es un entero?
- ¿Existe una teoría matemática que defina un operador relacional para conjuntos superpuestos, es decir, dos conjuntos de modo que la intersección no esté vacía?
- Cómo calcular la divergencia [matemáticas] \ hat {r} / | r | [/ matemáticas]
- ¿Cuál podría haber sido la intuición detrás del problema de Monty Hall? ¿Cómo se prueban los resultados?