0139132人目の素数さん垢版 | 大砲2020/04/04(土) 22:53:48.58ID:DZ3hypNA さあどうかな 人間の認識は複雑で 約70年前に出された河野伊三郎の微積分では 全称命題は特称命題を含むのでいつでも命題を切り替えられる と考えていたようだし 全称命題から具体的な元(数)を取り出すことができるとしていた これらは間違いだがこういう歴史を踏み コンピュータも設計されていると思うので分類は可能だと思われる しかし問題は上記の間違いを訂正できる人間がいるかどうかだ