436 followers
矛盾許容論理で実解析をやるとな。何を思ってそんなことを,と思うけど,ちょっとおもしろそう。考えてみたら数学さんには論理を非古典にしたぐらいで破綻しない強さがあってほしい http://t.co/pLeYZcg
矛盾許容論理で実解析をやるとな。何を思ってそんなことを,と思うけど,ちょっとおもしろそう。考えてみたら数学さんには論理を非古典にしたぐらいで破綻しない強さがあってほしい http://t.co/pLeYZcg
@tani6s A∧¬Aを「構文エラー」としない矛盾許容論理(http://t.co/36KeY223)というのもあって、 Real Analysis in Paraconsistent Logic(http://t.co/d60RxCMH)みたいに数学でも使われたりもしてますよ
RT @t33f: 矛盾許容論理で実解析をやるとな。何を思ってそんなことを,と思うけど,ちょっとおもしろそう。考えてみたら数学さんには論理を非古典にしたぐらいで破綻しない強さがあってほしい http://t.co/pLeYZcg
矛盾許容論理で実解析をやるとな。何を思ってそんなことを,と思うけど,ちょっとおもしろそう。考えてみたら数学さんには論理を非古典にしたぐらいで破綻しない強さがあってほしい http://t.co/pLeYZcg
読む。「矛盾許容論理で実解析を」http://t.co/Tb23Thq