トップページ⇒math

1001コメント376KB

数学基礎論・数理論理学　その8

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

0115１３２人目の素数さん

2011/07/05(火) 01:29:12.69

>>114:

真実：
定理の証明が重要であることと、その定理の形式的証明が大して意味がないことは普通に両立する

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