トップページ⇒math

1001コメント361KB

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

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

0190１３２人目の素数さん

2005/09/29(木) 17:21:41

>>185
そんなに手軽に証明チェックが出来るようになるものかな？
普通証明する場合は同様に、で済ませるようなところだって
機械はそれじゃ理解してくれないし

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