¿Cuál es la mayor paradoja matemática insoluble?

Los matemáticos no toleran la paradoja. Si ocurre, como ocurrió genuinamente en el descubrimiento de la paradoja de Russell, entonces la paradoja se elimina reestructurando los axiomas si es posible, o descartando toda la teoría en el peor de los casos. Russell realmente encontró un error en el trabajo de Frege, pero la “paradoja” se corrigió desarrollando axiomas precisos que describían lo que se entiende por conjunto.

Hay algunas cosas que se llaman paradojas que no son realmente paradojas desde un punto de vista lógico. Un ejemplo es la paradoja de Banach-Tarski, que desafía completamente el sentido común, pero que lógicamente no es problemático. La “paradoja” es que una esfera se puede descomponer y volver a montar de tal manera que se formen muchas otras esferas igualmente grandes. La paradoja es en realidad una consecuencia del Axioma de Elección, que puedes no creer si crees que el teorema de BT es desagradable. Pero la derivación lógica producida por Banach y Tarski es correcta, y desde un punto de vista matemático no hay ninguna paradoja, solo un dudoso axioma.

Otra llamada paradoja es la paradoja de Berry, que parece ser de carácter matemático, pero que de hecho es paradójica porque no está suficientemente formalizada.

En esta respuesta, podría haber sido demasiado literal si realmente estuviera interesado en la mayor conjetura insoluble (no es una paradoja). En este caso, muchas personas dirían que las buenas respuestas son la Hipótesis Continua, o la consistencia de los axiomas de ZFC. Se cree que ambos hechos son ciertos, pero en cierto sentido son incognoscibles o insolubles.

No puedo pensar en ninguna inconsistencia lógica en las matemáticas modernas o la lógica, si eso es lo que quieres decir. Lamento decepcionarte. Actualmente, mi “paradoja” favorita es una variación teórica de la llamada paradoja de Drinker. Para cualquier conjunto [matemática] D [/ matemática] y cualquier proposición sin sentido [matemática] P [/ matemática], podemos probar que [matemática] \ existe x: [x \ en D \ implica P] [/ matemática]. Muy contra-intuitivo, pero está lejos de ser irresoluble. Sugerencia: La prueba hace uso de la paradoja de Russell.

Bueno, estoy de acuerdo con la respuesta de Johnson. Sin embargo, existe una preocupación paradójica muy seria en las pruebas matemáticas, especialmente en la era del razonamiento automatizado.

La paradoja nos pregunta dónde es válida una prueba matemática si no hay otro matemático que el autor de las pruebas (y / o una computadora) entiendan la prueba. Puede contener absolutamente ningún error en la lógica matemática subyacente y, sin embargo, estar más allá de los “poderes mentales” de la mayoría (si no todos) los matemáticos para comprender / comprender completamente.

¿Es válida dicha prueba? ¿Podemos decir que las pruebas son válidas basadas únicamente en su validez lógica? ¿Es la comprensión / comprensión de la prueba un requisito para su validez?

Tales son las preguntas muy difíciles para la filosofía de las matemáticas que nadie parece ser capaz de responder.

Algunos grandes matemáticos como Delinge argumentaron en contra de la mera validez lógica e invocaron la necesidad del psicologismo como criterio para la validez de las pruebas matemáticas.

Famoso, declaró después de declaraciones controvertidas:

“No creo en una prueba hecha por una computadora. En cierto modo, soy muy egocéntrico. Creo en una prueba si la entiendo, si está clara.

“Todos los problemas en matemáticas son psicológicos”.

¿Pero qué clase de herejía es esta? ¿Por qué la validez de las pruebas matemáticas que están completamente fuera del mundo de la experiencia depende de algunos estados mentales de un individuo en particular que trabaja con ellos? Para mí eso no tiene sentido. Porque eso parece implicar que si borramos la raza humana, las pruebas matemáticas cambian de estado válido a no válido.

Otros matemáticos actuales brillantes fueron más cuidadosos y más bien invocaron una distinción de pruebas moralmente incorrectas y pruebas moralmente correctas.

Una prueba puede ser válida y ser moralmente correcta o incorrecta. Una prueba moralmente incorrecta válida es una prueba que muy pocos matemáticos entienden o una prueba que no invoca nuevas matemáticas y agrega poco (o nada) al avance del conocimiento matemático.

Por ejemplo, el brillante matemático Maxim Kontsevich declaró lo siguiente en una entrevista:

“… muchos grandes teoremas se prueban originalmente, pero creo que las pruebas no son, más o menos,” moralmente correctas “. Debería haber mejores pruebas … Creo que el Teorema del índice de Atiyah y Singer … es su prueba original, creo que es feo en un sentido y hasta ahora, no tenemos “la prueba correcta”. O la prueba de Deligne de las conjeturas de Weil, es una prueba moralmente incorrecta. Hay tres pruebas ahora, pero aún no es la correcta “.

Ciertamente, la distinción de Kontsevich de las pruebas moralmente correctas y moralmente incorrectas es una posición menos herética contra las matemáticas que el psicologismo de Delinge.

More Interesting

Cómo probar [math] \ displaystyle \ mathrm {Aut} (\ mathbb {Q}) = \ mathbb {Q} ^ * [/ math]

¿Cuál es la diferencia entre log base 10 y ln?

¿Puedo seguir siendo matemático si me veo obligado a renunciar a la oportunidad de estudiar en Cambridge y hacer una licenciatura en matemáticas en una universidad menos reconocida?

Sabemos que los números no tienen fin, lo que todos conocemos como infinito. Pero si es cierto, entonces no deberíamos poder llegar a 2 si comenzamos desde 1 (si también estamos considerando decimales). ¿Por qué suponemos que llegará a 2?

Cómo encontrar una suma de series [matemáticas] \ sum \ limits_ {n = 1} ^ {\ infty} \ frac {(- 1) ^ {n}} {n ^ {2} 3 ^ {n}} [/ matemáticas]

¿Hay alguna forma de que 1 + 1 = 2 sea falso fuera de las matemáticas booleanas?

¿Se puede reducir cualquier sistema n-dimensional a una dimensión con una curva de relleno de espacio?

¿Muchas personas odian las matemáticas en la mayoría de los países, o es sobre todo una cosa estadounidense?

¿Cuál es la respuesta de 1 + 1?

¿Demuestra que la relación '<=' es una relación de orden parcial en el conjunto de todos los enteros?

¿Cómo se puede probar o darse cuenta de que (-1) * (- 1) = + 1?

Mi ciudad contiene 100 edificios. Están numerados del 1 al 100. ¿Cuántos 6 se usan en estos números?

Si [math] v = a_1i + b_1j + c_1k [/ math] es un vector en el plano dado por [math] a_2x + b_2y + c_2z + d_2 = 0 [/ math], entonces [math] a_1a_2 + b_1b_2 + c_1c_2 = 0 [/ matemáticas]. ¿Es esta ecuación verdadera o falsa? ¿Por qué?

Explicaciones del laico: ¿Cuál es el fundamento de la lógica?

¿Qué tecnologías surgieron de la investigación de defensa que impactaron a la sociedad? ¿Qué tecnologías surgieron de los servicios financieros que impactaron a la sociedad fuera de las finanzas?