¿Cuáles son algunos teoremas que actualmente sólo tiene pruebas asistidas por ordenador? Por ejemplo, es el teorema de cuatro colores.
Soy muy curioso acerca de esto y quisiera generar una lista.
Respuestas
¿Demasiados anuncios?
Oli
Puntos
89
La prueba de C.W.H. Lam et al. que no hay ningún plano proyectivo finito de orden $10$.
Prueba de Hales de la conjetura de Kepler de que embalaje cercano cúbico es óptima utiliza computadora de numerosos casos.
Soke
Puntos
8788
No sé si si esto cuenta, pero la prueba de que el número de Dios (el número máximo de movimientos necesarios para resolver cualquier cubo de Rubik) es 20 es asistida por ordenador. Se trata de usar un algoritmo para resolver cada estado posible del cubo de Rubik a lo largo para establecer el límite superior de 20 junto con una prueba matemática que una configuración específica, Superflip, requiere 20 movimientos (límite inferior).
lhf
Puntos
83572
Prueba de Tucker de la existencia de un atractor extraño caótico en las ecuaciones de Lorenz.
Para una lista de otros teoremas probado métodos de intervalo, vea Probar conjeturas por uso de la aritmética del intervalo por Andreas Frommer.
Bartek
Puntos
7491
Aquí es un un Sudoku muy comprensible fanáticos durante mucho tiempo han afirmado que el número más pequeño de a partir de pistas un rompecabezas pueden contener 17. Ahora un largo año cálculo prueba no hay rompecabezas de 16 pistas. El problema de Sudoku mínimo se viró por un ordenador prueba por Gary McGuire, Bastian Tugemann, Gilles Civario aquí es el papel de su algoritmo .
