20/04/07 18:32:35.80 iKfIzjyT.net
>>267
数学における証明は形式的に見た場合ギャップだらけだから
そのままでは形式的証明とはいえない
＞不完全性定理を知ったかするど素人は黙ってろ
それは自分自身にいいなよ
20/04/07 18:32:35.80 iKfIzjyT.net
>>267
数学における証明は形式的に見た場合ギャップだらけだから
そのままでは形式的証明とはいえない
＞不完全性定理を知ったかするど素人は黙ってろ
それは自分自身にいいなよ
20/04/07 18:32:35.80 iKfIzjyT.net
>>267
数学における証明は形式的に見た場合ギャップだらけだから
そのままでは形式的証明とはいえない
＞不完全性定理を知ったかするど素人は黙ってろ
それは自分自身にいいなよ