・ この信州大の人の仕事の意義
4 名前：１３２人目の素数さん[] 投稿日：2005/09/28(水) 02:47:44
プルーフチェッカーのデモの一つとして、曲線定理をやってみただけでは？

・ 曲線定理の経緯と
10 名前：１３２人目の素数さん[sage] 投稿日：2005/09/28(水) 07:36:34
>Oswald Vebren が　1905年に一応の証明をしたと言われていますが、前提
>となる知識の到るところに直感が使われ、完全証明とは言いがたいものでした。
とあるけど、「直感が使われ」ていたのは具体的に証明のどの部分なのだろう？
13 名前：１３２人目の素数さん[sage] 投稿日：2005/09/28(水) 08:15:43
>>10 公理からダイレクトに出してない，くらいの意味だとおも