- すべて
- 画像・動画
自動更新
並べ替え:新着順
メニューを開く
返信先:@linuxmetel有り得るどころか、現に計算論ではa÷0=0とかa÷0=aと定義することがありますよ。÷を全域関数とするためです。そのかわり、∀x.∀y.x÷y×y=xをあきらめます。 そういったもろもろ承知の上で、「あれこれ全部と整合性を持ってゼロ割を定義することはできない」の意味で「0で割ることはできない」です。
並べ替え:新着順
返信先:@linuxmetel有り得るどころか、現に計算論ではa÷0=0とかa÷0=aと定義することがありますよ。÷を全域関数とするためです。そのかわり、∀x.∀y.x÷y×y=xをあきらめます。 そういったもろもろ承知の上で、「あれこれ全部と整合性を持ってゼロ割を定義することはできない」の意味で「0で割ることはできない」です。