・#1983年 以前の本:
「まだ完了してない」と記載されている。
・#2004年 以前の本:
「#1982年 頃に完了した」と誤記載されている。
(その後2004年に再宣言された.)
古い本を読む際には気を付けよう!

有限単純群の分類
classification of the finite simple groups
https://ja.wikipedia.org/wiki/...
全ての有限単純群を
大まかなクラスへ分類する定理.
#1983年 分類完了宣言
→漏れ発見
→#2004年 に再び分類完了宣言
1955~2004年に100以上の著者が
計1万5000ページ以上の論文で証明