ええ、私は集合論数学に理解なんてございませんよｗ
ですから、そのフィールドにおける証明可能性の物事を私のロジックに混ぜて使われたって困るのですがな。数学で決定不可能だということを「数学では真とも偽とも言えない」という物事に直結して論じていくことは必ず可能だと思うんですよね。他に、不完全性定理を「無矛盾な数学体系は不完全で、矛盾した数学体系は完全である」なんて奇妙だというのですがなー、そこは「数学体系を無矛盾と仮定すると不完全で、矛盾していると仮定すると完全である」と論じることは不可能だろーか、とか思うんですがな。
二種類の数学が存在しているみたいに言っちゃいけないと思うんですｗ
こっちだって論理的なんです！
（ご理解を・・）
ですから、そのフィールドにおける証明可能性の物事を私のロジックに混ぜて使われたって困るのですがな。数学で決定不可能だということを「数学では真とも偽とも言えない」という物事に直結して論じていくことは必ず可能だと思うんですよね。他に、不完全性定理を「無矛盾な数学体系は不完全で、矛盾した数学体系は完全である」なんて奇妙だというのですがなー、そこは「数学体系を無矛盾と仮定すると不完全で、矛盾していると仮定すると完全である」と論じることは不可能だろーか、とか思うんですがな。
二種類の数学が存在しているみたいに言っちゃいけないと思うんですｗ
こっちだって論理的なんです！
（ご理解を・・）
アクセス
トータル
ランキング
