El famoso matemático Kurt Gödel demostró que siempre habrá afirmaciones sobre los números naturales que son verdaderas, pero que no pueden demostrarse dentro del sistema (teoremas de incompletitud de Gödel). En otras palabras, hay algunas declaraciones matemáticas que no pueden establecerse como verdaderas o falsas.
Cuando escribo una respuesta, generalmente trato de describir al menos los puntos principales del problema, pero esto está realmente fuera de mi área de especialización. El artículo de Wikipedia es bastante denso. Hay un libro divertido y no técnico sobre esto: “Gödel, Escher, Bach: una trenza dorada eterna” Gödel, Escher, Bach: una trenza dorada eterna: Douglas R. Hofstadter: 9780465026562: Amazon.com: Libros
El problema tiene implicaciones para la tecnología informática, ya que se ha descubierto que ciertos tipos de problemas informáticos también son irresolubles.
- Escritura: ¿Cuáles son algunas motivaciones de personajes malvados?
- ¿La moralidad se reduce a un simple presentimiento?
- ¿Considerarías a ISIS como malvado, cuando lo que piensan que están haciendo es moral?
- En una cultura secularizada, ¿por qué todavía tenemos morales e ideas victorianas anticuadas como la monogamia?
- ¿Cuál es el valor moral de ‘La historia de una hora’ de Kate Chopin?