くろょろぐ -- kuro-yo’s log

moonwolf 2011/05/15 06:39 除算において０によてう除算が最初に定義されていません。ユークリッド除法が除法を使うならば最初に定義されていないものを使えないのですから、順番的には最初に定義できなかったものは永遠に定義できないのです。

kuro-yo 2011/05/15 07:43 ありていに言いますと、「ユークリッドの除法」というのは、id:moonwolfさんが質問の冒頭に書かれた「A÷B=C 余り Dという計算」の事を言います。これは普通の意味での除法とは全く別のものですので、どちらが先という事ではありません。ただ、普通の意味での割り算（つまり実数に於ける除法）は、ユークリッドの除法で定義する事ができますので、その意味ではユークリッドの除法の方が、普通の除法よりも先です。

kuro-yo 2011/05/15 07:45 あと、「定義していない」のと「定義できない」のとでは、意味が全く違いますので、ご注意ください。

moonwolf 2011/05/15 08:53 では、普通の除法がユークリッドの除法に表れないのですね?
ユークリッドの除法が自身で完結するならいいです。
ユークリッドの除法→ユークリッドの除法→ユークリッドの除法となり終わるはずですから、全く問題ありません。
ユークリッドの除法が普通の除法に依存するなら普通の除法の方が先ということになります。でなければユークリッドの除法→普通の除法→ユークリッドの除法→普通の除法→ユークリッドの除法→普通の除法となり、解決できません。

moonwolf 2011/05/15 08:56 ユークリッドの除法がすべてに使える/使うわけではありませんよね?
正の整数同士なら使うのでしょうが、それ以外なら使いません。

moonwolf 2011/05/15 09:06 「n, m に対して剰余の演算を行うことができるという仮定だけに依っている」
仮定ですね?普通、仮定は成り立たないことを想定してじゃないと適用できません。
無条件にすべての式にユークリッドの除法を適用すれば仮定をいつのまにか全肯定しています。

moonwolf 2011/05/18 11:02 まぁ、除法の基礎を無視してユークリッドの除法を使っているのですからどうやってもルール無視です。定義が基礎を満たさないのですからもう間違った定義です。

moonwolf 2011/05/18 11:14 終わる、それが計算結果がでるということです、
解決するのは計算結果を得ることです。
ユークリッド除法はユークリッド整式でなければつかえません。
ユークリッド整式以外にはつかえないのです。
仮定は常にはなりたちません。成り立つのなら仮定ではなく、事実です。疑ってた仮定をいつのまにか現実に組み入れています。
仮定が間違っていても事実としてあつかえば正しくはなりません。

kuro-yo 2011/05/18 23:26 id:moonwolfさんのおっしゃる「除法の基礎」とは、ここでは何を指すのか、教えていただけますか。
それと誤字の指摘ですが、「ユークリッド整式（せいしき）」ではなく「ユークリッド整域（せいいき）」です。整式と整域では意味が違いますので、お間違えのないよう。

kuro-yo 2011/05/18 23:34 それから、これは推測ですが、id:moonwolfさんは、数学ではなく、哲学の話をしていらっしゃるようです。
例えば、id:moonwolfさんは、「仮定」という言葉を「仮説」の意味で使っていらっしゃるようですし…。

moonwolf 2011/05/18 23:42 最初にユークリッド除法だと書かれていたので、その表現を使いました。
最初にユークリッド整域といってくれれば、ユークリッド整域として文章をかきます。最初に間違ったのは誰ですか?

moonwolf 2011/05/18 23:48 間違いを指摘する文章、それ自体に間違いがあったら、正しい指摘とはいえないのではないですか?
私はユークリッド整域について知りませんのでこれから勉強します。

kuro-yo 2011/05/18 23:50 id:moonwolfさん、「その表現」とはどの表現の事ですか？

moonwolf 2011/05/18 23:54 id:kuro-yoさんは最初に
>というのは、ユークリッド除法では、零での除算はそもそも定義されていないので、数学的には正しいとも正しくないとも言えないのです。

この時点でユークリッド除法といっています。その表現のことをいっています。

moonwolf 2011/05/19 00:00 定義されていない、本来は「定義できない、ここでは定義しない」と定義すべきでは?「定義されていないと」定義されているとなるはず。

moonwolf 2011/05/19 00:16 >id:moonwolfさんのおっしゃる「除法の基礎」とは、ここでは何を指すのか、教えていただけますか。
私は
http://ja.wikipedia.org/wiki/%E9%99%A4%E6%B3%95
この中での基礎の部分を「除法の基礎」だと考えました。それを「除法の基礎」と指しています。

moonwolf 2011/05/19 00:18 Wikipediaの除法の基礎の文章が間違っているのなら、私は本当にトンチンカンなことをいっていたことになります。間違っていたなら謝罪します。

moonwolf 2011/05/19 00:19 謝罪です。間違えました。

moonwolf 2011/05/19 00:19 あれ、「しゃざい」がうまく書けません。あやまります、という意味です。

moonwolf 2011/05/19 00:26 Chromeブラウザでは「謝罪」が□罪と表示されたので、こうなりました。すみまｓん。

スパム対策のためのダミーです。もし見えても何も入力しないでください