1001コメント361KB

ジョルダンの曲線定理が完全証明される

■ このスレッドは過去ログ倉庫に格納されています

0056１３２人目の素数さん

2005/09/28(水) 16:37:08

「人間にとって自明な命題の自動証明」ができることが
実用化の必要十分条件

■ このスレッドは過去ログ倉庫に格納されています