posic | Классификация простых конечных групп

Возвращаясь к напечатанному год назад -- https://posic.livejournal.com/1450024.html

Как узнать, существует ли доказательство теоремы классификации?

Способ номер один -- письменный экзамен с ограниченным временем:

- Профессор Иванов, не могли бы вы, пожалуйста, освободить для нас в вашем расписании один вечер или утро, как вам удобнее? В таком-то часу мы пришлем вам номер леммы из вашей 200-страничной работы, несколько лаконичное, на наш взгляд, доказательство которой нам не удалось понять. Там написано "очевидно" или "легко следует из ...". Через три часа после получения вопроса вы, пожалуйста, пришлите нам в ответ максимально полное, подробное доказательство.

Способ номер два -- перекрестный допрос ведущих специалистов. Пригласить вьедливого адвоката, имеющего математическое образование в бэкграунде:

- Профессор Иванов, я вас спрашивал вчера про ABCDEF, и вы ответили XYZ. Сегодня я задал тот же вопрос доценту Петрову, и он ответил UVW. Чем вы объясните расхождение в показаниях между вами и доцентом Петровым?