No teologia
Me gustaría aprovechar la oportunidad para recordarles a todos que la famosa declaración de Kronecker
Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk
No fue una declaración teológica. Fue un poco exagerado en un debate que comenzó en matemáticas. Era parte de la enemistad de Kronecker con Georg Cantor.
Probablemente “enteros”
La terminología que usamos hoy en día de “números naturales”, “enteros” y “números enteros” no estaba realmente establecida en ese momento. Entonces, aunque “ganze Zahlen” se traduce literalmente como “números enteros”, creo que en términos modernos “enteros” podría ser la mejor traducción.
- Entonces, suponiendo que Dios sea infinitamente poderoso, ¿sería capaz de apagar sus poderes de Jesús o lo que sea?
- ¿Alguna vez has sentido la existencia de Dios?
- Si Dios existe, ¿qué hizo Él / Ella / Él para convertirse en Dios y por qué los humanos deben sufrir y trabajar duro para alcanzar el llamado estado de iluminación?
- Si Dios es omnipotente, ¿por qué tuvo que descansar el séptimo día?
- ¿Qué dice la Biblia sobre matar a una persona que quiere matarme? ¿Es un pecado?
Pero las distinciones finas entre números enteros, números naturales y enteros no importan. Kronecker estaba perfectamente contento con los números racionales, los números complejos y demás. No tenía ninguna objeción a utilizar el trabajo con las “obras del hombre” en absoluto.
Lo que no le gustó fueron los números transfinitos. Y no le gustaba Georg Cantor, cuyo trabajo suprimió.
Cantor hizo declaraciones teológicas
Aunque las matemáticas se mantienen por sí solas, Georg Cantor consideraba las matemáticas como una teología informativa. Pero no creo que ningún matemático haya comprado su teología incluso cuando abrazó su teoría de lo transfinito.
David Hilbert, el más destacado de los campeones del trabajo de Cantor, rechazó explícitamente la necesidad de Dios en los fundamentos de las matemáticas.
La matemática es una ciencia sin presupuestos. Para encontrarlo, no necesito a Dios, como Kronecker, o la asunción de una facultad especial de nuestro entendimiento en sintonía con el principio de inducción matemática, como Poincaré, o la intuición primaria de Brouwer, o, finalmente, como Russell y Whitehead, axiomas de infinito, reducibilidad o integridad, que de hecho son supuestos reales y contenciosos que no pueden compensarse con pruebas de consistencia.