28 votos

Ejemplos de conjeturas largas falsificados (o actualmente) conducen a grandes cuerpos de resultados incorrectos.

En general, la forma en que la moderna investigación matemática se lleva a cabo no es la manera que muchos tendrían que asumir que es el ideal del método de investigación. Es decir, la matemática no es la progresión lineal fundamentos de los resultados que conducen a nuevos resultados que uno podría esperar (aunque el actual marco está muy cerca). En su lugar, a menudo se hace generalmente aceptados en los supuestos que uno espera que va a ser probado en una fecha posterior como una técnica lema. Así, en algunos casos, los matemáticos pueden base de grandes cuerpos de los resultados en esencia, no comprobadas conjetura (el llamado condicional de la prueba).

Este proceso está muy bien y se hace a menudo para llegar a las grandes resultados sin tener que chapotear en una piscina de pruebas técnicas que todos los que generalmente se acepta como el folclore. También vale la pena señalar que este tipo de trabajo basados en falsas conjeturas no es completamente inútil, y puede ser fácilmente especializada a los casos en que la conjetura es verdadera, o fácilmente fijado por el trabajo alrededor de las falsas conjeturas. Los métodos utilizados en dicha prueba también puede arrojar luz sobre el área, incluso si las conclusiones demostrar la falsedad.

Sin embargo, este enfoque tiene sus defectos, en que, hasta que una conjetura es teorema de hecho, siempre existe la posibilidad de que pueda ser probado falsa y por lo tanto, esencialmente hacer cualquier 'teoremas probados basa en la conjetura redundante. Estoy particularmente interesado en tales casos que se hayan producido en la historia, o que tienen la posibilidad de que ocurra en el futuro y tener un gran efecto en la literatura existente. Me gustaría poner el énfasis de esta pregunta en concreto sobre el efecto que tales falsificaciones de conjetura puede tener, como ya hay muchas preguntas inesperadas contraejemplos en el sitio.

Algunos ejemplo:

  • Me imagino que hay varias piezas de trabajo asumiendo la Pólya conjetura antes de que, finalmente, fue demostrado que es falsa.

  • Ciertamente, hay zonas enteras de la teoría de números basado en la suposición de que la hipótesis de Riemann eventualmente demostrar la verdad.

  • Cuando la triangulación conjetura se demuestre la falsedad en la dimensión 4, hubo muchas pruebas basadas en la existencia de las triangulaciones que podría, a continuación, sólo se declaró para 'triangulable simplicial complejos'.

  • Similar a la hipótesis de Riemman, hay un sinnúmero de documentos basado en la suposición de que $P=NP$ (y, de hecho, su opuesto).

20voto

Andre Holzner Puntos 108

Weierstrass' famoso función desmentido una gran cantidad de resultados.

Dunham1 informa de que:

El reconocido Andre-Marie Ampere había presentado una prueba de que las funciones continuas son diferenciables en general, y el cálculo de los libros de texto a lo largo de la primera mitad del siglo xix, respaldó esta posición... [La función de Weierstrass] no sólo refutado de Ampere "teorema", pero llevó el último clavo en el ataúd de la intuición geométrica de confianza de la fundación para el cálculo.

Dunham listas de varios otros ejemplos (de Cauchy refutar Lagrange de la fórmula de cálculo en términos de series de Taylor, de Dirichlet encontrar una función que no puede ser escrito como una serie de Fourier), pero no estoy lo suficiente de un historiador que decir si estas tenían un "gran impacto" en los resultados.

Edit: usted puede encontrar este post muy interesante. E. g. este extracto tomado de un artículo por Erica Klarreich 20 de julio de 2009, sobre la Simons sitio web de la Fundación.

En la década de 1970 y 1980, los matemáticos descubrieron que enmarca colectores con Fra-Kervaire invariante igual a 1 - bicho raro colectores no quirúrgicamente relacionados con una esfera - de hecho existen en los primeros cinco dimensiones en la lista: 2, 6, 14, 30 y 62. Un claro patrón que parecía ser establecido, y muchos matemáticos se sentía seguro de que este patrón continuará en dimensiones superiores...los Investigadores desarrollaron lo que Ravenel llamadas de toda una cosmología de conjeturas basadas en la suposición de que los colectores con Fra-Kervaire invariante igual a 1 existen en todas las dimensiones de la forma $2^n−2$. A muchos llamó la noción de que estos colectores no podría existir el día del juicio final Hipótesis, ya que acabaría con un gran cuerpo de investigación. A principios de este año, Victor Snaith de la Universidad de Sheffield en Inglaterra, publicó un libro acerca de esta investigación, la advertencia en el prefacio, ...esto puede llegar a ser un libro acerca de las cosas que no existen. Apenas unas semanas después de Snaith del libro apareció, Hopkins, anunció el 21 de abril que Snaith peores temores estaban justificados: que Hopkins, Hill y Ravenel había demostrado que no colectores de la Fra-Kervaire invariante igual a 1 existen en dimensiones 254 y superior. Dimensión 126, el único que no está cubierto por su análisis, sigue siendo un misterio. El nuevo hallazgo es convincente, aunque se vuelca muchos matemáticos, de las expectativas, Hovey, dijo.

  1. Dunham, William. El cálculo de la galería: obras Maestras de Newton a Lebesgue. Princeton University Press, 2005.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X