¡Adivinar antes de demostrar! ¿Hace falta que recuerde que así se han hecho todos los descubrimientos importantes?
Como ejemplo de esta cita se me ocurren las grandes conjeturas de las Matemáticas. En particular, la Conjetura de Poincarè, hoy ya Teorema gracias al polémico Grigori Perelman y a los matemáticos chinos Zhu Xiping y Cao Huaidong.
Tito Eliatron Dixit
Cuando Gödel demostró que las matemáticas eran incompletas (hay teoremas que no pueden ser demostrados ni refutados usando un conjunto de axiomas coherente), se "cargó" de un plumazo la pretendida potencia de los procesos lógicos como herramienta para "saberlo todo".
ResponderEliminarPreguntado por si esto echaba por tierra toda posibilidad de entender la matemática algún día, dijo que, en su opinión, el pensamiento humano no creía que solo fuese "algorítmico", también tenia una forma "intuitiva" que nos podría salvar de esta incompletitud.
La cuestión es ¿como se hace matemáticas sin lógica, solo con intuición?
Esperemos saber la respuesta antes de que choquemos con el "fin de las matemáticas", igual que antes de caernos por el "fin del mundo", descubrimos que este era esférico.