😊出会いの泉😊

1-0.999・・・=zなので、2つの等しくない実数a,b（a≠b)を持ってきて｜a-b｜≧zとなります。これからも実数は連続でないですね。
また、実数は10進数ですから、0.321=3/10+2/100+1/1000=321/1000となります。いま、自然数部n桁、小数部n桁の正の実数a=Σai/(10^i) ｛ただし、aiは各桁の数、n≧i≧(-n)とする。｝とすると、aは有理数ですね。なぜなら、有理数は四則演算で閉じていますから、有理数ですね。また、z>0より、無限の有理数和ともなりませんね。したがって、実数は有理数であり、無理数は表せないのです。例えば、√2を表すことはできないのはz>0よりzより小さい数を表せないので、明らかですね。
もちろん、実数の10進数は、何進数にも変えられますが、同じことです。

今晩の「笑わない数学」は「虚数」だそうです。
2023年11月1日 NHK総合午後11:00〜11:30
お見逃しなく。

再放送は、
一回目11月4日（土）Eテレ午後９：３０～午後10:00
二回目11月8日（水）Eテレ午前０：５５～午前1:25
だそうです。

来週は「超越数」だそうです。
2023年11月8日 NHK総合午後11:00〜11:30

編集済み

＞1-0.999・・・=zなので、2つの等しくない実数a,b（a≠b)を持ってきて｜a-b｜≧zとなります。
ｚ(>0)はいわゆる無限小です。つまり、実数は、連続でなく、等間隔で並ぶので、量子化されているのです。しかも有理数です。
進数で表されるということはそういうことです。

昔の人は、進数ということを無視した理想的実数を考えていたのかもしれませんね。

追記：0.999・・・は9の倍数なので、1-0.999・・・=z=10^(-n)ですが、nがどれだけ多くなってもz=0にはなりません。ｚ＝０では1=0.999・・・なので、１と9の倍数が等しくなるので、矛盾するので、z≠0です。

編集済み

z=10^(-n)≠0ですから、ｎは有限になってしまいます。これは、10進数には末位があるということに矛盾しません。
つまり、10進数は有限小数であるということです。

追記：ではk（kは自然数とする)進数では、z=k^(-n)≠0ですから、同じｎではkによってzが変わってきます。zが同じならば、kが大きいとnは小さくなります。k=2ではｎは非常に大きくなります。この辺の問題は未解決です。

今晩の「笑わない数学」は「超越数」だそうです。
2023年11月8日 NHK総合午後11:00〜11:30
お見逃しなく。リンクを貼っておきます。

再放送は、
一回目11月11日（土）Eテレ午後９：３０～午後10:00
二回目11月15日（水）Eテレ午前０：５５～午前1:25
だそうです。

来週は「ケプラー予想」だそうです。

今晩の「笑わない数学」は「ケプラー予想」だそうです。
2023年11月15日 NHK総合午後11:00〜11:30
お見逃しなく。リンクを貼っておきます。

再放送は、
一回目11月18日（土）Eテレ午後９：３０～午後10:00
二回目11月22日（水）Eテレ午前０：５５～午前1:25
だそうです。

来週は「笑わない数学」の選の「フェルマーの最終定理」だそうです。つまり、シリーズ１の再放送だそうです。

今晩の「笑わない数学」は「フェルマーの最終定理」だそうです。
2023年11月22日 NHK総合午後11:00〜11:30
お見逃しなく。リンクを貼っておきます。

再放送は、
一回目11月25日（土）Eテレ午後９：３０～午後10:00
二回目11月29日（水）Eテレ午前０：５５～午前1:25
だそうです。

来週は「1+2+3+4+・・・・=-1/12」だそうです。リンクを貼っておきます。

2023年11月29日 NHK総合午後11:00〜11:30

今更ですが、
＞なぜ世界中の数学者が認めていることに《根拠がない》などとおっしゃるのか

アリストテレス以来約1000年「重いものは軽いものより早く落ちる」は、多くの学者で真実でありました。
しかし、ガリレオガリレイによって、「重いものも軽いものも同時に落ちる」とされました。しかし、認められませんでした。
そこで、ガリレオガリレイは、アリストテレス学派に、
重いものと軽いものを紐で結んで落としたら、「重いものは軽いものより早く落ちる」のであれば、軽いものはゆっくり落ちようとするので、重いものを引っ張り上げるので、重いものは幾分遅く落ちるだろう。
ところが、重いものと軽いものを紐で結んであるから、紐を十分短くすれば、重いものと軽いものを足した重さになるので、重いものだけより早く落ちるはずである。よって矛盾する。
と指摘したそうですが、反論はありませんでした。

さて、１と0.999・・・はなぜ選ばれたかというと、1=a、0.999・・・=bとすれば、実数は連続なので、(a+b)/2はあるはずである。ところが、それはいくつであるか貴方は言えますか？言えないでしょう？であるから、(a+b)/2でa=bならば、(a+b)/2が存在しないことを証明できます。それで、１と0.999・・・が選ばれたのです。
しかし、なぜ、それはいくつであるか貴方は言えないかというと、10進数だからです。これを私は10進数のトリックと呼んでいます。

