18/08/24 23:36:47.91 cMaK0kbk.net
モッチーがブログで「有限の文字情報では伝わらないことがあるんじゃないか」
みたいに書いてるの読んで、雲行きが怪しいなと思った
それを言っちゃ、数学はおしまいじゃね？
証明というのは突き詰めれば論理式であらわされ
コンピュータによるプルーフチェックにもかけられ
最終的には0と1の有限の情報に帰着すると信じないとすれば
18/08/24 23:36:47.91 cMaK0kbk.net
モッチーがブログで「有限の文字情報では伝わらないことがあるんじゃないか」
みたいに書いてるの読んで、雲行きが怪しいなと思った
それを言っちゃ、数学はおしまいじゃね？
証明というのは突き詰めれば論理式であらわされ
コンピュータによるプルーフチェックにもかけられ
最終的には0と1の有限の情報に帰着すると信じないとすれば