В теории конечных простых групп полно всякого жульничества. Они еще в 1980-м объявили классификацию, а доказательства нет до сих пор. Сейчас, в который раз, обещают заделать очередную последнюю дыру. Заплата занимает несколько сот страниц. И огромные куски доказательства основаны на вычислениях, иногда машинных, иногда вручную. Отсюда и таблицы.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2003-11-02 06:42 pm (UTC)