Conjeturas actuales

No debe confundirse con la situacin.

En matemticas, una conjetura es una afirmacin acerca de las cuales no sabemos
todava la demostracin, pero se cree para ser verdad, en ausencia de contraejemplo.
Una conjetura se puede elegir como hiptesis o suposicin para estudiar otras
declaraciones. Si una conjetura resulta indecidible relacin al sistema de axiomas en
los que se inscriben, puede ser erigido en nuevo axioma.
En el lenguaje comn, se entiende como una conjetura, una hiptesis que an no ha
recibido la confirmacin.

Definicin y ejemplos
Cuando se demostr una conjetura, se convierte en un teorema y se uni a la lista de
las operaciones matemticas. Hasta esta etapa de veracidad, los matemticos deben,
por tanto, tenga cuidado al usar una conjetura en sus estructuras lgicas y sus
manifestaciones.
Por ejemplo, la hiptesis de Riemann es una conjetura en la teora de nmeros que
dice pronosticar la distribucin de los nmeros primos. Pocos tericos de nmeros
dudan que la hiptesis de Riemann es verdad. A la espera de su posible
manifestacin, los matemticos desarrollan otras manifestaciones basadas en la
verdad de esta conjetura. Sin embargo, estas "manifestaciones" se vendr abajo si la
hiptesis de Riemann demostr que estaban equivocados. Por tanto, existe un gran
inters matemtico para demostrar o refutar la espera de conjeturas matemticas.
Aunque la mayor parte de las conjeturas ms famosos se han comprobado los
nmeros Kyrielles sorprendentes, esto no es una garanta contra una sola instancia
contra la cual refuta inmediatamente la conjetura considerado. Por ejemplo, la
conjetura de Collatz - fue examinado para todos los enteros hasta dos elevado a la
potencia 62-th - sobre el cese de una determinada secuencia de enteros. Sin
embargo, todava tiene el estado conjetura porque no se puede excluir la existencia de
un contra-ejemplo ms all de 2 que invalidara que, aunque se sabe por argumentos
probabilsticos que tales contador Ejemplos son cada vez ms raras a medida que

avanzamos hacia el aumento de los nmeros grandes, pero "fuerte probabilidad" no

es "la certeza".
Todas las conjeturas no terminen siendo establecida como verdadera o falsa. Por
ejemplo, la hiptesis del continuo - que intenta establecer la cardinalidad relativa de
ciertos conjuntos infinitos - ha demostrado ser indecidible del conjunto generalmente
aceptada de axiomas de la teora de conjuntos. Por tanto, es posible adoptar esta
declaracin, o su negacin, como un nuevo axioma sin dejar de ser consistente. Peor
an, el teorema de incompletitud de Gdel demuestra que cualquier teora que
contiene la aritmtica, hay propuestas que, aunque demostrable para cada uno
nmeros enteros, no pueden ser probadas como un teorema sobre todos los enteros.

Ejemplos de conjeturas
Conjeturas resueltos

La conjetura de Girard, formulado en 1629, se demostr en qu ahora se llama

el teorema de D'Alembert-Gauss o teorema fundamental del lgebra en 1813.

Cuatro conjetura de color se demostr en 1976 el uso de programas

informticos y completamente formalizada en 2006 en el asistente de pruebas
Coq.

El "ltimo teorema de Fermat" se demostr en 1994.

La conjetura de Poincar, formulado en 1904 se resolvi en 2003 de manera

positiva.

Gauss conjetura de que expres que Li fue revertida por Littlewood que
mostr que la diferencia - Li cambi signos infinito de veces.

Primes conjeturas sobre el valor asinttico de , establecido en 1809 por

Legendre, se demostr de forma independiente por Hadamard y La Valle
Poussin en 1896.

Conjetura de Bieberbach en los coeficientes de las funciones enteras en el

inyectivo disco unitario fue demostrado en 1985 por Louis de Branges de
Bourcia.

Conjetura de Mertens, declarado en 1897, fue refutada en 1985 por Odlyzko y

te Riele.

La especulacin 1859 de la funcin de Riemann en la memoria fueron todos

resueltos antes del siglo XX, salvo la hiptesis de Riemann.

El problema de Waring fue resuelto por Hilbert en 1909.

La hiptesis del continuo se resolvi parcialmente en el sentido de que Paul

Cohen ha demostrado que es independiente de los axiomas de la teora de
conjuntos de Zermelo-Fraenkel.

El problema de la cuadratura del crculo por la no regla y comps por s sola no

ha demostrado en 1882 por Lindemann.

El problema de la triseccin de cualquier ngulo con la regla y comps no solo

no se ha demostrado, y el problema de la duplicacin del cubo por el mismo
medio.

El ltimo teorema de Fermat

Probablemente hizo en 1637, publicado en 1670, el ms famoso de toda la
especulacin era que designa como el "ltimo teorema de Fermat." Fue slo despus
de su demostracin por el matemtico Andrew Wiles en 1995 que esta conjetura se
convirti en teorema. La manifestacin fue para probar un caso especial del problema
Shimura-Taniyama-Weil entonces pendiente de resolucin desde hace cuarenta aos.
De hecho, sabamos que el ltimo teorema de Fermat seguido de este caso en
particular. El pleno Shimura-Taniyama-Weil teorema fue finalmente demostr en 1999
por Breuil, Conrad, Diamante y Taylor, basado en el trabajo de Wiles, lleno de saltos
restantes casos para demostrar el resultado completo .

La conjetura de Kepler
Ms discutidos ahora, pero tambin el ms antiguo que se puede datar con precisin,
es probable que la conjetura de Kepler, formulado por Johannes Kepler en 1611 y se
resolvieron positivamente en el ao 2003; la demostracin de que fue publicado en la
revista Annals of Mathematics expertos se reuni en 99%. La evidencia satisfactoria al
100% por ocurrir.

El problema Robbins
Una conjetura que se ha mantenido durante 66 aos Robbins es el problema. Su
inters reside en el hecho de que la nica solucin que existe fue producido por un
programa de ordenador.

Conjeturas actuales
Las especulaciones incluyen hasta la fecha:

La conjetura de Goldbach,

la hiptesis de Riemann,

la conjetura de Siracusa,

Conjetura abc

Conjetura P NP,

conjetura de los primos gemelos es la conjetura sin resolver ms antiguo

conjetura de los nmeros perfectos,

la conjetura de Birch y Swinnerton-Dyer,

La conjetura de Legendre que entre n y siempre hay un nmero primo.

Trabajo en curso
El programa Langlands es una serie de gran escala especulacin unificacin esfuerzo
que une diferentes campos de las matemticas: la teora de nmeros y la teora de la
representacin de los grupos de Lie, algunas de estas conjeturas, ya se ha
demostrado.
Enlace para s

El reto implica reconocer la complejidad y el peso que tienen las diferencias socialmente construidas entre
mujeres y hombres -diferencias morales, fsicas, sociales, culturales, entre otras- que se han transformado en
desigualdades.
Ver vdeos relacionados

Paz y Derechos Humanos

Afrontar el futuro de nuestra convivencia en paz y respetando los Derechos Humanos constituye el gran
desafo y el deseo ms esperado de la sociedad vasca. Cmo podemos contribuir a superar un pasado
doloroso para construir una sociedad libre y reconciliada?
Ver vdeos relacionados