編集済み

誰も反論しないのは、あなたが正しいからではありません。
あなたとは会話する価値がないと全員が判断しているだけです。

数学の話であればどんな小さなことでもサイト掲載してくれるここの管理人さんですら、もうあなたの主張をサイトに掲載せず、投稿を見なかったことにしています。
気づいてましたか？

DD++さま、こんにちは。

ご苦労様です。一応読んでいただけたようで、ありがとうございました。

私は、２元論ではありませんので、私だけが正しいとは思いません。たとえば、1+2+3+4+・・・=無限大でもあり、1+2+3+4+・・・=ー1/12でもあるわけです。数学には、いろんな見方や見解が並列しているようにも見えます。また、ギリシャの三大作図問題は、角の３等分は出来ないことは１９世紀に証明されていますが、それでも、角の３等分ができるとモーリーの定理が成り立つわけです。こういうところが数学のだいごみではないでしょうか？

私は、数学の教員でもなく、普通のおじさんですが、だからかもしれませんが、教員であると間違ったことは教えてはならないということで、非常に「いいね」の数つまり、多数派はどちらかということばかりになり、保守的になってはいないでしょうか？もっと、自由に挑戦させることが大事な教育だと思うのですが、まずいですかね・・・・・？

もちろん、わたしは、必ずしも、返事は求めていません。

編集済み
再編集済み
再再編集済み

＞なぜ世界中の数学者が認めていることに《根拠がない》などとおっしゃるのか

この文言に対しての説明はあいかわらずないようですね。今回も多弁を弄していらっしゃいますが。
物理の話でお茶を濁しておいでで。

もう一つ付言しておきますけれども。
モーリーの定理は
「コンパスと定木とで任意の角を３等分できる」などとは一言も言っていません。
なのに、モーリーの定理と、いわゆる角の３等分はできない、とを矛盾、対立していると思っているのは、あなたの誤認にすぎないのです。

「平面幾何の対象となる図形は、
コンパスと定木だけを用いて作図されたものだけである」なんてことはないのです。
コンパスと定木だけですますだけが対象なら、我々は正13角形について平面幾何で取り扱ってはいけないことになりますよ？

何なら分度器なり何なり使えばモーリーの定理の説明図は作れるんです。

この定理の説明図をごらんになって
あなたは
《やや！角が３等分されてるじゃないか！！》
などと数学の矛盾について大発見をしたような気になっていらっしゃるようですし、その旨を本掲示板でも複数回にわたり述べられていらっしゃる。

ただ単に、あなたの誤認、理解不足がこうした陳述の原因に過ぎないのです。

「1+2+3+4+・・・=ー1/12でもあるわけ」
というのも、あなたの勉強不足から、
「1+2+3+4+・・・=無限大」と対立している、矛盾している、あるいは両論がある、
などと感じているだけなんですよ。

見かけは似ていても、定式化がまるで異なるのですよ？
他人のそら似をもって、このひとたちは双子だ、などと述べていらっしゃる、そういうことなんです。

とにもかくにもはちべえさんは、
数学の概念を捻じ曲げて理解してらっしゃる。
頭のサキッチョでわかったつもりでも、
なにもかも腹に落ちていらっしゃらない。

ご自身の浅薄な理解が届かないと、
世界が間違っているせいだと思い込む。
自信過剰に過ぎます。

＞なぜ世界中の数学者が認めていることに《根拠がない》などとおっしゃるのか

二度と《根拠がない》と仰っしゃらないようにお願いしますよ。

はちべえさんこそ、以前に、根拠もないのに
DD++さんに間違っていると言い放ち
どこが？と聞かれても
まともに回答なさいませんでした。
不誠実さには呆れ果てるばかりです。

Dengan kesaktian Indukmuさま、おはようございます。

たくさんのご指摘ありがとうございました。

＞私は、２元論ではありませんので、私だけが正しいとは思いません。
なのです。

さて、１＋２＋３＋４＋・・・は、例えが悪かったかもしれませんが、アインシュタインの相対性理論により、私達の空間は、曲がっているので、非ユークリッド幾何学で暮らしています。GPSもそれで、アインシュタインの相対性理論により、ずれるので、補正しているそうです。

ですから、数学には、ユークリッド幾何学と非ユークリッド幾何学が同時にあります。

＞なぜ世界中の数学者が認めていることに《根拠がない》などとおっしゃるのか
は、多数派が真実であるという教員としての数学者の陥りやすい例を示すために、ガリレオガリレイを持ち出したのです。
私としては、Dengan kesaktian Indukmuさまを批難しているわけではありません。
また、新しい発見がないと数学は進歩できないのではないでしょうか？

また、１＋２＋３＋４＋・・・＝-1/12は、量子力学で、役に立っているようです。

現代数学の父と呼ばれるヒルベルトが、数学の無矛盾性の証明(完全な数学の確立)を目指してプロジェクトを立ち上げたそうですが、その一員であったクルトゲーデルの不完全性定理の発見で、ヒルベルトの野望は崩れ去るのだそうです。

ユークリッド幾何学と
非ユークリッド幾何学と。

