| From(投稿者): | "ぷらとん" <ZAP14260@nifty.ne.jp> |
|---|---|
| Newsgroups(投稿グループ): | fj.sci.math |
| Subject(見出し): | ジョルダンの曲線定理とやらとロジック |
| Date(投稿日時): | Sat, 29 Oct 2005 09:45:28 +0900 |
| Organization(所属): | @nifty netnews service |
| Message-ID(記事識別符号): | (G) <djufch$g6i$1@news511.nifty.com> |
ジョルダンの曲線「定理」とやらの完全な証明が今までなかった（？）のに 「定理」って言われてたのか。 人間が新しく作り直して記述した数学の２０万行の証明をコンピュータソフトで チェック出来たらしい。 （朝日新聞の受け売り）