¿Qué confianza podemos tener acerca de la validez de la clasificación de los finitos simples grupos?

Question

La finalización de la clasificación de los finitos simples pruebas fue anunciado por primera vez en 1983. Sin embargo, a finales de 2008 menores brechas que todavía se encuentran y cerrado.

Cómo determinadas puede ser que

1. La prueba de la clasificación teorema es correcto
2. Aunque puede haber errores en la prueba, al menos el resultado es correcto, yo. e. nuestra lista de finitos simples grupos es la correcta?

Answer 1

(Por la petición, estoy publicando mi anterior comentario como respuesta a quitar esta pregunta sin respuesta de la cola.)

Estamos bastante seguros. Esta es una buena lectura de la situación por Aschbacher. En este momento, estamos tratando de simplificar la prueba, ya que es bastante complicado y no muy elegante, no es porque no estamos seguros de que es correcta.