¿Las matemáticas son autoconsistentes?

Si trabaja durante 40 horas a $ 10 / hora, obtendrá $ 400, independientemente de si conoce o no los axiomas de la aritmética. Incluso si esos axiomas resultan ser inconsistentes, usted todavía está recibiendo $ 400.

Su GPS funciona al obtener señales de tiempo precisas de los satélites, señales que deben ser tan precisas que requieren correcciones debido a la relatividad general. La relatividad general, a su vez, se basa en la geometría diferencial, que, a su vez, se basa en los axiomas de los números reales. Sin embargo, incluso si esos axiomas resultan ser inconsistentes, su GPS todavía va a seguir trabajando.

Nunca podemos estar seguros de que las matemáticas sean consistentes. Sin embargo, si los axiomas de la aritmética o de los números reales son inconsistentes, todo lo que significaría es que, cuando intentamos encontrar un marco unificador para nuestro conocimiento sobre cómo funcionan los números, fallamos. El conocimiento en sí mismo, sin embargo, sería igual de bueno para resolver problemas como siempre lo ha sido.

Sobre la segunda pregunta, si una lógica es autoconsistente, no podemos probar que la presuposición de esta lógica sea verdadera o falsa.
Sobre la tercera pregunta, si una lógica es autoconsistente, solo podemos probar que siguiendo el presupuesto y la lógica, el resultado es verdadero. Pero si la presuposición es falsa, el resultado NO debería ser verdadero.

Estoy en lo cierto?

Por matemática te refieres a la teoría de conjuntos de Zermelo-Fraenkel, ya que toda la matemática se basa en estos axiomas.
1. Desconocido, pero no hay contradicciones hasta ahora, por lo que la mayoría de las personas son optimistas.
2. No entiendo lo que quieres decir.
3. No entiendo lo que quieres decir.
4. Depende del problema. La mayoría de los resultados probablemente serían rescatados por un nuevo conjunto de axiomas. Algunos pueden no hacerlo, especialmente aquellos que dependen de pruebas muy centradas en la teoría de conjuntos, utilizando hechos sobre cardenales y ordinales.

Intenta leer sobre los teoremas de incompletitud de Kurt Godel. Podría ayudar. Pido disculpas, no soy un experto en el tema para explicarlo yo mismo. Salud !

More Interesting

¿Las matemáticas son autoconsistentes?

Si la historia no es ciencia, ¿cómo se acercó Karl Popper a la literatura científica donde se documentaron los resultados experimentales anteriores?

¿Quién es el mejor físico teórico vivo? ¿Y por qué?

¿Puede la ciencia responder una pregunta de "por qué", en oposición a las preguntas de "cómo"?

¿Cómo "continúa" o fluye el tiempo?

Filosofía de la Ciencia: Si la cosmología se basa en las matemáticas tan complejas que sólo unas pocas personas entienden, en qué se diferencia de la teología?

¿Cómo puede probar algo la ciencia si los datos se basan en números, y los números mismos pueden no ser reales?

¿Cuáles son algunos argumentos en apoyo del monismo?

¿El método dialéctico ha producido descubrimientos científicos falsos y confiables?

¿Cómo se desarrollan y cambian las teorías científicas con el tiempo?

Además de las preguntas éticas y existenciales, ¿qué responden la filosofía y la literatura con mayor precisión que la ciencia, la estadística y las matemáticas?

El objetivo final de la ciencia consiste en describir el mundo. Partiendo de esto, ¿el conocimiento científico trasciende en comunidades específicas?

¿Por qué el método científico es inherentemente ineficiente?

¿La cosmología de Stephen Hawking como se expone en "Una breve historia del tiempo" aborda la pregunta de por qué este universo está ajustado para la vida?

Desde una comprensión mecánica cuántica de la realidad, ¿es 'algo posible'?