¿Pueden los teoremas matemáticos ser probados con un 100% de certeza?

Por lo general, estoy de acuerdo con las otras respuestas de que para casi todos los propósitos prácticos, se puede decir que las matemáticas tienen un 100% de certeza, en la misma medida en que cualquier tautología es 100% cierta (donde lo tomo, por “certeza” Significa “certeza de ser verdad”.

Pero su énfasis en la “certeza del 100%” me sugiere que está buscando algunas liendres para elegir, así que con gusto le proporcionaré algunas:

1. Cualquier conjetura matemática que no haya sido probada por definición implica incertidumbre acerca de su verdad.

2. Las pruebas de ciertos teoremas pueden ser tan largas o complicadas que superan la capacidad de los humanos para verificarlos directamente y hacer que se repliquen en las computadoras. Esto puede introducir incertidumbre en forma de errores en el código, por ejemplo. Un buen ejemplo es la prueba de la conjetura de Kepler que, cuando se envió por primera vez a la publicación, fue considerada por los árbitros como “un 99%” cierta (“Una prueba formal de la conjetura de Kepler” se publicó en enero de este año, por lo que es posible que esto ya no se aplique, pero puede haber otras pruebas a las que se aplique esta consideración).

3. Incluso más allá de las pruebas que son demasiado complejas para que los simples mortales las revisen, si se considera la totalidad de las pruebas producidas por la humanidad, parece extremadamente improbable que al menos algunos errores no se hayan arrastrado en alguna parte. Y de vez en cuando, encontramos que esto es un caso. Ver por ejemplo:
¿Resultados matemáticos ampliamente aceptados que luego se mostraron incorrectos?

Por lo tanto, se podría argumentar que no es razonable estar 100% seguro de que todas las pruebas (reconocidas) producidas por la humanidad son correctas.

4. Cualquier sistema matemático solo puede ser consistente como sus axiomas. Los teoremas de incompletitud de Gödel nos impiden construir sistemas matemáticos tan poco expresivos como la aritmética que demuestren su propia consistencia. En ese sentido, se podría decir que no estamos seguros de ello.

5. Cualquier rama de las matemáticas con operadores que no tienen la propiedad conmutativa tiene algún tipo de principio de incertidumbre porque son esencialmente equivalentes.

6. Si contamos la lógica como parte de las matemáticas, hay algunas ramas que incorporan incertidumbre. Por ejemplo, la lógica difusa y la lógica de muchos valores con valores de verdad vacíos o desconocidos, como algunas formas de lógica de tres valores.

7. ¡En realidad hay una rama de las matemáticas llamada Matemáticas Inconsistentes! No sé mucho al respecto, pero me imagino que probablemente sea al menos algo controvertido. Pero no, importa, si se puede contar legítimamente como una rama de las matemáticas, entonces introducirá incertidumbre, aunque solo sea con respecto a la cuestión de cómo se relacionan las estructuras inconsistentes con el resto de las matemáticas.

Puede haber más, pero no puedo pensar en ellos fuera de mi cabeza.

¡Feliz liendres!

Las matemáticas son más de un esfuerzo social de lo que la mayoría de nosotros estamos conscientes. Los matemáticos dependen de los matemáticos para examinar y revisar sus pruebas. Entonces, a medida que las cosas se complican y las matemáticas abstractas se vuelven menos seguras porque dependemos de un grupo de menos especialistas para verificar las pruebas. Sin embargo, todas las matemáticas importantes que han existido durante un tiempo han resistido la lectura y el control de muchos otros, por lo que con muy alta probabilidad es precisa. De hecho, no puedo pensar en ningún descubrimiento matemático importante que haya tenido que retractarse, nunca. (A diferencia de las ciencias donde esto sucede en ocasiones).

Sí. Las matemáticas tienen un 100% de certeza.

La razón de esto es que los teoremas matemáticos se derivan de las pruebas. Incluso la idea más básica de que 1 + 1 = 2 se probó analíticamente. A partir de eso se han probado todas las demás matemáticas. A partir de esa simple prueba, podemos probar cualquier suma por inducción. Luego podemos definir otras operaciones como una extensión de la suma. Desde allí podemos definir relaciones y funciones en términos de operaciones. Podemos definir matrices y espacios vectoriales. Podemos crear transformaciones y operadores que pueden ser aplicados a funciones.

La matemática no es más que pura lógica. Definimos algo completamente y luego usamos las definiciones para probar otras ideas. Esas ideas probadas se utilizan para probar otras ideas.

No hay incertidumbre en matemáticas. Se ha demostrado que todo es siempre verdad. Todavía hay conjeturas que aún no se han probado, y todavía hay ramas de las matemáticas que aún no hemos creado. Pero una vez que estén probados estarán absolutamente seguros.

Hay algunas ramas de las matemáticas que tienen teoremas que no se pueden probar dentro de los límites de esa rama de las matemáticas. Ejemplos serían el teorema fundamental de la aritmética y el teorema fundamental del álgebra. Estos no pueden ser probados usando solo aritmética y álgebra. Pero se pueden probar con las matemáticas en general.

Las pruebas matemáticas son siempre del 100%. Parten de un cierto conjunto de suposiciones y llegan a su conclusión al 100% siguiendo reglas lógicas preestablecidas.

Por otro lado, si un determinado modelo matemático se ajusta a nuestra realidad objetiva es un asunto completamente diferente. Ahora que nunca podemos demostrar el 100%, solo podemos hacer aproximaciones cada vez mejores que coincidan con los datos experimentales. Siempre existe la posibilidad de que un experimento proponga un contraejemplo que invalide las teorías actuales, y luego se deben hacer ajustes.

Sabemos que hay algunas afirmaciones matemáticas verdaderas (teoremas matemáticos válidos) que no se pueden probar; ver los teoremas de incompletitud de Gödel. Se pueden probar otros teoremas con un 100% de certeza, pero esto no significa que los matemáticos siempre estén 100% seguros de que su prueba es correcta. Ocasionalmente, incluso se imprime una prueba incorrecta. Pero la comunidad matemática suele detectar el error poco después.

Tan seguro como decir “una naranja es una naranja” o “una manzana es una manzana”. Si considera que esas afirmaciones son 100% seguras, entonces sí, las matemáticas (es decir, la lógica pura) pueden ser 100% seguras.

Si decimos que x = x, estamos haciendo una declaración de verdad. No es demostrable más allá de la declaración declarada: x es igual a x.

Los lógicos, desde Aristóteles, han sabido que toda lógica debe provenir de ciertos supuestos básicos y convenciones que de otra manera no pueden derivarse. x = x es uno de esos supuestos evidentes.

Sin embargo, si considera que la afirmación “una naranja es una naranja” es vaga e imprecisa (como lo hago yo), entonces tiene que aceptar que las matemáticas son una construcción humana, los números son abstracciones creadas por los humanos para describir fenómenos del espacio-tiempo. , y que las matemáticas no son impermeables a la mejora.

Sí. Los teoremas matemáticos se pueden demostrar con un 100% de certeza.

Lo que no se puede probar con la misma certeza … es qué tan bien se aplica un modelo matemático al mundo real ™.

Por supuesto, hay preguntas matemáticas que, cuando se plantean, toman siglos para “probar” o “refutar”. Pero en última instancia son 100% seguros.

Tal vez, con las calificaciones.

En mi opinión, las matemáticas no tienen una certeza del 100% ya que hay cosas que no se pueden determinar con precisión en las matemáticas. Por ejemplo, el valor de √2, u otro ejemplo, es el campo de probabilidad ya que no siempre puede ser preciso. Esto se ve a lo largo de la cantidad de monedas, ya que no siempre se obtienen cantidades iguales de cabezas y colas en 10 tiros.

Si lo hace
1 + 1 = 2