"ぷらとん" <ZAP14260@nifty.ne.jp> wrote in message
news:djufch$g6i$1@news511.nifty.com
> ジョルダンの曲線「定理」とやらの完全な証明が今までなかった（？）のに
> 「定理」って言われてたのか。
>
> 人間が新しく作り直して記述した数学の２０万行の証明をコンピュータソフトで
> チェック出来たらしい。
> （朝日新聞の受け売り）

数セミの１９８３年発行の「数学１００の定理」を引っ張り出して見たら、
「ジョルダンの閉曲線定理」の項に、

「この定理は一見自明のようにみえるが、実際に証明しようとすると
まったく大変なしろものであることがわかる。（なにせ、どこまで証明
されていて、どこまで証明されていないのかの境目がわからないとこ
ろもある。）詳しい証明は河田敬義著「位相数学」（共立出版）に譲
る。」

とあった。やっぱり「むずかしい」ようだな。