No hay respuesta a esta pregunta en este momento porque podría resultar que el problema P-NP es independiente de los axiomas de ZFC. En este caso, no existiría ninguna prueba.
Suponiendo que existe una prueba, creo que la prueba tomaría menos tiempo. Nunca he oído hablar de una prueba matemática, incluso para los problemas más complejos, que consta de miles de páginas, incluso si se tratara de uno de los problemas más complejos de la historia (por ejemplo, la prueba del último teorema de Fermat por Andrew Wiles).
También debe tener en cuenta que una prueba formal válida podría construirse sin explicaciones, notas al pie, etc., ya que solo se necesita un árbol de prueba válido basado en un conjunto de axiomas. Si tomamos este tipo de prueba mínima, creo que podría tomar todos los teoremas matemáticos que el matemático promedio es consciente de incluir sus pruebas, combinarlas y aún le tomaría más tiempo al mono en el teorema del mono infinito imprimir los trabajos completos de Shakespeare que a imprime esta combinación.
- ¿Cuáles son algunos de los nuevos campos en la informática teórica?
- ¿Es necesaria una buena comprensión matemática de los algoritmos de ML para crear software utilizando partes de él?
- ¿Existe un número distinto de cero para el cual su representación doble y larga es equivalente en bits?
- ¿Cómo podría implementar un programa que calcule [math] e ^ x [/ math] sumando los primeros 100 términos de su expansión en serie?
- Mi hijo obtuvo una maestría en matemáticas en Hyderabad BITS. También tiene una beca completa más un estipendio en el CMI (BSc. Matemáticas + ciencias de la computación). ¿Por cuál debemos ir?