【定理？】負×負＝正【定義？】

【定理？】負×負＝正 ..

554:１３２人目の素数さん
07/06/16 10:03:47
入ってない。

555:１３２人目の素数さん
07/06/16 11:02:59
なら話終わってんじゃん。

556:１３２人目の素数さん
07/06/16 11:28:59
それで提唱者氏の登場が待たれる。

557:１３２人目の素数さん
07/06/16 11:30:45
これまでにも散々質問を無視してきたのに
今回に限って困ってるのはどういうことだろう。

558:１３２人目の素数さん
07/06/16 13:03:27
子供にかけ算を説明するとき、足し算の延長でいけるよね。

４＊３なら、４を三回足す「４＋４＋４」というふうに。
実際、かけ算の認識って、そうだもんね。
だけど、マイナスのかけ算って、難しいよ。

559:１３２人目の素数さん
07/06/16 16:40:22
>>558
その感覚で言うなら非整数のかけ算は全て難しいんじゃないのか？

560:１３２人目の素数さん
07/06/16 17:34:38
>>559
むずかしいけど、マイナスほどではない。
たとえば、あなたなら、どうします？

561:１３２人目の素数さん
07/06/17 10:28:25
(-3)×(-3)で考えてみる。

まず３×３から考えてみると
３×３＝３＋３＋３　　　と３を３回足すことと定義できる。
次に３×(-３）を考えると
(-３)×３＝(-３)＋(-３）＋(-３）　　　と－３を３回たすと↑同様にすると

△×○の○の部分にくる数字の数だけ足すと考えられる。
そうすると○＜０のとき
△×○＝－△－△－△－……－△
つまり
（－３）×（－３）＝－(-３）－（-３）－（-３）と考えられないですか？？
－（－３）が負×負でダメやんけとつっこまれたら､､､ＯＴＺ
これは負の引き算と考えて見てください。

562:１３２人目の素数さん
07/06/17 12:07:16
>>561
引き算の定義がまず問題だな。
普通は X,Y が既知で, X+Z=Y を満たす Z を Y-X と定義する。
一方で -X とは, X+(-X)=0 を満たす数の事。
W=Y-(-X) とは,(-X)+W=Y を満たす数だが、両辺に X を足すと
W=X+(-X)+W=Y+X ,よって-(-X)=X。どこにも負×負は使っていない。

「演算子の－」と「符号の－」の違いに注意する必要はあるが、
二重符号の -(-X) が X と等しいのは定義から明らか。

(-1)×(-1) と -(-1)は実は別物で、仮に分配則を定義にするなら、
分配則によってこの二つは等しくなる。
実際>>561の文中にも分配則を使っている。

563:１３２人目の素数さん
07/06/17 12:58:12
>>562
ここで既に指摘(>>553-554)されているように、
自然数から整数を構築する際には分配則は使わないで構築される。
（構築された整数は分配則を満たす。それゆえ整数は環の公理を満たす代数系の例になる）

564:１３２人目の素数さん
07/06/17 13:56:58
-(-X)=Xについては、もっとシンプルに、
「-X+X=0」をよく見れば明らかだな。

565:１３２人目の素数さん
07/06/17 13:58:35
>>563
自然数から整数を構築するってのは、
２つの自然数の組に同値類を入れるやり方だよな。
和はともかく、積はどうやって定義してるんだ？

566:１３２人目の素数さん
07/06/17 14:19:01
>>565
自然数mとnの差を表す数を[m,n](の同値類)とするのが基本方針。
（商体を作るのと同じだな。)
[m,n]と[a,b]の同値は、m+b=a+nのとき同値、と定義する。
m>nのときm=n+xとして[m,n]は[x,0]と同値
m<nのときn=m+yとして[m,n]は[0,y]と同値
m=nのときは[0,0]
これらの和は　成分ごとの和で定義する。
積は、(m-n)(a-b)=ma+nb-(mb+na)から想像できるとおり
[m,n]*[a,b]=[ma+nb,na+mb]だ。
あとはwell-definedであることを確認しする。
分配則は左辺、右辺を個別に計算して両者が同値であることを示して終わり。
当然ながら自然数で分配則が満たされていることは、これの前段階で示しておく。

567:１３２人目の素数さん
07/06/17 14:26:29
>>566
[ma+nb,na+mb]の第一成分中にnbが入っている事が、
事実上、負×負＝正を定義付けているといえなくないか？

積の定義の仕方をいくつか考えてみたけど、
「自然数で分配則が成り立っちゃってるから、
整数で分配則を成り立たないように決めるのはかなり不自然、
だから分配則を引きずり込んじゃいました」
という説明しか思いつかない。

568:１３２人目の素数さん
07/06/17 14:26:37
>>566
＞積は、(m-n)(a-b)=ma+nb-(mb+na)から想像できるとおり

ここで分配則を使ってるだろう、と>>565は言いたいのだろうか？
しかし、掛け算の結果はこれです、と定義してるだけだし
この定義だけでは分配則の成立は自明でない(整数の和の定義が入ってないし・・・）
ので、やっぱり違うよな。

569:１３２人目の素数さん
07/06/17 14:34:49
>>568
いや、分配則は整数の和が必要だけど、負×負＝正の方は
[1,2][1,2]=[5,4]～[2,1]
の時点で言っちゃってる事になるが。

570:１３２人目の素数さん
07/06/17 14:38:40
>>569
定義に従って計算してみたところ、そういう事実が得られたというわけで。
何が問題なのか良く分からないが。
むしろ、定義を用いてその結果が導けないと困る。

571:１３２人目の素数さん
07/06/17 14:43:29
じゃあなんでそんな定義にしたのかという話に戻るわけで、
これ以上言うとまた水掛け論になるけどさ。

572:１３２人目の素数さん
07/06/17 14:57:09
そのレベルまで戻らないといけないっていうのなら、
分配則は使わないで構築するという点には問題はなかったと。

573:１３２人目の素数さん
07/06/17 14:59:31
そもそも、その手の構成法は「後から付けた理屈」じゃあるけど。
って、それを言えば数学の半分くらいは後から付けた理屈だが。

574:１３２人目の素数さん
07/06/17 19:13:10
でも>>566の方法は自然に０が出来る点でおいしい方法かな。
「引き算の答えをでっちあげる」過程で０が出来た、というのがはっきり分かる。
０がない事には負×負もあったもんじゃない。

575:１３２人目の素数さん
07/06/17 20:17:08
いや、>>566は自然数に0を含めて既に構成済みと考えているようだが。
勿論この段階で初めて0が出現するという手順も可能だろうが。

576:１３２人目の素数さん
07/06/17 21:19:17
公理的にはともかく、もっと生活に根ざした形で「負×負＝正」の例はないかな？

577:１３２人目の素数さん
07/06/18 08:56:01
>>576
(速度)×(時間) = (変位)　でいいか？

578:１３２人目の素数さん
07/06/18 13:16:09
　メーソンによる世界経済破壊に続く第３次世界大戦
　北京オリンピック終了後、メーソンは弱者を犠牲にしてしか成り立たない偽
りの資本経済を維持する為に、世界経済から資金を引き上げて恐慌を引き起こ
す。手始めに中国バブルを起こす。中国はバブル崩壊によって経済が潰れ、人
民が暴動を繰り返す。北朝鮮は韓国等の経済援助を断たれて行き詰まり、祖国
統一をうたって韓国に侵攻する。それに呼応して中国は台湾を侵略する。日本
は誤った憲法解釈の下に集団的自衛権を行使して、同盟国の韓国、台湾を救出
すべく自衛軍を派兵する。北朝鮮の後には中国、ロシアが控えており、日本は
格好の餌食となる。ロシアは北海道より攻め寄せてくる。日本の大都市は中国
等の核攻撃を受ける。アメリカは助けてくれないばかりか日本を攻撃する。こ
の時日本人は知るだろう。なぜ、黒船が来たのか。太平洋戦争で日本を挑発し
たのか、侵略者に仕立てたのか。大空襲と原爆で日本人を大虐殺したのか。金
融の自由化、バブル崩壊による日本経済の破壊と乗っ取りが行われたのか。こ
れらは日本を破滅させて占領するためである。
　国家権力の牙が国民を襲う
　国家の破産を先送りにする為に、福祉の切り捨て、大増税が敢行される。国
の借金３０００兆円(隠している分も加算)を解消するには焼け石に水である。
政府とすればこれを誤魔化す為には、外国から侵略されて戦争になってくれた
方が有り難いのである。支配層は国を売って奴隷になっても構わないと思って
いるやつらである。こんなやつらが日本を支配しているのだからお先真っ暗で
ある。国民は預金封鎖と大増税で、金と財産を巻き上げられ、住基ネットによ
り管理されて、反逆者は食料も得ることが出来ず抹殺される。運の良い者は共
謀罪で牢獄に収監される。政府は携帯電話による盗聴、防犯カメラ、公安、２
チャンネル等で反逆者を捜索している。

579:１３２人目の素数さん
07/06/18 13:35:55
>>576
将棋で
（駒の損得）×（駒数）＝（大局観）

(+)×(+)=(+)
飛車×２枚＝勝勢

(-)×(+)=(-)
（遊び駒）×２枚＝不利

(-)×(-)=(+)
（遊び駒）×（相手に取られる）＝有利

このことから「遊び駒には手をだすな」という格言が生まれた

580:１３２人目の素数さん
07/06/18 15:35:10
>>579
将棋を知らない人には分からないかもしれないが
評価関数とか行列、（駒の）ベクトル、積分とかいろいろでてくるし
将棋って根底には、案外高度な数学があるのではないかと…
（ド素人の考えなのだが、そう思う）

しかし、行列や積分なんて知らなくたって
プロ棋士にはなれるし（中学生でプロ棋士になった人もいるそうだし）
将棋の名人だって、いちいち評価関数がどーのこーの
このベクトルを積分して、なんちゃら、かんちゃら…なんて
指し手を進めているわけじゃないしね

581:１３２人目の素数さん
07/06/18 16:32:15
>>579
そういう感じでいいと思うんだけど。
私は、オセロで考えていた。
黒をマイナス、白をプラスとして、
盤上に黒い駒が三つあれば「－３」。
それに、(-1)をかけると、ぜんぶひっくり返って、
白い駒が三つになる。この状態は、「＋３」。
そこにさらに(-1)をかけると、またぜんぶひっくり返って、
黒い駒三つになるから、「－３」。
こんな感じ。
ただ、将棋の例でもそうなんだけど、
(-1)*(-1)の説明が非対称になっているのが残念。

582:１３２人目の素数さん
07/06/18 18:19:11
あれ？
正数のかけ算でも非対称か。

583:１３２人目の素数さん
07/06/18 18:35:39
>>579の例からすれば、飛車が２枚遊んでるとき取られたら矛盾が生ずるな

将棋にせよ、オセロにせよ無理矢理感がいっぱい。
オセロに至ってはなぜ「乗法」に対応させてるのかすらわからない。
「敵の敵は味方」レベル

上にきっちり>>577として例が挙がってるじゃん

584:１３２人目の素数さん
07/06/18 18:54:45
>>583
その例が、なんかつまんないんだよね。
感覚的なものにすぎないけど。

585:１３２人目の素数さん
07/06/18 19:12:58
そりゃ数学や事象は個々人の好みに合わせてくれる訳じゃないからな。
多数の人間の常識的な感覚で理解しやすいものであれば、つまらない面白いにかかわらずそれは「良い例」

586:１３２人目の素数さん
07/06/18 21:42:53
人間の感覚としておもしろいと思ったのは、
足し算のスレッドだったかな？
個体の個数を数えるには、その属性によるといった意見で、
ある家には、男は一人いる。
女は一人。人間は二人。
これでだいたい様子はわかると思うんだけど、
体重に注目すれば、1.6人と書いてたんだよね。
整数じゃなくても、直感的にはわかりやすいんだろうね。
つまり何が言いたいかというと、速度とか時間のマイナスは直感的ではないだろうということ。
おそらく量的なものが直感に訴えるのではないかと。
たとえば、熱量を与えたり奪ったりすると、温度が上がったり下がったりするというような。

587:１３２人目の素数さん
07/06/18 21:57:20
>つまり何が言いたいかというと、速度とか時間のマイナスは直感的ではないだろうということ
そう？キミだけなんじゃない？

588:１３２人目の素数さん
07/06/19 10:05:48
当然過ぎるのもある意味「つまらない」かもな。
それに計量をいれて抽象化すると「なんでなんでなんで」となる。
そっちの方が不思議かも。

589:１３２人目の素数さん
07/06/19 21:16:18
たしかに、理屈で説明してもらった方がわかるという人は少なくないだろうね。
これは好き嫌いじゃなくて、ちょっとやってみたいなと思っているだけなのかもしれない。
たしかマーチン・ガードナーは、善人と悪人をプラス、マイナスに対応させて、
ある建物から善人が出ていけば悪の量が増えるとか、
悪人が出ていけば禅の量が増えるとか例えていたけれど、
それはちょっとかみ砕きすぎではないかと。

590:１３２人目の素数さん
07/06/20 13:13:39
囲碁も将棋もオセロさえも
分からない俺って…

ｵﾜﾀ＼(^o^)／

591:提唱者 ◆3j.9eex9S6
07/06/22 06:57:56
公理を定めただけで具体的な計算方法を定めていない段階を
第一段階と呼ぶことにします。
公理を定めて、かつ具体的な計算方法を定めた段階を
第二段階と呼ぶことにします。

行列の分配法則の場合
A(B+C)=AB+AC
これは第一段階です。何故なら行列の積の具体的な計算方法は
まだ定まっていないからです。
そして行列の積の計算方法を定義してやっと第二段階に行くわけです。

実数の分配法則の場合
a(b+c)=ab+ac
これを使って
(-1)(-1)=1
という式を導きました。
この段階は何段階ですか？
第一段階でしょう。
つまり左辺の(-1)(-1)というものは、まだ具体的な計算方法は決まっていないのです。
ところで右辺を見てください。1となっています。
じゃあ(-1)(-1)は1と定義するのが自然だろう。
ここで初めて第二段階に行ったわけです。

これが私の(-1)(-1)=1は定義であるとの主張です。
もちろん現在の私は、定義であるとの主張、定理であるとの主張、両方好きな方で良いという
一般的な立場をとっております。
私は間違ってませんでした。

592:１３２人目の素数さん
07/06/22 08:06:20
よくわからないんだけどさ
ちょっと「行列の公理」だかを書いてみてよ。

どうも普通の人が使ってる行列の積の定義とは
違うような気がしてならないから。

593:１３２人目の素数さん
07/06/22 09:17:32
ミザールに聞いてみるか？
URLﾘﾝｸ(fm.ee.ibaraki.ac.jp)

例
JORDAN曲線定理（1887、仏カミーユ・ジョルダン）
「閉じた曲線が平面を、内と外に分ける」直感的には明らかな定理
Oswald Veblenが1905年に一応の証明をしたと言われていますが
前提となる知識の至るところに直感が使われ、完全証明とは言いがたいものでした。
Mizarによるコンピュータを使った証明は、このような人間の直感を排除し
正確な証明を導き出すことができるのです。

1991年、日本の信濃大学、中村八束教授らや
ポーランドのワルシャワ大学の研究チームらが
14年かけて証明を終えた。

594:１３２人目の素数さん
07/06/22 09:28:01
>>593
× 信濃大学
○ 信州大学

ま、同じ長野だがな…

595:593
07/06/22 11:27:44
>>594
ご指摘、どうもでした

596:１３２人目の素数さん
07/06/22 11:53:27
>>593
コンピューターによる定理の自動証明
ｽﾚﾘﾝｸ(math板)l50

「Mizar」ミザール、プルーフチェッカーの一種
数学は非常に多分野に及んでおり
ひとつの専門分野が違うと、その分野の把握は困難ではある。
（また私たち人間も活動的な年齢や寿命もある）

これらの検索（というものか？）
人間ではなく、コンピュータにさせる方法。

言うまでもなくコンピュータは、人間以上に、早く正確に情報（データ）を
蓄積・検索してくれるし、これらのデーターベースは
後世の後輩たちにも（比較的容易に）引き継げるメリットをもつ。

似たような例で、将棋の棋譜をデーターベース化にし
同局面が存在したかを、過去の棋譜（局面）を参考に短時間で検索してくれるシステムがある。
（おそらくプロ棋士が（コンピュータを使わず自分の頭で）検索しても時間はかかるであろうし
　それなのに、そうでない普通の人間がやれば膨大な時間がかかるであろう。）

597:１３２人目の素数さん
07/06/22 17:45:42
>>591
二項演算の定義も知らずに数学板に書き込むのはいくらなんでも冗談がきついぞ。

演算は突き詰めりゃ写像から出発してるんだから、（キミの言う）第二段階が先にあって、
そもそも（キミの言う）第一段階は存在しません。

だいたい、自分で勝手に大元のルールを解釈変更して「自分は間違っていませんでした」
なんて言うことが如何に馬鹿馬鹿しいことなのか、理系の人間なら当然わかると思うんだ
がなぁ。

もうさ、書いてあることに間違いが多すぎていちいち基礎の基礎まで立ち返って指摘する
のが面倒だよ。

ある対象について議論するのはその対象についての最低限の知識と論理展開能力が
必要になるんだが、キミは生憎両方とも持ち合わせてないね。

>>591の主張には間違いが多すぎて（しかも間違いに間違いを重ねるパターン）、
いちいち指摘するのもめんどくさい。

598:１３２人目の素数さん
07/06/22 17:49:02
上の文章は推敲してる途中で誤って書き込んでしまった。
一部同じ主張を繰り返しているところがあるけど、全体の文意をくみ取って頂きたい、失礼しました。

599:１３２人目の素数さん
07/06/23 00:30:36
「演算が定義されている」ことに対して提唱者氏は妙な先入感を抱いているように読めますね。

600:１３２人目の素数さん
07/06/23 04:18:12
>>591
(-1)(-1)=1
というのが、ちゃんと頭の中で理解されているの？
そこを、かみ砕いて聞いてみたい。
というか、説明して。

601:提唱者 ◆3j.9eex9S6
07/06/23 07:03:42
>>510
>いまだにaかbかを求め続けるのはなぜか。
>それを求めることに、納得できる理由があるなら示してくれ。

科学の議論だからです。
科学の議論では自分の立場を明らかにしないということはありえないでしょう。
例えば物理学の議論をするのに、相手が物理学者なのか、超常現象学者なのか、
わからないと困るでしょう。超常現象学者と話なんてしたくないでしょう。

>それでも何も答えない場合、aかbかを求めるのは
>提唱者が自分に都合の悪いことから話をそらすのが目的だとみなすぞ。

私は逃げる時には何も言わずに逃げます。
話をそらしてから逃げるなんて面倒なことはしません。
もちろんリアルの世界では、言い訳をしてから逃げますが。

どうでしょうか？ここまで納得いく説明を書いたにもかかわらず
aかbを打たないのであれば
打たないのではなく打てないのだと見なします。

602:１３２人目の素数さん
07/06/23 07:15:36
>>601
いまだに提唱者氏の書く式　(-1)(-1)=1　に現れている演算がよく定義されているとは思えないので
(a)も(b)も意味不明なんですよ。選びようがない。>>600　に答えてみたらどうです。

603:提唱者 ◆3j.9eex9S6
07/06/23 07:44:50
>>602
では質問の仕方を変えましょう。
一般的によく質問がでる「マイナスとマイナスを掛けると何故プラスになるのか」
という質問に対してあなたは
「導かれたから」
と答えるのか
「そう決めたから」
と答えるのか。
それともあなたなりの答えがあるのか。
この3つから選んでください。

604:提唱者 ◆3j.9eex9S6
07/06/23 07:46:42
>>600
質問の意味がわかりません。

605:１３２人目の素数さん
07/06/23 08:37:35
>>603
だめですね。全然質問になっていない。何を前提としているのかがまったく不明。
その程度で質問になっていると思っていることに驚きを感じます。

606:１３２人目の素数さん
07/06/23 08:39:31
立場を明らかにせよという割には、自分の論の依拠する公理系さえ提示できないじゃないか。
→提唱者

607:１３２人目の素数さん
07/06/23 08:39:58
>>604
ご自分が嘗て書いた式の意味を尋ねられているのに・・・

608:提唱者 ◆3j.9eex9S6
07/06/23 08:55:57
>何を前提としているのかがまったく不明。

意味がわかりません。
仮に前提が何種類かあるのであれば
それはあなたが場合分けをしたら済む話でしょう。
何故場合わけをしないのですか。

609:１３２人目の素数さん
07/06/23 08:58:25
>>608
それでは場合分けの助けをしていただきましょう。
「マイナス」ってなんですか？

610:提唱者 ◆3j.9eex9S6
07/06/23 09:05:26
>>609
あなたが場合分けをしてください。
場合分けをして、
一般的によく質問がでる「マイナスとマイナスを掛けると何故プラスになるのか」
という質問に対してあなたは
「導かれたから」
と答えるのか
「そう決めたから」
と答えるのか。
それともあなたなりの答えがあるのか。
この3つから選んでください。

611:１３２人目の素数さん
07/06/23 09:10:17
>>610
それでは場合分けの助けをしていただきましょう。
「マイナス」ってなんですか？

612:１３２人目の素数さん
07/06/23 09:11:54
－×－＝＋を定義すれば分配法則は定理として導かれる。
逆に負の数についても分配法則が成立していることを認めるならば，－×－＝＋は上にあったように定理として導かれる。
どっちを定義にしても矛盾のない体系が作れる。つまりどっちが定義か定理かという議論は意味をなさない。

613:提唱者 ◆3j.9eex9S6
07/06/23 09:13:49
あなたを手伝うつもりはないんです。
あなたが場合分けをしてください。
場合分けをして、
一般的によく質問がでる「マイナスとマイナスを掛けると何故プラスになるのか」
という質問に対してあなたは
「導かれたから」
と答えるのか
「そう決めたから」
と答えるのか。
それともあなたなりの答えがあるのか。
この3つから選んでください。

614:１３２人目の素数さん
07/06/23 09:21:05
>>613
あなたの数学の素養がわからないので、
マイナスをどういう意味で使っているのか私にはわからない。
「一般的に」というような曖昧な質問をする人には、
使う言葉をどういう意味で使っているのかをはっきりさせなければね。

あなたは、自分の数学の素養が明らかになるような質問が出てくると突然思考停止状態になるようですね。

615:提唱者 ◆3j.9eex9S6
07/06/23 09:24:37
>「一般的に」というような曖昧な質問をする人には、
>使う言葉をどういう意味で使っているのかをはっきりさせなければね。

だから私にはわからないんです。
マイナスという言葉には複数の意味があるんですか？
「ある」か「ない」かでお答えください。

616:提唱者 ◆3j.9eex9S6
07/06/23 09:28:15
マイナスと言う言葉に複数の意味があるのであれば
場合分けをしてください。

複数の意味が無いのであれば、私に聞く必要はないはずですから
「マイナスとマイナスを掛けると何故プラスになるのか」
という質問に対してあなたは
「導かれたから」
と答えるのか
「そう決めたから」
と答えるのか。
それともあなたなりの答えがあるのか。
この3つから選んでください。

617:１３２人目の素数さん
07/06/23 09:33:57
すくなくとも提唱者の考える数学の用語の定義や解釈よって立つ公理系は
一般の数学のそれとは乖離してるよ。具体的に言わなくても、それはこのスレで散々指摘されてきてるよね。

だから
”提唱者の考える「マイナス」の定義（意味）はなんだよ？（また自己流の解釈じゃないの？）”
という疑問が生まれ、それを確認したくなるのは自然な流れだな。

618:提唱者 ◆3j.9eex9S6
07/06/23 09:34:35
＞あなたの数学の素養がわからないので、

私の数学的素養で3つの選択肢の選び方が変わるんですか？
それはありえません。
私が中学レベルであろうが何レベルであろうが、
答えは一つでしょう。
その答えを聞いているのです。
私の数学的素養とあなたの答えるべき答えは関連性がありません。

619:提唱者 ◆3j.9eex9S6
07/06/23 09:37:40
＞”提唱者の考える「マイナス」の定義（意味）はなんだよ？（また自己流の解釈じゃないの？）”
＞という疑問が生まれ、それを確認したくなるのは自然な流れだな

あなたの答えるべき答えは私の数学的レベルに依存していません。
私の数学的レベルに全く無関係に、答えは一つです。
その答えを聞いているのです。
何故答えないのでしょうか

620:１３２人目の素数さん
07/06/23 09:38:28
同じ用語をもちいていても根本の解釈が違えば、議論をしてもかみ合わないよ。
だから大元の部分ですり合わせを予め行うのは極めて道理にかなってるでしょ。

621:１３２人目の素数さん
07/06/23 09:40:15
>>619
残念ながら>>618は横レスだよ。君が議論していたのは別の相手。
いうなら俺は基地外を生暖かく見守る「傍観者」

622:提唱者 ◆3j.9eex9S6
07/06/23 09:41:31
＞同じ用語をもちいていても根本の解釈が違えば、議論をしてもかみ合わないよ。
＞だから大元の部分ですり合わせを予め行うのは極めて道理にかなってるでしょ。

私は「あなたの答え」を聞いているのです。
だから
あなたがマイナスの定義を示し
あなたが場合分けをし
あなたが答えればいいのです

623:617=620=621
07/06/23 09:42:33
ゴメン紛らわしいので整理しよう

>>617,620,621はグダグダを眺めてレスしてる俺の横レス。
それ以外は別の人のレス。

624:提唱者 ◆3j.9eex9S6
07/06/23 09:50:25
>>623
そんなことはどうでもいいことなんです。
誰が答えようが私には関係の無いことです。
ただ、私の提示したものに仮に10人が反論したなら
じゃあその10人に答えを書いてもらいましょうと言っているのです。
そしてその10人の答えは一致するはずでしょう。

625:617=620=621
07/06/23 09:54:50
でも君は提示の前提すら示せていないことを指摘されているんだけど。
それに俺のは反論じゃないよね。いうなれば傍観者のつぶやき。

>そしてその10人の答えは一致するはずでしょう。
どうしてそう思うの？根拠 please

626:提唱者 ◆3j.9eex9S6
07/06/23 09:59:19
＞でも君は提示の前提すら示せていないことを指摘されているんだけど。

だからその前提というものが私にはわからないんですよ。
その前提というものは何種類あるんですか？
仮に5種類あるなら5通りの場合分けをしてから、あなたなりの答えを書けば終わる話なんですよ。
何故答えようとしないんですか？

627:617=620=621
07/06/23 10:01:39
だから俺は君相手に議論も反論もしてないよ。
質問もされてないｗ

他人がされた質問になぜ答える義務があるｗ？

628:617=620=621
07/06/23 10:14:46
ついでにいうと基地外の世迷い言につきあうつもりもないよ。
俺は生暖かく皮肉をつぶやくだけｗ

629:１３２人目の素数さん
07/06/23 11:06:53
>>615
同型でない環の数だけマイナスがある、といっておきます。
それではさようなら。

630:１３２人目の素数さん
07/06/23 11:31:57
>>591
＞これが私の(-1)(-1)=1は定義であるとの主張です。

あなた最初から第一段階とか第二段階とか言ってましたか？
今日始めて聞いたような気がしますけど。

それに公理をまず決めてから次に計算方法を決めるわけではないですよ。
計算法、或いは積がただひとつ定まるような条件を決めたときに
結果として分配法則が成り立つのです。

逆に分配法則その他を公理として採用して、その結果として
計算法cij=∑_k aikbkjを証明することも出来ます。それは流儀の違い、趣味の違いの範囲です。

「負の数」の定義はa<0となるような要素aのことで、ただそれだけです。

631:１３２人目の素数さん
07/06/23 13:25:31
>>603
「マイナスとマイナスを掛けると何故プラスになるのか」
という質問に対しては、「言葉の定義がわからない」と答える。

言葉の定義はいくらでもあるので、場合わけして答えるなんてことは
原理的に不可能だよ。

632:提唱者 ◆3j.9eex9S6
07/06/23 18:51:32
あなた達が普段使っている計算でマイナスとマイナスを掛けてプラスにしている場面があるでしょう。
その場面であなたはどういう理由でプラスにしているんですか？
それに答えることが出来ないというのはおかしいですね。
現にあなた達はマイナスとマイナスの掛け算をプラスにしているんでしょう？
じゃあどうしてプラスにしたのかと聞くと、
「前提」は何だ？「マイナスの定義」は何だ？
という。
それがわからなければ答えることは出来ないという。
しかしあなた達は現に、マイナスとマイナスを掛けてプラスにしてるんでしょ？
あなたがマイナスとマイナスを掛けてプラスにした時、
まさにその時、どんな「前提」で、どんな「マイナスの定義」で、プラスにしたんですか？
それを聞いているんです。
答えられないはずは無いんですよ。
あなた自身がマイナスとマイナスを掛けた時にプラスにしたのは何故かと聞いているのです。
あなた自身が「前提」に基づいて、「マイナスの定義」に基づいて
マイナスとマイナスの積はプラスであると判断したんでしょう。
そのあなた自身の採用した「前提」と「マイナスの定義」は何ですか？と聞いているのです。

633:提唱者 ◆3j.9eex9S6
07/06/23 18:55:00
>>631
>「マイナスとマイナスを掛けると何故プラスになるのか」
>という質問に対しては、「言葉の定義がわからない」と答える。

あなた自身マイナスとマイナスを掛けてプラスにした経験があるでしょう。
無いんですか？
あるでしょう？
その時にあなたの採用した「言葉の定義」で説明してくれればいいんですよ？

634:１３２人目の素数さん
07/06/23 18:57:44
マイナスとマイナスの積はプラスであるという前提。
マイナスはマイナスとの積がプラスになるという定義。

635:１３２人目の素数さん
07/06/23 18:59:52
要するに人生いろいろってことだ。

636:提唱者 ◆3j.9eex9S6
07/06/23 19:01:30
質問の仕方を変えましょう。
-4×-3
この答えは12ですね？
あなたが12にした理由は何ですか？

637:１３２人目の素数さん
07/06/23 19:07:49
>>629
用が済んで戻ってきてみたら、なんだ何にも進んでない。
では考えるよすがとして、次の問を投げておきましょう。
（１）環の定義がナンセンスなものでないことを示さなければなりません。示してください。
（２）環の定義に乗法単位元を仮定しないとき、あなたが以前からよく書いている(-1)(-1)=1に替わる演算式を
　　あなたの文脈の中で工夫してみてください。
（３）環Rには単位元が存在することを仮定するとき、R加群の元のマイナスとRの元のマイナスの積を説明してください。

638:１３２人目の素数さん
07/06/23 19:13:47
>>636
これは面白いからこたえておこう。
その答えは５です。
後から除いている友人は「おれなら０だな」といってます。

639:提唱者 ◆3j.9eex9S6
07/06/23 19:14:07
>>632
あなた達が普段使っている計算でマイナスとマイナスを掛けてプラスにしている場面があるでしょう。
その場面であなたはどういう理由でプラスにしているんですか？
それに答えることが出来ないというのはおかしいですね。
現にあなた達はマイナスとマイナスの掛け算をプラスにしているんでしょう？
じゃあどうしてプラスにしたのかと聞くと、
「前提」は何だ？「マイナスの定義」は何だ？
という。
それがわからなければ答えることは出来ないという。
しかしあなた達は現に、マイナスとマイナスを掛けてプラスにしてるんでしょ？
あなたがマイナスとマイナスを掛けてプラスにした時、
まさにその時、どんな「前提」で、どんな「マイナスの定義」で、プラスにしたんですか？
それを聞いているんです。
答えられないはずは無いんですよ。
あなた自身がマイナスとマイナスを掛けた時にプラスにしたのは何故かと聞いているのです。
あなた自身が「前提」に基づいて、「マイナスの定義」に基づいて
マイナスとマイナスの積はプラスであると判断したんでしょう。
そのあなた自身の採用した「前提」と「マイナスの定義」は何ですか？と聞いているのです。

640:提唱者 ◆3j.9eex9S6
07/06/23 19:18:25
>>637
あなた達が普段使っている計算でマイナスとマイナスを掛けてプラスにしている場面があるでしょう。
その場面であなたはどういう理由でプラスにしているんですか？
それに答えることが出来ないというのはおかしいですね。
現にあなた達はマイナスとマイナスの掛け算をプラスにしているんでしょう？
じゃあどうしてプラスにしたのかと聞くと、
「前提」は何だ？「マイナスの定義」は何だ？
という。
それがわからなければ答えることは出来ないという。
しかしあなた達は現に、マイナスとマイナスを掛けてプラスにしてるんでしょ？
あなたがマイナスとマイナスを掛けてプラスにした時、
まさにその時、どんな「前提」で、どんな「マイナスの定義」で、プラスにしたんですか？
それを聞いているんです。
答えられないはずは無いんですよ。
あなた自身がマイナスとマイナスを掛けた時にプラスにしたのは何故かと聞いているのです。
あなた自身が「前提」に基づいて、「マイナスの定義」に基づいて
マイナスとマイナスの積はプラスであると判断したんでしょう。
そのあなた自身の採用した「前提」と「マイナスの定義」は何ですか？と聞いているのです。

641:１３２人目の素数さん
07/06/23 20:14:05
とうとう崩壊し始めたか

642:195.58.126.131
07/06/23 20:20:28
なんだなんだなんだ、なんでこんなにスレが進んでるんだ、
おれが6000mileも移動したせいか？

643:１３２人目の素数さん
07/06/23 20:26:39
馬鹿につける薬はありません。

644:１３２人目の素数さん
07/06/23 20:59:44
なぜ有理整数の演算を受け入れているのか、という質問なら答えますよ。
2種の2項演算が定義されその演算の間に分配則が成立している代数系が稔り豊であることを知り、かつ
先人が定義した自然数に始まる数体系を合目的的な存在と認知して使うためです。

645:１３２人目の素数さん
07/06/23 23:13:44
別スレで横からだが

熱い討論も
俺にとって、そんなことは関係ねぇ
欲しいのは結論だけ！

スレ最後や次スレでもいい、結論だけ、記載してくれ

もう一度言う

スレ最後や次スレでもいい、結論だけ、記載してくれ

では、数ヲタども、どうぞ↓

646:１３２人目の素数さん
07/06/23 23:18:09
>>645
[結論]
定理

以上

終了

647:１３２人目の素数さん
07/06/24 11:04:50
>>640
どうして問題を正確に書かないのか。
少なくとも公理と定理の交換可能性を考えたこともあるという人なら、
考察の対象がなんであるのかを明らかにしなければ、また使ってよい仮定（前提、公理と言ってもよいが）
がなんなのか、それをはっきりさせなければ、誰も答えられない。
なんとなく他人がもっている（と思い込んでいる）数学の知識におんぶして、
なんとなく問いかけているだけなんだね。

あなた達が普段使っている計算でマイナスとマイナスを掛けてプラスにしている場面があるでしょう。

マイナスとマイナスを掛けた場面なんて一度もないよ。だれがそんな質問にこたえられるか、けっ、
似たような場面はあったかもしれないがね。
ということになってしまう。
対象が曖昧な問に対し、無条件で「諾」と答えれば、
その曖昧さが含む一切の対象に対して「諾」とこたえたことになるからね。
そんな危険は冒せない。

このスレの500番台のレスに整数の構成が書かれていた筈だから、それをよく読んで実践してみたらよい。
鉛筆もって手を動かすのも大事だよ。

648:１３２人目の素数さん
07/06/24 13:54:31
>>601
>私は逃げる時には何も言わずに逃げます。
>話をそらしてから逃げるなんて面倒なことはしません。

要するに自分の間違いに気付いても非を認めずそのままトンズラこくような人間なわけだな
そういう態度をとりつつ、一方で他人にはただ「いいから質問に答えろよ」と要求する、と

どこの国の王様ですか？

ハンネを『卑怯者』にでも変えたらどうだい？
それ以前にどうしようもないくらい『愚か者』だけどな

649:１３２人目の素数さん
07/06/24 18:10:40
「公理」とか「定義」とか「定理」などの言葉の意味を理解していない人間に、
言葉でもって理解させようとすることはまったくもって不毛だ

650:提唱者 ◆3j.9eex9S6
07/06/24 19:22:01
>あなた達が普段使っている計算でマイナスとマイナスを掛けてプラスにしている場面があるでしょう
>マイナスとマイナスを掛けた場面なんて一度もないよ。だれがそんな質問にこたえられるか、けっ、 >似たような場面はあったかもしれないがね。
>ということになってしまう。

なりません。
-3×-4＝12と計算した経験があなたにはあるでしょう。

>マイナスとマイナスを掛けた場面なんて一度もないよ。

これはどういう意味ですか？
マイナスの数とマイナスの数を掛けた場面、と言えばよかったんですか？
だとするならがっかりです。そんなこと文脈からわかるでしょう。

>どうして問題を正確に書かないのか。
>考察の対象がなんであるのかを明らかにしなければ、また使ってよい仮定（前提、公理と言ってもよいが）
>がなんなのか、それをはっきりさせなければ、誰も答えられない。

あなたが過去、-3×-4＝12と計算した時、まさにその時、
あなたが使った仮定（前提、公理といってもよい）
というものがあなたの頭の中にはあるはずなんですよ。

あなたが過去、-3×-4＝12と計算した時、
(-1)(-1)=1を定理として使ったのか、定義として使ったのか、
それはあなた自身しか知らないことなんですよ？
それを言えばいいんですよ？
何で言わないんですか？

651:提唱者 ◆3j.9eex9S6
07/06/24 19:23:37
>要するに自分の間違いに気付いても非を認めずそのままトンズラこくような人間なわけだな

話をそらす為に選択肢を選ばせているんだろう、と言われたから、
私は話をそらすつもりで選択肢を選ばせているのではない、
と言う意味で書いたのです。
「話をそらす理由が私には無い」
と言う意味で書いたのです。

>そういう態度をとりつつ、一方で他人にはただ「いいから質問に答えろよ」と要求する、と

少なくとも私は自分なりの解答を書いたじゃないですか。
そしてそれに対して10人くらいの人間が文句をつけてきている。
となれば、
じゃあその10人に「じゃあおまえの解答を示してみろ」
というのは当たり前のことじゃないですか？

652:エレガントな解答を求む
07/06/24 19:29:08
要するに代数的に閉じていて欲しいというわけでは？

653:１３２人目の素数さん
07/06/24 21:56:00
>>650
>>644と>>566をよく読んで考えてください。

654:１３２人目の素数さん
07/06/24 23:29:12
提唱者氏は
>>550から>>556までの応答をどう読んだのかな？
そして>>637の(1)についてはどうなのか。
あなたの第一段階、第二段階理論を読んでいると、
この(1)についてすら的確に答えることは出来るのか、はなはだ危ぶまれる。
もしそうだとするなら、
あなたのいう「マイナスかけるマイナスはプラスは定理か定義か」なんて質問には
どう答えても、誤解されて終わりだろうね。

まず>>637　の(1)　だ

655:１３２人目の素数さん
07/06/25 00:29:08
>あなた達が普段使っている計算でマイナスとマイナスを掛けてプラスにしている場面があるでしょう。
>その場面であなたはどういう理由でプラスにしているんですか？
「刷り込み」じゃいけないのかな？

脱線して悪いが誰かアホな俺に、ドレだけ勉強したら
-3×-4＝12
って表記の正当性がわかるのかおしえてくれ。

656:１３２人目の素数さん
07/06/25 01:25:27
>>655
不可能です。
このスレの冒頭に、定義でもあり定理でもあり、とあるとおり。
自然数の分配則が当たり前だな、と思えるなら、
そして、それをどこまでも拡張していく、というパラダイムを認めるなら、
そのパラダイムの帰結の一つとして、負の数同士の積が正の数として得られます。
しかし、それがあなたの直観と相容れるものなのかどうか、それは誰にもわかりません。

657:655
07/06/25 01:38:07
>>656
いや、ほんとスレの内容から脱線したことでさ。
-3×-4なんて書き方したらめっちゃ怒られたんだけど、
このくらいの話になると問題ないのかなぁって。

658:１３２人目の素数さん
07/06/25 01:57:36
>>657
演算記号のマイナスとの区別がつくなら、
　a×ｂ　の　ａ　が　3の加法逆元　になっているだけのことなんですよ。
だから　-3×-4。正確に伝わるかどうか心配なときは（－３）×（－４）が無難でしょうけど。

659:提唱者 ◆3j.9eex9S6
07/06/25 07:02:54
あなた達が過去、-3×-4＝12と計算した時、まさにその時、
(-1)(-1)=1を定理として使ったのか、定義として使ったのか、
まずはそこからです。

前提がわからない、言葉の定義がわからない、だから答えることは出来ない
などの言い逃れは出来ません。

何故なら-3×-4＝12と計算したのは「あなた自身」なのだから。

660:１３２人目の素数さん
07/06/25 07:12:06
プッ

661:１３２人目の素数さん
07/06/25 07:39:58
このスレって、数認知心理学のための個人体験を聞くスレだったの？
「演算が定義されていること」について、
妙な叙述をくりかえしているから、それはどういう意味？、
と繰り返し尋ねられているのに、それに答えずに個人的体験募集ですか
勝手にやってなさい。

662:１３２人目の素数さん
07/07/01 07:40:20
★東大入試作問者になったつもりのスレ★ 第九問
ｽﾚﾘﾝｸ(math板:42番)

663:１３２人目の素数さん
07/07/01 08:09:49
42以降の泥縄が傑作

664:１３２人目の素数さん
07/07/02 21:32:20
>>661
答えなかったのではなく答えられなかったのだね。
質問の意味も理解できていなかったことが、あっちの書き込みからよく分かる。

665:１３２人目の素数さん
07/07/03 22:54:10
あっちの書き込みってやっぱり提唱者なのかな？

666:１３２人目の素数さん
07/07/03 23:12:33
演算を「定義」するところで値を具体的に示そうとしているのがいかにも提唱者だね。
そこで定義し切れていないところがなんとも無残。

667:１３２人目の素数さん
07/07/04 11:37:40
　世の中馬鹿と阿呆ばかり、誰か私を論破出来る知恵のある者はいないのか。
　神は存在する。
　証拠　この精巧な人間の体の仕組みが偶然に出来る筈がない。神が作ったとしか考
えられない。コンピューターは人間が設計して作った物で偶然には出来ない。脳は有
機コンピューターで万が一にも偶然に出来る訳がない。だから神が作られたのである。
　日本が世界文明発祥の地である。
　証拠　日本ほど優れた神話を持っている国は他にない。よその国のものは童話に近
い。日本は世界のひな形になっており、北海道が北アメリカの本州がユーラシア大陸
のひな形になっている。南米に縄文土器の遺跡がある。インカ、マヤ文明にも文字が
あるのに日本に文字がない筈がない。日本の神代文字は世界中に残っている。
　日本は朝鮮に侵略された。
　証拠　日本古来の宗教は神道で日本人がよその宗教に浮気する筈がない。朝鮮に武
力によって侵略され仏教に改宗させられたのである。漢字は日本人の知性を低下させ
るための陰謀である。
　太平洋戦争はルーズベルトの陰謀
　証拠　米国の太平洋艦隊の一員である空母が単独行動する筈がない。真珠湾に空母が居
なかったのはルーズベルトが避難させたからである。日本がアメリカの様な国力が１０倍
の軍事大国に戦争を仕掛ける筈がない。挑発され、国家存亡の危機に追い込まれたからで
ある。今の日本がロシアと戦争する様なもので、誰も負けると判っている喧嘩はしない。
　従軍慰安婦、南京大虐殺は大嘘
　証拠　中国人が残留孤児を育ててくれたのは、日本人が中国人に対して善行を行っ
ていたからであり、その恩義に報いようとしたのである。日本人が強制連行したり、
虐殺していれば残留孤児は見捨てられる。
　自然治癒力は神の賜り物
　証拠　癌は血液(成分が動物の死体)の細胞から発生する物で必ず再発する。マクロ
ビオテｨック療法で癌等の難病が治るのは、肉食から菜食(有機農法)にして食生活を
改善するために穢れた血液が一掃されて病気の巣になる物が無くなり、神の自然治癒
力が発揮されるためである。
　神の裁きはある。
　証拠　殺生(肉食)をしていれば永遠に天国は築かれない。ノアの洪水があった様に
今度は火の洗礼を受ける。

668:１３２人目の素数さん
07/07/04 11:52:28
コピペ乙

669:１３２人目の素数さん
07/07/04 13:24:49
＞この精巧な人間の体の仕組みが偶然に出来る筈がない。神が作ったとしか考えられない。
何億年にも及ぶ繁栄と淘汰の繰り返しによる最適化の結果が人間という生物。この意味では
確かに偶然ではない。しかし神の存在理由にはならない。

670:１３２人目の素数さん
07/07/04 14:13:52
そう言われてみると、人間なんて、
そうとうレベルが低いんだろうな。
「たかが1000ぐらいの演算、同時に処理すればいいじゃん」
とか言われたりして。

671:１３２人目の素数さん
07/07/05 12:57:24
>>669
　何億年にも及ぶ繁栄と淘汰の繰り返しによる最適化の結果と言うが、人間な
どの弱い者は恐竜、獣類に襲撃され、淘汰されて絶滅した筈で、なぜまた発生
し、人間だけが知能が高くなったのか。野性の中にはナマケモノ等の普通では
生き残れない物もいる。神の加護、調整が働いたとしか考えられない。サイコ
ロを何回も振れば進化して優良種が出来ると言うのは錯覚で、退化して劣悪種
が出来る場合もある。それが最強な獣類であればそれが地球を支配した筈であ
る。その獣類が知能が高くならなかったのはなぜか。ここにも神の意志が働い
ているのである。

672:１３２人目の素数さん
07/07/05 17:12:03
進化=優秀
退化=劣等だと思ってる場かはっけんｗｗｗｗｗｗｗ

673:１３２人目の素数さん
07/07/05 17:43:51
提唱者が名無しになったのか

674:１３２人目の素数さん
07/07/05 20:05:35
けっこうどこにでも貼り付けられてるコピペじゃん
何が楽しいのやら

675:１３２人目の素数さん
07/07/05 20:25:50
＞人間などの弱い者は恐竜、獣類に襲撃され、淘汰されて絶滅した筈で
弱い→絶滅するはず　というバカにもほどがある欠陥論理。

676:１３２人目の素数さん
07/07/06 13:01:43
自然数をペアノの公理なりで導入する。
整数全体を拡張して定義する。
-1X1を0X1=0と1X1=1と分配法則が自然に成り立つように定義すると-1X1=-1となる。
同様にして-1X-1=1を得る。ということがわたしの理解です。適当に修正すると
やっぱり「かん論」の諸定義と整数の掛け算の定義と自然数の公理から出ると思います。

677:１３２人目の素数さん
07/07/06 13:39:41
exp(2Pi*i)=1

678:１３２人目の素数さん
07/07/06 17:35:50
0=n+(-n)
-(-n)=0-(-n)=n+(-n)-(-n)
=n

679:１３２人目の素数さん
07/07/06 17:52:18
0=n+(-n)がうそ臭い

680:１３２人目の素数さん
07/07/06 17:57:33
>>679
じゃあ-nの定義は何だ？

681:１３２人目の素数さん
07/07/06 18:02:39
>>680
(´・ω・｀)？

682:680
07/07/06 18:14:14
だから俺は「n+m=0を満たすmをnの加法逆元といい、-nと書く」という定義より明らかじゃないのかって言ってるの。

683:１３２人目の素数さん
07/07/06 20:22:09
公理持ち出して思考停止じゃあまりに浅いだろ
ギャラリーはそんなことはわかってるんだし

684:１３２人目の素数さん
07/07/06 20:44:14
>>683
下手なつりだな。

685:１３２人目の素数さん
07/07/06 23:46:38
で？
(-1)(-1)＝1が定理になるような公理系の具体例はどうなったの？
(-1)(-1)＝1が定義になるような公理系の具体例はどうなったの？
両方とも作れるんだろ？早く作ってくれよ。＞提唱者

686:１３２人目の素数さん
07/07/07 04:55:42
(-1)×(-1) = 1
と
-(-1) = 1
は微妙にニュアンスが違うから、下のほうから説明を始めれば負×負＝正
も自然に感じるようにさせることができるかもしんなくない？

687:提唱者 ◆3j.9eex9S6
07/07/07 06:07:34
>>685
作れるよ。
でも自分の立場を明らかにしない奴とは遊んでやらない。

688:提唱者 ◆3j.9eex9S6
07/07/07 06:09:45
>>665
あっちの書き込みって何ですか？

689:１３２人目の素数さん
07/07/07 06:47:19
>>687
じゃあ、オマエは今後一切このスレで議論に参加することは出来ないな。消えろ。

690:提唱者 ◆3j.9eex9S6
07/07/07 07:43:41
＞議論に参加することは出来ないな。

出来ないでしょうね。
何故なら議論になっていないからです。
議論とはまず双方が自分の立場を明かしてから、次に自分の主張をぶつけ合う。
ところが自分の立場をひたすら隠している。
これでは議論のスタート地点にすら立っていないわけですから、
ここで話されている内容は「議論」ではないわけです。
「議論」ではないのだから「議論に参加すること」は論理的に不可能でしょう。

691:１３２人目の素数さん
07/07/07 07:46:12
>687
悪いことは言わない
ｽﾚﾘﾝｸ(math板)
で相手してもらいなさい。

692:１３２人目の素数さん
07/07/07 09:26:52
>>690
横からスマンけど、各々が好き勝手な公理系(立場)で論を展開しても
話が複雑になるだけだし、散々言われている通り、自分の立場を明確にしたところで、
相手が別の公理系で話をしていたら議論にならんじゃん。

君が
負×負＝正が定理になるような公理系、
負×負＝正が定義になるような公理系
どちらも作れるというのだから、
君がその2つの公理系を示して、
それぞれの公理系が妥当かどうかを議論するのが普通の展開だと思うが

693:１３２人目の素数さん
07/07/07 09:32:00
できない事を「できる」ということほど恥ずかしいことはないだろ。無理すんな。

694:１３２人目の素数さん
07/07/07 10:53:02
>>690
出来ないと分かっているのなら消えろ。

695:提唱者 ◆3j.9eex9S6
07/07/07 14:13:02
あなた達が過去、-3×-4＝12と計算した時、まさにその時、
(-1)(-1)=1を定理として使ったのか、定義として使ったのか、
まずはそこからです。

前提がわからない、言葉の定義がわからない、だから答えることは出来ない
などの言い逃れは出来ません。

何故なら-3×-4＝12と計算したのは「あなた自身」なのだから。

次ページ