1001コメント392KB

数学基礎論・数理論理学のスレッド　その7

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

0165１３２人目の素数さん

2011/01/17(月) 20:50:43

実際の数学の"証明"は形式化されていないけど
形式化されていないからこそ融通が利く

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