Las matemáticas son una ciencia que se basan en la lógica y en la deducción, pero ¿son completas, consistentes y decidibles? Estas tres preguntas fundamentales han sido objeto de debate durante mucho tiempo entre los matemáticos.
-
La primera pregunta se refiere a si las matemáticas son capaces de abarcar todo el conocimiento posible. La respuesta es no, ya que siempre habrá problemas matemáticos que no se pueden resolver.
-
La segunda pregunta se refiere a la coherencia interna de las matemáticas, es decir, si todas las afirmaciones matemáticas se pueden demostrar sin caer en contradicciones. Por suerte, la respuesta a esta pregunta es sí.
-
La tercera pregunta se refiere a si es posible demostrar cualquier afirmación matemática de manera algorítmica. La respuesta es no, ya que existen problemas matemáticos que no tienen solución algorítmica.
En resumen, las matemáticas no son completas, pero sí son consistentes y en algunos casos decidibles. Aunque estas preguntas fundamentales son difíciles de responder, es importante seguir discutiéndolas para entender mejor la naturaleza de las matemáticas.
Si queréis profundizar más en este tema, os recomendamos el siguiente vídeo de QuantumFracture, uno de los divulgadores matemáticos más populares en este foro
