74 :132人目の素数さん :2005/09/28(水) 18:00:21
>>72
「禿 藁 to appear 論文」の自明を
自動証明ができるレベルじゃなきゃ
ダメだろw

75 :132人目の素数さん :2005/09/28(水) 18:02:52
>>74
それが出来たら、禿ちゃんの数学者としての名誉も完全回復だね♪

スレッド「ジョルダンの曲線定理が完全証明される」
http://science4.2ch.net/test/read.cgi/math/1127841326/