Supongamos que los teoremas de incompletitud de Godel nunca fueron descubiertos. ¿Cuál sería el próximo candidato en la fila para recibir el mayor reconocimiento lógico del siglo XX? Puedo pensar en varios candidatos, pero uno en particular se destaca: los teoremas de integridad para la lógica proposicional y de primer orden, probados por, sí, Kurt Godel. También se le atribuyen algunos resultados interesantes en la lógica modal, pero estos palidecen al lado de sus dos logros principales.
Einstein también tuvo algunos logros menos conocidos. Por ejemplo, Einstein ganó un Premio Nobel por su trabajo, pero no tuvo nada que ver con la relatividad. Realmente ganó el premio por este descubrimiento del efecto fotoeléctrico. Para ser justos, ese descubrimiento probablemente haya tenido un impacto más práctico en nuestras vidas que la relatividad (¿la energía solar, alguien?).
Darwin, por otro lado, realmente no hizo otra cosa que no fuera la de desarrollar su teoría de la evolución. ¿Pero no es un logro lo suficientemente grande como para justificar su fama?
- ¿Cuáles son algunos buenos recursos sobre ciencia, descubrimiento y filosofía natural en el antiguo Egipto, Irak, India y China?
- ¿Filosofar es un esfuerzo inútil? ¿No han permanecido las mismas preguntas básicas de la filosofía durante miles de años?
- ¿Qué hizo que algunas personas durante el Renacimiento creyeran que el hombre y la naturaleza pueden ser controlados progresivamente?
- Cómo convertirse en un hippie moderno.
- ¿Cómo afectó el desarrollo del Alfabeto por los fenicios y los griegos al desarrollo tecnológico y filosófico posterior del mundo occidental?