【名古屋大学】多元数理科学研究科 [Chapter 13]
■ このスレッドは過去ログ倉庫に格納されています
0505132人目の素数さん
2005/09/28(水) 18:22:45>>72
「禿 藁 to appear 論文」の自明を
自動証明ができるレベルじゃなきゃ
ダメだろw
75 :132人目の素数さん :2005/09/28(水) 18:02:52
>>74
それが出来たら、禿ちゃんの数学者としての名誉も完全回復だね♪
スレッド「ジョルダンの曲線定理が完全証明される」
http://science4.2ch.net/test/read.cgi/math/1127841326/
■ このスレッドは過去ログ倉庫に格納されています