数学的真理がふたつあると思っているんですか？
それは誤認です。

公理系をかくかくしかじかに定めよう、これを公理系Aとする。演繹をする。
すると、数学の体系αがひとつ出てくる。

公理系をかくかくしかじかと定めよう、これを公理系Bとする。演繹をする。
すると、数学の体系βがひとつ出てくる。

両者まとめてひとつの真理なのです。数学的な真理がふたつあるわけではありません。

はちべえさんがおっしゃるような、
二つの数学のなかから一つの数学を真理とみとめることを多数決で決められるとか、そんなことは数学の世界ではおきていません。
あなたは少数派で、多数派から弾圧されている、【それでも私は正しい、世界の数学者が間違っている】などというのは、はちべえさんの個人的な幻想です。

どうしてはちべえさんが、このような誤認に至ったのか、私には想像もつきません。

なぜ世界中の数学者が認めていることに、はちべえさんは《根拠がない》などとおっしゃるのか、私には想像もつきません。
あるいは単にはちべえさん発の幻想に囚われているのでは？自縄自縛ですよ。

あとひとつ。
ゲーデルについて語るのはあなたには早すぎます。
おおかたテレビやネットなどからエエカゲンな評論を読み込んで自分勝手な解釈をしているのでしょうけれども。
命題「ＡならばＢ」の否定。
これについてはちべえさんは間違って理解しておいでであることは既に過去の掲示板記事で露呈しています。
中学生でもわかる論理の基本を理解していないのに、【論理について論理する】《数学について数学する》、メタ数学がわかるはすがありません。
世間では、ゲーデルにより数学は無力化された、との妄想が流布されていますし、はちべえさんもそうしたデマに毒されています。
「笑わない数学」という番組が放送されたときに、ツイッター界隈の数学の研究者たちのつぶやきは強烈でしたよ。《わからないなら番組作るな》という趣旨で。

Dengan kesaktian Indukmuさま、たくさんのご指摘ありがとうございます。

＞世間では、ゲーデルにより数学は無力化された

ヒルベルトは、不完全性定理も含めて、現代数学を組み上げたのではないでしょうか？
ヒルベルトが、数学は無矛盾であるかという命題を解くために、ヒルベルトプログラムを立ち上げたのですから、その成果は、後世の人は、ヒルベルトの業績の一部であると思うと思います。
また、ゲーデルは「ヒルベルトプログラムを拡張すればよい」と提案していたそうですし、条件付きで数学は無矛盾であるという成果もあるそうです。
ゲーデルによって、ヒルベルトプログラムは否定されたわけでもなく、現在も続けられているそうです。
Wikipediaのリンクを貼っておきます。

＞数学は無力化された　とは思いません。
第一物理学では数学を基本としてますし、ケプラー予想も多次元に拡張され、1+2+3+4・・・=-1/12が役に立ったように、物理学にも寄与しているのでしょう。

編集済み　11/28

話がズレていますね。
会話を打ち切るしかありません。

Dengan kesaktian Indukmuさま、こんにちは。

＞話がズレていますね。
会話を打ち切るしかありません。

すみません。

なお、折り紙の技術を使えば、任意の角の3等分ができるそうです。これは、割と最近の発見なので、モーリーがモーリーの定理を発見したときは、任意の角の3等分はできないと証明されたころです。

編集済み
再編集済み
再再編集済み
再再再編集済み 11/28

「モーリーの定理の説明図を書くときに、
コンパスと定木だけで描く必要はない。」
というのが議論の本線です。八兵衛さんの誤解はここにあるからです。

例示として私は、【例えば】分度器が使える場合もあるでしょう？　と示唆しました。

分度器を使うのがいやならば
例えば、ある種の都合の良い角度ならば
ネウシス作図を使えばよろしいですし、
折り紙で角の３等分をする方法も明らかになっていますし
それでもいやならば、
下記のページに素敵な方法が書いてあります。

http://shochandas.xsrv.jp/angle.htm

はちべえさんがおっしゃっている
「分度器では任意の角度を３等分できないでは無いか！！」
というのは、《実は》
今回のこの投稿の冒頭に掲げた
議論の本筋から、大きく外れたものなのです。
私にしてみれば【だからなに？】
と放置してもよかったのですがね。

議論の筋がわからないで頓珍漢な応答を返していらっしゃるから、私は嫌なんですよ、あなたと問答をするのが。

わざと議論の筋をどんどんはずすのは、
世にいうトンデモさんの遣り口なんですよ、その自覚がありますか？
単に言い負かしたいだけなのでは？屁理屈でもなんでも、最後に一言言った者が勝ちだと思ってる？

話にならないんですよ、本当に。

モーリーの定理について
はちべえさんが誤解をしていたことを認めてくださいね。

数学的な真理がふたつあり
世界は多数派だが、
八兵衛さんは少数派、
少数派だって正しい！！！
むしろ多数派が間違っている！！！！
多数派はまともな根拠を示していない！！！

というのは全部ダウトです。

Dengan kesaktian Indukmuさま、こんばんは。

たくさんのご指摘ありがとうございました。