0.99999……は１ではない　その６

1 名前：哀れな素人 [2020/03/11(水) 12:31:26 ID:uK7F0WtX.net] 簡単な証明１ １÷３は永遠に割り切れない。 ゆえに1/3≠0.33333…… ゆえに1≠0.99999…… 簡単な証明２ 0.99999……＝0.9＋0.09＋0.009＋…… 0.9＋0.09＋0.009＋……は１にはならないから、 0.99999……も１にはならない。 ゆえに0.99999……≠1 もっと深いことが知りたい人は 「相対性理論はペテンである／無限小数は数ではない」参照 499 名前：１３２人目の素数さん [2020/03/15(日) 15:21:03.93 ID:QxgAuOH0.net] 全国民を対象としたアンケートをすることができる 全国民を対象としたアンケートをした これは違うことだと思うんですよ 数えられる、は前者で、数えきれる、は後者に相当すると思います 500 名前：１３２人目の素数さん mailto:sage [2020/03/15(日) 15:32:19.20 ID:0Y5WygXx.net] 直観というか どんなに短い時間間隔でも1つの行動が行える、という現実にはあり得ない仮定が 呑み込めないだけじゃないの 501 名前：１３２人目の素数さん [2020/03/15(日) 15:39:31.97 ID:QxgAuOH0.net] あり得ない仮定をすることが、食べきれるか、という問題を考えるのにふさわしいのかという話ですね 502 名前：１３２人目の素数さん [2020/03/15(日) 15:44:01.57 ID:6WUtCAe5.net] それを言ったらケーキの例えの方がおかしいよｗ 503 名前：１３２人目の素数さん [2020/03/15(日) 15:45:57.55 ID:QxgAuOH0.net] ところで、今教科書確認してきましたが、なんと安達さんの主張が”部分的には”あっていることが判明しました 無限級数とは、無限数列{a_n}の各項を＋で繋いだa1+a_2+...+a_n+....で定義されるものであり、その和はS_n=a_1+....+a_nの部分和の極限で定義される Σ[n=1→∞] a_nはあくまで無限級数を表す記号であり、その和と最初の段階では区別しています そのあとで、無限級数の和も、無限級数を表す同じ記号Σ[n=1→∞] a_nで表す、とも書かれてあります つまり、安達さんの主張は結局は間違っています 無限級数の和とは、やはり部分和の極限のことなので、数学において定義されるΣ[n=1→∞] a_nは無限級数の和のことなのです 504 名前：１３２人目の素数さん [2020/03/15(日) 15:46:13.72 ID:QxgAuOH0.net] >>484 なんでですか？ 505 名前：１３２人目の素数さん [2020/03/15(日) 15:47:05.85 ID:QxgAuOH0.net] あと、広辞苑によると、無限級数とは、項が無限にある級数のことだそうです 506 名前：１３２人目の素数さん [2020/03/15(日) 15:48:38.77 ID:6WUtCAe5.net] >>486 ケーキで例えたからには１ピース食べる時間はどれほど小さくてもよいことにしないとｗ え？まさか物理的・生理的な問いなの？ｗ 507 名前：１３２人目の素数さん [2020/03/15(日) 15:50:44.65 ID:QxgAuOH0.net] >>488 意味不明なんですけど 508 名前：１３２人目の素数さん mailto:sage [2020/03/15(日) 16:15:48.21 ID:0Y5WygXx.net] >>483 それは違う気がする ケーキの問題は あなたが問題にしている有限の時間で無限の操作を終了できるかと 無限の操作を終了した後にその結果がどうなっているか の2つの問題であって >>286や>>355のように、1.1秒の時点で数えられていない自然数があるかを考えると、それはないらしいわけで じゃあ1.1秒の時点でいまだ食べられていないかけらが残っているのかどうか 残っている、というのがケーキ問題における>>1さんの主張でしょう 509 名前：１３２人目の素数さん [2020/03/15(日) 16:16:45.82 ID:Ut8tMuRl.net] >>490 ケーキを食べつくすことができるのか、を時間の問題にすり替えることはふさわしいのか、も気になりますね 510 名前：１３２人目の素数さん mailto:sage [2020/03/15(日) 16:25:02.90 ID:FpzGl4Hc.net] >>485 「無限級数の和」ではなくて「無限数列の和」を無限級数というのではないかい？ そして無限数列の和を、有限和の極限として定義してるのではないかい？ 511 名前：哀れな素人 [2020/03/15(日) 16:36:24.05 ID:sVEhBxQv.net] 質問少年は>>468を再読せよ(笑 >>470 同じことだバカ(笑 お前はサル石であることが確定（笑 >>471 ｴﾓよ、サル石はID:6WUtCAe5だ（笑 ID:0Y5WygXx これは何となく例のお姉さんのような気がするが、 違うかもしれない（笑 512 名前：１３２人目の素数さん [2020/03/15(日) 16:41:49.18 ID:Ut8tMuRl.net] >>492 無限級数は、a1+...+an+....だと、ただ書いてあるだけなんですよ 無 513 名前：定義で [] [ここ壊れてます] 514 名前：１３２人目の素数さん [2020/03/15(日) 16:43:23.28 ID:K2thIBYF.net] 無限級数の値は有限和の極限のことです って。 515 名前：１３２人目の素数さん [2020/03/15(日) 16:46:14.16 ID:K2thIBYF.net] 「無限級数」という言葉は 「無限項の和」を表します ですって。。。 516 名前：１３２人目の素数さん [2020/03/15(日) 16:53:23.23 ID:K2thIBYF.net] >>493 え、...安達さまの男の勘ですか...？ ｴﾓｯﾋﾟはめ〜さまｽﾄｰｶｰをもう２か月近くも続けてるんですよ？ ストーカーの勘ですよ？ ─　いつもいつも ◎◎み”て”る”ん”た”せ“◎◎ ─ ですよ？ 517 名前：哀れな素人 [2020/03/15(日) 16:56:52.76 ID:sVEhBxQv.net] 無限級数は和を持たないのである（笑 だから、仕方なく、便宜的に、 無限級数の極限値を、無限級数の和と定義しているのである(笑 そして無限級数の極限値を求める方法として、 その第ｎ項までの部分和を求めて、 ｎ→∞のときの極限値を取る、 という方法を採用しているのである（笑 なぜならそれより他に方法がないからだ（笑 >>496 無限級数は無限項の和ではない（笑 サル石はID:6WUtCAe5だ（笑 518 名前：１３２人目の素数さん [2020/03/15(日) 16:59:15.16 ID:Ut8tMuRl.net] >>498 あと、広辞苑によると、無限級数とは、項が無限にある級数のことだそうです 519 名前：哀れな素人 [2020/03/15(日) 17:02:35.06 ID:sVEhBxQv.net] >>499 嘘つけ(笑 広辞苑　無限級数 項の数が限りなく多い級数 実にシンプルで正しい定義だ(笑 520 名前：１３２人目の素数さん [2020/03/15(日) 17:07:42.75 ID:Ut8tMuRl.net] >>500 同じことだと思いますけど とりあえず、教科書の記述を信じたとすると、安達さんの1/2+1/4+...=1は間違っている、という主張は間違えになりますね 1/2+1/4+....は、無限級数そのものも表しますし、さらには無限級数の和も表す記号なのですから 521 名前：１３２人目の素数さん [2020/03/15(日) 17:11:32.95 ID:Eo7f51FR.net] >>468 ＞無限級数の極限値を和と定義している で、その定義は間違いなんでしょ？なんで間違いなの？ 522 名前：哀れな素人 [2020/03/15(日) 17:13:59.15 ID:sVEhBxQv.net] >>501 何にも分っていないアホだな(笑 何でお前はそんなにアホなのか(笑 >>498を読み返せ(笑 意味が分るまで読み返せ(笑 とにかくお前は国語力が壊滅的にダメだ(笑 523 名前：１３２人目の素数さん [2020/03/15(日) 17:15:33.47 ID:Ut8tMuRl.net] >>503 485 名前:１３２人目の素数さん :2020/03/15(日) 15:45:57.55 ID:QxgAuOH0 ところで、今教科書確認してきましたが、なんと安達さんの主張が”部分的には”あっていることが判明しました 無限級数とは、無限数列{a_n}の各項を＋で繋いだa1+a_2+...+a_n+....で定義されるものであり、その和はS_n=a_1+....+a_nの部分和の極限で定義される Σ[n=1→∞] a_nはあくまで無限級数を表す記号であり、その和と最初の段階では区別しています そのあとで、無限級数の和も、無限級数を表す同じ記号Σ[n=1→∞] a_nで表す、とも書かれてあります つまり、安達さんの主張は結局は間違っています 無限級数の和とは、やはり部分和の極限のことなので、数学において定義されるΣ[n=1→∞] a_nは無限級数の和のことなのです 安達さんも読んでくださいね ＞そのあとで、無限級数の和も、無限級数を表す同じ記号Σ[n=1→∞] a_nで表す、とも書かれてあります 524 名前：哀れな素人 [2020/03/15(日) 17:17:54.24 ID:sVEhBxQv.net] >>502 お前もアホだな(笑 僕はどこにもそれが間違いだとは書いていない(笑 無限級数は和を持たないから、仕方なく、便宜的に、 無限級数の極限値を、無限級数の和と定義しているのである(笑 525 名前：１３２人目の素数さん [2020/03/15(日) 17:20:48.18 ID:Eo7f51FR.net] >>505 極限での定義が間違いではないなら、1/2+1/4+....=1で正しいよ 526 名前：１３２人目の素数さん [2020/03/15(日) 17:21:18.52 ID:Ut8tMuRl.net] >>505 定義したんだから、無限級数は和をもってますよね 527 名前：１３２人目の素数さん mailto:sage [2020/03/15(日) 17:21:43.53 ID:FpzGl4Hc.net] >>497 め〜さまって誰？ 528 名前：哀れな素人 [2020/03/15(日) 17:22:49.17 ID:sVEhBxQv.net] >>504 何度言えば分るのか、お前は(笑 無限級数の和とは、その無限級数の極限値のことなのである(笑 無限級数の和＝limΣ[n=1→∞] a_nのことだ(笑 おそらく本にはそのように書いてあるはずだが、 お前は読み違えているのだ(笑 529 名前：１３２人目の素数さん [2020/03/15(日) 17:24:41.98 ID:Ut8tMuRl.net] >>509 いいえ 無限級数の和は、部分和の極限ですよ 530 名前：哀れな素人 [2020/03/15(日) 17:25:58.86 ID:sVEhBxQv.net] >>506-507 お前らのアホさに本当にうんざりする(笑 無限級数は和を持たないから、仕方なく、便宜的に、 無限級数の極限値を、無限級数の和と定義しているのである(笑 何度言えば分るのか(笑 もうこれで数回同じことを書いたのに、お前らはアホだから理解しない(笑 531 名前：哀れな素人 [2020/03/15(日) 17:28:19.15 ID:sVEhBxQv.net] >>510 バカ(笑 僕はちゃんと無限級数の和は部分和の極限だと書いているではないか(笑 何でお前はそんなに文章が読めないのか(笑 532 名前：１３２人目の素数さん [2020/03/15(日) 17:29:50.07 ID:Eo7f51FR.net] >>511 だから、仕方なく便宜的に「定義した」のだから、1/2+1/4+....=1だよ 533 名前：１３２人目の素数さん [2020/03/15(日) 17:31:37.26 ID:Ut8tMuRl.net] >>512 さっきは、無限級数の極限だ、と書かれていましたね 無限級数の和は部分和の極限 ＞無限級数の和も、無限級数を表す同じ記号Σ[n=1→∞] a_nで表す、とも書かれてあります したがって、1/2+1/4+....は、無限級数と考えることができますが、その和を表すとも考えられるわけで、=1としても何も問題がないわけです 534 名前：１３２人目の素数さん [2020/03/15(日) 17:31:42.91 ID:ODu88qF/.net] >>508 ...間違えちゃった..? ..ｺﾞﾒﾝﾅｻｨ..((..*) 535 名前：哀れな素人 [2020/03/15(日) 17:31:43.76 ID:sVEhBxQv.net] もうアホすぎて話す気もしない(笑 今夕はここまで(笑 536 名前：１３２人目の素数さん mailto:sage [2020/03/15(日) 17:31:48.82 ID:FpzGl4Hc.net] >>509 ＞無限級数の和＝limΣ[n=1→∞] a_nのことだ これ、定義になってないね 無限項の和の定義というならこう書かないと Σ[n=1→∞]a_n=lim[n=1→∞]Σ[m=1~n] a_m 537 名前：１３２人目の素数さん [2020/03/15(日) 17:35:55.78 ID:ODu88qF/.net] 　　　　　　　　　。　゜(。ﾉД`)゜ 538 名前：哀れな素人 [2020/03/15(日) 17:36:23.60 ID:sVEhBxQv.net] >>517 Σ[n=1→∞]a_n=lim[n=1→∞]Σ[m=1~n] a_m 何でこんな変な式が成り立つの 539 名前：か、バカかお前は(笑 アホすぎて話す気もしない(笑 [] [ここ壊れてます] 540 名前：１３２人目の素数さん [2020/03/15(日) 17:37:02.24 ID:ODu88qF/.net] 　　　　　　　　　　　 　　　　　　　　　゜。＊。　゜　＊゜ 541 名前：１３２人目の素数さん mailto:sage [2020/03/15(日) 17:37:45.32 ID:FpzGl4Hc.net] 泣くなって いい歌聴かせてやる https://www.youtube.com/watch?v=k8j3qGFcSrI 542 名前：１３２人目の素数さん [2020/03/15(日) 17:37:49.61 ID:Ut8tMuRl.net] >>519 Σ[n=1→∞]a_n=lim[n→∞]Σ[m=1~n] a_m タイポだと思いますけどね こうですかね 543 名前：１３２人目の素数さん mailto:sage [2020/03/15(日) 17:39:11.94 ID:FpzGl4Hc.net] これもおすすめ https://www.youtube.com/watch?v=lPe2p5FlWrw 544 名前：１３２人目の素数さん mailto:sage [2020/03/15(日) 17:42:07.30 ID:FpzGl4Hc.net] これは泣ける https://www.youtube.com/watch?v=jGN36wU0_Kk 545 名前：１３２人目の素数さん mailto:sage [2020/03/15(日) 17:46:58.36 ID:FpzGl4Hc.net] これから、私のことは”父兄”と呼ぶように ああ、さくら学院 546 名前：１３２人目の素数さん [2020/03/15(日) 17:48:29.89 ID:Eo7f51FR.net] >>516 仕方なくだとか、定義した人の心情など議論に無関係だよ 定義を間違いだと言い張らないと即死なのに、あっさり認めて即死してバカみたい 547 名前：１３２人目の素数さん [2020/03/15(日) 17:50:46.56 ID:vK0j7+qN.net] >>521>>523-524｡((´Д⊂｡))゜｡゜ 　　　　　 ..ｲﾅｸﾅｯﾁｬｯﾀｶﾄ思ｯﾀ... 548 名前：１３２人目の素数さん mailto:sage [2020/03/15(日) 17:53:41.78 ID:0Y5WygXx.net] みんな大好き広辞苑(第五版)の「級数」 数列a1,a2,…,an,…に対し、 数列a1,a1+a2,…,a1+a2+…+an,…をもとの数列から作られた級数という。 a1+a2+…+an+…とも書き表す。 (中略) 項数が無限のものを無限級数という。 この説明に従うと、級数の和とは (a1)+(a1+a2)+…+(a1+a2+…+an)+… もしくは (a1+a2+…+an+…)+(a1+a2+…+an+…) のようなものということになる。 549 名前：１３２人目の素数さん [2020/03/15(日) 17:53:42.39 ID:vK0j7+qN.net] >>525 ﾊﾟﾋﾟｰは永久欠番だからﾑﾘ。 ｴﾓｯﾋﾟひとりっ子だから兄は違和感でﾑﾘ。 Ｄｉｎだよ。Ｄiｎしか空きが無いよ。 Ｄiｎだから！ 550 名前：１３２人目の素数さん mailto:sage [2020/03/15(日) 17:57:53.45 ID:FpzGl4Hc.net] >>529 父兄というのはリアルな意味ではなく さくら学院の支援者のことを指します ちなみに最近私が注目してるさくら学院の生徒はこの子です https://www.nicovideo.jp/watch/sm36205862 551 名前：１３２人目の素数さん [2020/03/15(日) 18:00:29.15 ID:vK0j7+qN.net] ﾛﾘｺﾝ円光ﾁﾞﾁﾞｨが悪化してる。。。 　　 　　　　゜。＊゜　。゜(゜⊃Д<)゜。 552 名前：１３２人目の素数さん [2020/03/15(日) 18:06:01 ID:vK0j7+qN.net] >>530 またまた微妙。。。 🌸 '`🌸,､('∀`)🎶'`🌺,､( ´∀`)'` ,､🌸🐞🌸('∀`)'`,､( ´∀`)🌸 🌸🍶✨('∀`)🎶'`,､🌺'`,､🌸 ('∀`) 🌸'`,､( ´∀`)'`🌸,､ 🌸🍶✨( ´∀`)💞('∀`)🌸🍶✨'`,､ 553 名前：１３２人目の素数さん [2020/03/15(日) 18:09:56 ID:vK0j7+qN.net] 愛変わらずＢ専でよろしぃ！ 　∧∧ ('🐽`)Ｍ'`🌸,､( ´∀`)'`🌺,､ 🌸🌸( ´∀`)('∀`)'`,､🌸🌸 554 名前：１３２人目の素数さん [2020/03/15(日) 18:12:44 ID:vK0j7+qN.net] ね？安達さま。 ｴﾓｯﾋﾟ＊ｽﾄｰｶｰの勘＊が冴えてるでしょ？ ( *´艸)ﾌﾟﾌﾟｯ! 555 名前：１３２人目の素数さん [2020/03/15(日) 18:15:43 ID:vK0j7+qN.net] >>525💞ε`)ﾁｭｯ! 今日のｾｸﾊﾗ終了〜❗ﾁﾞﾁﾞｨｯﾁｬﾏお休みなさ〜い💞 556 名前：１３２人目の素数さん [2020/03/15(日) 18:25:17 ID:6WUtCAe5.net] 「極限で定義すると〇〇〇という不都合が生ずる」とかなら意味あるが、安達の主張はまったくつまらない もう安達はスレ立てに専念しろよ 557 名前：１３２人目の素数さん [2020/03/15(日) 18:37:30.64 ID:2+WgRh7C.net] >>530 ﾁﾞﾁﾞｨｯﾁｬﾏ！ｴﾓｯﾋﾟ今 　👑マリー＊アントワネット🏰 　　🌹秘密のベルサイユ🌹 って番組観てる🌹(´艸｀*) 558 名前：１３２人目の素数さん [2020/03/15(日) 18:42:52.32 ID:2+WgRh7C.net] マリー＊アントワネットさまが 産気づいてる！w 559 名前：１３２人目の素数さん [2020/03/15(日) 18:45:06.89 ID:2+WgRh7C.net] その前に不倫で浮気づいてたw 560 名前：１３２人目の素数さん [2020/03/15(日) 18:53:05.67 ID:2+WgRh7C.net] >>521 YUKIちゃんの曲は好き💗 。。。ﾁﾞﾁﾞｨｯﾁｬﾏ、、、 🍭ﾛﾘﾛﾘ🍭重症じゃね...？ 561 名前：１３２人目の素数さん [2020/03/15(日) 18:58:35.27 ID:2+WgRh7C.net] 。。。これも。。。ﾋﾃﾞｪ... 　　　　↓ 　　　>>523🔫»タイーホ！ 562 名前：１３２人目の素数さん [2020/03/15(日) 19:02:19.10 ID:2+WgRh7C.net] お巡りさんｺｲﾂです 　　　　 ↓ >>521>>523-524🔫» ｾｸﾊﾗ終了してる場合じゃなかった。 🔫ﾀｨｰﾎはよ！だったw(*´艸) 563 名前：１３２人目の素数さん [2020/03/15(日) 19:03:22.99 ID:2+WgRh7C.net] スレが死に絶えた！ｺﾞﾒﾝﾅｻ〰ｨ! =３ ﾋﾟｭｯ! 564 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2020/03/15(日) 20:26:50.47 ID:OT+7dZla.net] 心配するな、スレは死んでない 楽しく見ているよ がんばってください（＾＾； 565 名前：１３２人目の素数さん [2020/03/15(日) 21:19:40.84 ID:2+WgRh7C.net] 主様。。。 ありがとうございます。。(´Д⊂。)゜ 嬉しくてつぃﾊｼｬｷﾞ過ぎちゃって。。 ﾏﾀﾔｯﾁｬｯﾀ.. 安達さま。。。 みなさま、お騒がせして申し訳ありませんでした。。。 お休みなさい。。良い夢を。。🐏🐑🐑 自称父兄ｯﾁｬﾏ💗ｵﾔｽﾐﾅｻ〰ｨ.. 566 名前：１３２人目の素数さん mailto:sage [2020/03/15(日) 21:25:26.96 ID:FpzGl4Hc.net] >>545 R.I.P 安らかに眠れ 絵文字も、耄碌爺の安達も、ホラ吹きセタも 567 名前：哀れな素人 [2020/03/15(日) 21:41:11.21 ID:sVEhBxQv.net] >>526>>536 バカが二人（笑 >>534 なるほどID:FpzGl4Hcはサル石だったか（笑 しかしID:6WUtCAe5もサル石だろう（笑 なにしろあいつは少なくとも二つのIDを使うから（笑 50歳過ぎてベビーメタルの大ファンというバカ男だ（笑 知的にも精神的にも不良中高生のまま（笑 ケーキを食べ尽くすことができると豪語しているバカ男（笑 そんなバカ男がパリ高等師範学校卒とか 東大卒と自称しているのだ（笑 568 名前：１３２人目の素数さん [2020/03/15(日) 21:48:42.09 ID:Ut8tMuRl.net] >>547 無限級数の和は部分和の極限 ＞無限級数の和も、無限級数を表す同じ記号Σ[n=1→∞] a_nで表す、とも書かれてあります したがって、1/2+1/4+....は、無限級数と考えることができますが、その和を表すとも考えられるわけで、=1としても何も問題がないわけです これで良いですよね？ 569 名前：１３２人目の素数さん [2020/03/15(日) 21:54:23.71 ID:6WUtCAe5.net] >>547 >ケーキを食べ尽くすことができると豪語しているバカ男（笑 安達はなんで食べ尽くせないと思ってるの？ 570 名前：１３２人目の素数さん [2020/03/15(日) 21:57:41.36 ID:2+WgRh7C.net] 　　　゜。＊゜　。　゜(。⊃д<)゜ 571 名前：１３２人目の素数さん [2020/03/15(日) 21:58:30.85 ID:6WUtCAe5.net] 予想回答 食べ尽くせると思うなら実際にやってみればいいのである(笑 普通の人は食べ尽くせないと分かっているのだ。バカかお前は(笑 572 名前：哀れな素人 [2020/03/15(日) 21:59:10.38 ID:sVEhBxQv.net] >>548 しつこいアホ（笑 >>498か>>509でも読めバカ（笑 >>549 お前は何で食べ尽くせると思っているのか（笑 573 名前：１３２人目の素数さん [2020/03/15(日) 21:59:21.96 ID:Eo7f51FR.net] >>547 仕方なく無限和を極限で定義したって認めたのはお前だろ>>505 仕方なくだとか、定義した人の心情など議論に無関係だよ 定義を間違いだと言い張らないと即死なのに、あっさり認めて即死してバカみたい 574 名前：１３２人目の素数さん [2020/03/15(日) 22:00:42.85 ID:2+WgRh7C.net] 　　　　　　　　　　　　ｻﾖﾅﾗ. 575 名前：哀れな素人 [2020/03/15(日) 22:04:14.49 ID:sVEhBxQv.net] >>553 何で定義を間違いだと言い張らないと即死なのか（笑 定義でも1/2＋1/4＋1/8＋……は１にはならないと定義しているのに（笑 バカか、お前は（笑 こうしてアホが次々湧いてくる（笑 576 名前：１３２人目の素数さん [2020/03/15(日) 22:05:56.46 ID:6WUtCAe5.net] >>552 >>266 577 名前：哀れな素人 [2020/03/15(日) 22:07:48.24 ID:sVEhBxQv.net] ↑真性のアホ（笑 まさにアホの巣（笑 578 名前：１３２人目の素数さん [2020/03/15(日) 22:10:14.44 ID:6WUtCAe5.net] >>557 おまえの質問には答えたんだからこっちの質問にも答えろよｗ なんでおまえは食べ尽くせないと思ってるんだ？ また逃げるのか？ 579 名前：哀れな素人 [2020/03/15(日) 22:12:24.97 ID:sVEhBxQv.net] 食べ尽くせると思うなら実際にやってみればいいのである(笑 普通の人は食べ尽くせないと分かっているのだ。バカかお前は(笑 580 名前：１３２人目の素数さん [2020/03/15(日) 22:13:26.75 ID:6WUtCAe5.net] はい、また逃げた〜 ってそれ>>551やないかいｗ 581 名前：哀れな素人 [2020/03/15(日) 22:14:34.13 ID:sVEhBxQv.net] お前のようなアホに答える必要はないのだバカ（笑 582 名前：１３２人目の素数さん [2020/03/15(日) 22:19:30.38 ID:Eo7f51FR.net] >>555 定義により1/2＋1/4＋1/8＋……=１だぞ テメーが認めた定義>>505だろうが低脳 583 名前：１３２人目の素数さん [2020/03/15(日) 22:19:52.44 ID:6WUtCAe5.net] はい、逃げました〜ｗ 安達は逃げてばっかりだな そんなに逃げるなら雑用係に降格だ、安達はスレ立て以外禁止な 584 名前：１３２人目の素数さん [2020/03/15(日) 22:22:13.95 ID:Ut8tMuRl.net] >>555 ＞そのあとで、無限級数の和も、無限級数を表す同じ記号Σ[n=1→∞] a_nで表す、とも書かれてあります …は、無限級数だけでなく、無限級数の和も表すんですよ？ 585 名前：哀れな素人 [2020/03/15(日) 22:24:10.09 ID:sVEhBxQv.net] >>562 バカ（笑 1/2＋1/4＋1/8＋……は１にはならないから、 仕方なく、便宜的に、 1/2＋1/4＋1/8＋……の極限値１を、 1/2＋1/4＋1/8＋……の和と定義しているのである（笑 質問少年と同レベルの文章が読めないバカ（笑 586 名前：哀れな素人 [2020/03/15(日) 22:28:11.53 ID:sVEhBxQv.net] >>564 しつこいキチガイ 無限級数はΣ[n=1→∞] a_n 無限級数の和はlimΣ[n=1→∞] a_n だ、バカ 教科書を再読してみろ 何種類もの教科書を読んでみろ そもそも無限級数の和は極限で定義する、といったのはお前だろがアホ 587 名前：１３２人目の素数さん [2020/03/15(日) 22:28:30.12 ID:Eo7f51FR.net] >>565 1/2＋1/4＋1/8＋……は無限級数の和だよ ゆえに1/2＋1/4＋1/8＋……=1だ 588 名前：１３２人目の素数さん [2020/03/15(日) 22:31:37.40 ID:Ut8tMuRl.net] >>566 無限級数は、無限数列を足し算で結ぶという意味です 無限級数の和というのは、部分和の極限です 無限級数も無限級数の和も同じ記号で表します Σ[n=1→∞] a_n 589 名前：哀れな素人 [2020/03/15(日) 22:32:13.36 ID:sVEhBxQv.net] >>567 >>565を読め白痴　アホ　まぬけ　バカ 590 名前：１３２人目の素数さん [2020/03/15(日) 22:33:08.81 ID:Ut8tMuRl.net] >>569 1/2＋1/4＋1/8＋……という無限級数も、その和も同じ記号1/2＋1/4＋1/8＋…で表しますよ 591 名前：哀れな素人 [2020/03/15(日) 22:34:21.41 ID:sVEhBxQv.net] >>568 真性のドアホ（笑 極限はlimで表すことも知らない真性のアホ（笑 592 名前：１３２人目の素数さん [2020/03/15(日) 22:35:56.23 ID:Ut8tMuRl.net] >>571 Σ[n=1→∞] a_n=lim[n→∞] Σ[k=1→n] a_k 添字が左辺と右辺でちょっと違っています よーーく見て確認してください 593 名前：１３２人目の素数さん [2020/03/15(日) 22:36:47.45 ID:Eo7f51FR.net] >>569 バカの脳内定義はいらない 594 名前：１３２人目の素数さん [2020/03/15(日) 22:37:28.03 ID:6WUtCAe5.net] >>565 便宜的にってどんな便宜なんですか？ 595 名前：哀れな素人 [2020/03/15(日) 22:40:49.64 ID:sVEhBxQv.net] >>570 お前のアホさに心底うんざりする（笑 1/2＋1/4＋1/8＋…は和を現わす記号ではない（笑 1/2＋1/4＋1/8＋…の和を現わす記号は lim（1/2＋1/4＋1/8＋…）だ（笑 limΣ[n=1→∞] a_n だ（笑 >>572 だからその式はおかしいと言ってるだろアホ 596 名前：哀れな素人 [2020/03/15(日) 22:47:38.22 ID:sVEhBxQv.net] 質問少年のレスを読んでいると、一つの特徴に気付く。 それはこの少年が教科書の記述を何よりも重視しているということだ。 だからこの少年は教科書にどう書いてあるか、 ということばかり気にしている。 自分では考えない。 自分では考えずに教科書に書いてあることをそのまま信仰する。 何でもかんでも他人に頼る性格がそのまま出ている（笑 597 名前：１３２人目の素数さん [2020/03/15(日) 22:50:00.22 ID:Eo7f51FR.net] >>576 教科書に何て書いてあるのか書けって要求したのはお前じゃん 598 名前：１３２人目の素数さん [2020/03/15(日) 22:51:09.86 ID:6WUtCAe5.net] >>577 わろたｗ 599 名前：１３２人目の素数さん [2020/03/15(日) 22:52:52.32 ID:6WUtCAe5.net] 安達さん>>574に答えて下さいよ また逃げるんですか？ 600 名前：哀れな素人 [2020/03/15(日) 22:54:17.28 ID:sVEhBxQv.net] >>577 それはこの少年が教科書の記述を何よりも重視している、 ということを知っているからだ（笑 だから教科書に何と書いてあるかコピぺしろといってやったのだ（笑 そして実際は教科書には僕が言っている通りのことが書かれているのである（笑 601 名前：１３２人目の素数さん [2020/03/15(日) 22:54:17.44 ID:Ut8tMuRl.net] >>575 え？ 安達さんがさっき、無限級数の和とは部分和の極限だとおっしゃったんですよね？ >>572 ＞Σ[n=1→∞] a_n=lim[n→∞] Σ[k=1→n] a_k Σ[k=1→n] a_kが部分和で、その極限をlim[n→∞]で撮るという意味の式ですよ？？？ 602 名前：１３２人目の素数さん [2020/03/15(日) 22:55:40.84 ID:Ut8tMuRl.net] 安達さんは部分和の意味がわかっていないということがはっきりわかりましたね それに >>575 ＞lim（1/2＋1/4＋1/8＋…）だ（笑 ＞limΣ[n=1→∞] a_n だ（笑 このような意味不明な式を書くような方だということがわかりました limだけ書いても何を何に飛ばすのか書かないと意味ないですよねー 603 名前：哀れな素人 [2020/03/15(日) 23:03:39.43 ID:sVEhBxQv.net] >>581 バカ（笑 Σ[n=1→∞] a_n=lim[n→∞] Σ[k=1→n] a_k 左辺は無限級数を現わす記号であって、右辺はその極限値を表す記号だ（笑 604 名前：１３２人目の素数さん [2020/03/15(日) 23:05:47.28 ID:6WUtCAe5.net] 安達ぼろぼろｗ 605 名前：１３２人目の素数さん [2020/03/15(日) 23:07:47.32 ID:Ut8tMuRl.net] >>583 教科書には、どちらも同じ記号を使うという約束があります 606 名前：哀れな素人 [2020/03/15(日) 23:09:06.16 ID:sVEhBxQv.net] >>582 ったくアホな奴だな（笑 limΣ[n=1→∞] a_n もlim[n→∞] Σ[k=1→n] a_k も まったく同じことなのである（笑 limΣ[n=1→∞] a_n を計算できないから lim[n→∞] Σ[k=1→n] a_kで極限値を取っているのだ（笑 607 名前：１３２人目の素数さん [2020/03/15(日) 23:13:55.05 ID:Ut8tMuRl.net] >>586 同じじゃないですよね limΣ[n=1→∞] a_n これは何をどこに飛ばしてるんですか？ nは1から∞まで走りますよーというのは、Σの添字のところで言ってるので、nはもう使えませんよ？ 608 名前：１３２人目の素数さん [2020/03/15(日) 23:14:50.41 ID:6WUtCAe5.net] >>586 >limΣ[n=1→∞] a_n を計算できないから 計算できるできない以前にシンタックスエラーなんだけどｗ 安達馬鹿過ぎｗ 609 名前：１３２人目の素数さん [2020/03/15(日) 23:15:41.62 ID:6WUtCAe5.net] 安達よ 馬鹿にも限度ってものがあるぞ？ｗ 610 名前：１３２人目の素数さん [2020/03/15(日) 23:17:51.58 ID:Ut8tMuRl.net] シンタックスエラーなんて言っても安達さんにわかりませんよ ご老人にはカタカナ言葉はやめて優しくしましょう 611 名前：哀れな素人 [2020/03/15(日) 23:18:20.53 ID:sVEhBxQv.net] >>586 アホ（笑 だから limΣ[n=1→∞] a_n を計算できないから lim[n→∞] Σ[k=1→n] a_kで極限値を取っているのだ（笑 と書いているだろ（笑 それにそもそも lim[n→∞] Σ[k=1→n] a_k こんなふうに書く必要はないのだ（笑 lim[n→∞] Σ[1→n] a_n と書けばいいのである（笑 アホすぎて話にならない（笑 11時をすぎているから、ここまで（笑 お前らのアホさにうんざりする（笑 612 名前：１３２人目の素数さん [2020/03/15(日) 23:22:14.41 ID:Ut8tMuRl.net] >>591 ＞lim[n→∞] Σ[1→n] a_n これ数式じゃないですよ どういう計算なんですかこれ 613 名前：１３２人目の素数さん [2020/03/15(日) 23:23:33.48 ID:Eo7f51FR.net] ＞lim（1/2＋1/4＋1/8＋…）だ（笑 　ﾌ゜ｯ　∩　彡⌒ミ　 　 ℃ゞﾉ ヽ（・ω・　） 　　⊂´＿＿＿__∩ 614 名前：１３２人目の素数さん [2020/03/15(日) 23:29:21.10 ID:6WUtCAe5.net] >>591 >lim[n→∞] Σ[1→n] a_n >と書けばいいのである（笑 いいかどうかは安達さんが決めるんじゃないんですよｗ 記号は万人に共通じゃないと意味を為さないでしょ？ｗ 独善主義がこびり付いちゃってますねこの爺さんｗ 615 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2020/03/15(日) 23:45:36.67 ID:OT+7dZla.net] こんな数学板で、まともに数学記号が描けないのに、ヒマな議論しているな〜 616 名前：１３２人目の素数さん mailto:sage [2020/03/16(月) 06:27:24.07 ID:6K81jsqz.net] セタ、根拠地スレに人が来ず 寂しさのあまり、安達スレに書き込み 哀れだね・・・ セタが数学を理解できないのは 数学記号が描けないからじゃない そもそも論理がわかってないから 617 名前：哀れな素人 [2020/03/16(月) 08:43:11.13 ID:uN6xphMi.net] ↑これはサル石（笑 論理が分ってないのはお前だろが（笑 ケーキを食べ尽くすことはできない、 ということすら理解できないバカ（笑 >>592 バカ（笑 lim[n→∞]Σ[1→n] a_n がlim[n→∞]Σ[n=1→n] a_n と同じ意味だということくらい分かるだろが（笑 記号なんて意味が通じればいいのであって、 いちいち[n=1→n]と書かなくても[1→n]と書けば分るのだアホ（笑 で、結局、無限級数とその極限値は別だ、 ということは分ったのか、教科書坊や（笑 お前はそれが分らず延々と駄々をこねているのだが（笑 618 名前：１３２人目の素数さん [2020/03/16(月) 09:00:04.07 ID:M6U3y4KA.net] >>597 >ケーキを食べ尽くすことはできない、 >ということすら理解できないバカ（笑 ケーキを食べ尽くすことが出来ない理由すら言えないバカ（笑 >で、結局、無限級数とその極限値は別だ、 >ということは分ったのか、教科書坊や（笑 >お前はそれが分らず延々と駄々をこねているのだが（笑 で、結局、無限級数を極限で定義する便宜とは何か分かったのか、還暦坊や（笑 お前はそれが分らず延々と駄々をこねているのだが（笑 619 名前：哀れな素人 [2020/03/16(月) 09:00:13.84 ID:uN6xphMi.net] 無限級数は和を持たないから、 本当は無限級数の和などを定義してはいけないのだ。 ところがバカ数学者どもが、それでは不便だと思ったのか、 無限級数の和＝その無限級数の極限値と定義した。 そして、1/2＋1/4＋1/8＋…の和(極限値)＝１という意味で、 1/2＋1/4＋1/8＋…＝１と書くようになった。 で、この式を見た馬鹿どもが、 1/2＋1/4＋1/8＋…は１になる、と錯覚したのだ(笑 その代表的な馬鹿が質問少年だ(笑 なぜならこの少年は、ケーキを食べ尽くすことはできない、 ということが分っているくせに、 1/2＋1/4＋1/8＋…は１ですと唱え続けているからだ（笑 620 名前：哀れな素人 [2020/03/16(月) 09:07:01.96 ID:uN6xphMi.net] ID:M6U3y4KA これはサル石か、昨日のID:6WUtCAe5 ケーキを食べ尽くすことができる、と思っているドアホ(笑 話は変わるが、僕の古代史本 「馬韓も百済も満州にあった」が一冊売れた(笑 全然宣伝していないのに、なぜ売れたか不明だ(笑 621 名前：１３２人目の素数さん [2020/03/16(月) 12:06:28.34 ID:iw6IdvSK.net] >>597 ＞lim[n→∞]Σ[1→n] a_n がlim[n→∞]Σ[n=1→n] a_n ＞と同じ意味だということくらい分かるだろが（笑 わかりませんね Σ[k=1→n]a_kはkを1からnまで動かして、a_1からa_nまで足しなさいという意味です Σ[n=1→n] a_n これな 622 名前：んですか？ nを1からnまで動かすってどういうことですか？ n=2のとき、2を1から2まで動かす 定数なのか変数なのかわかりませんよね [] [ここ壊れてます] 623 名前：１３２人目の素数さん [2020/03/16(月) 13:20:12.81 ID:M6U3y4KA.net] >>599 >無限級数は和を持たないから 持つとして矛盾が無いなら持ってもいいんですよ、決め事です 安達さんが勝手に決めてよい訳じゃないんですよ、数学では 安達さんが勝手に決めてよいのは安達数学だけです 624 名前：１３２人目の素数さん [2020/03/16(月) 14:51:36 ID:M6U3y4KA.net] >>396 >>478 命題　数直線上を点1から点0へ連続移動できるなら、自然数をすべて数え上げることができる。 証明　点1/n（n=1,2,...）を必ず通過するのでその際にnをカウントすればよい。 625 名前：１３２人目の素数さん [2020/03/16(月) 15:31:02 ID:4fTcW5HD.net] カウントが可能と仮定するとゴールしたときにカウントされる数がないのでカウントは不可能 626 名前：１３２人目の素数さん [2020/03/16(月) 15:40:14 ID:TmgQHiBa.net] 自然数について それが全称命題に含まれる すなわち ∀n∈N のときこれは∞(無限)であるから自然数を数えきることはできない 他方 それが存在命題に含まれる すなわち ∃n∈N のとき自然数を数えきることができる 線型代数における有限次元のnと 微分積分学における自然数のnとを 混同していた頃が懐かしい 627 名前：１３２人目の素数さん [2020/03/16(月) 15:42:54 ID:iw6IdvSK.net] 自然数は全て数え上げ可能 おかしいですよねぇ 自然数は数え上げ可能 これならまだいいかな、とも思います 1,2,3と数えられるかどうかですから 全て数え切るのは可能か、はまた違う気がしますね 628 名前：哀れな素人 [2020/03/16(月) 16:20:57.30 ID:uN6xphMi.net] >>601 バカ（笑 Σ[n=1→n] a_n これはa_nの1からnまでの和だ（笑 で、無限級数とその極限値は違う、 ということは分ったのか、教科書坊や（笑 >>602 バカ（笑 何で無限級数が和を持つのか（笑 今日は新入りが二人ほどいるが、結局 ケーキを食べ尽くすことができるのか、できないのか（笑 629 名前：１３２人目の素数さん [2020/03/16(月) 16:24:55.00 ID:4fTcW5HD.net] >>607 ＞何で無限級数が和を持つのか（笑 そう決めたから 630 名前：哀れな素人 [2020/03/16(月) 16:28:08.61 ID:uN6xphMi.net] >>608 バカ（笑 何で無限級数が和を持つのか（笑 631 名前：１３２人目の素数さん [2020/03/16(月) 16:33:00.35 ID:4fTcW5HD.net] >>609 そう決めたから 632 名前：哀れな素人 [2020/03/16(月) 16:38:55.94 ID:uN6xphMi.net] >>610 無限級数和を持たないが、バカ数学者どもが、 それでは不便だと思ったのか、 無限級数の和を、その無限級数の極限値ということにしよう、 と勝手に決めたのである（笑 だから本当はそんなバカ数学者どもの定義に従う必要はないのだ（笑 そんなバカな定義するから、質問少年のように、 1/2＋1/4＋1/8＋…＝1です、と唱えるバカが出て来るのだ（笑 633 名前：１３２人目の素数さん [2020/03/16(月) 16:47:19.75 ID:4fTcW5HD.net] >>611 勝手でない定義って何だ？ お前が認めた定義のことかね？ 他ならぬお前>>505が間違いではないと認めたはずだが？ 勝手であろうが何だろうが、決めたのだから1/2+1/4+1/8+・・・=1は正しい 634 名前：哀れな素人 [2020/03/16(月) 16:54:19.90 ID:uN6xphMi.net] >>612 クルクルパー乙（笑 僕は間違いではないといったわけではない（笑 無限級数の和とは極限値のことであって、 無限級数は、その極限値に近づくが到達するわけではない、 ということさえ分っていればよい、という意味でいったのである（笑 われわれの頃の高校生はみんなそれを常識として分っていたが、 現今の学生は全然分っていないのである。 実際、お前も1/2+1/4+1/8+・・・=1は正しい、と書いている（笑 635 名前：１３２人目の素数さん [2020/03/16(月) 16:54:48.42 ID:M6U3y4KA.net] 世界は私に従え 　　　　安達弘志 636 名前：１３２人目の素数さん mailto:sage [2020/03/16(月) 16:57:11.91 ID:6K81jsqz.net] >>613 ＞無限級数の和とは・・・ 無限級数といった瞬間、和なのだが 「無限項の和」ならわかるが ＞・・・極限値のことであって、 なら0.999…は極限値だから1 （完） 637 名前：１３２人目の素数さん [2020/03/16(月) 16:59:13.69 ID:4fTcW5HD.net] >>613 意味不明な悪あがきは止めなさい おまえ自身が間違いでないと認めてしまってるので>>505 638 名前：１３２人目の素数さん mailto:sage [2020/03/16(月) 16:59:31.37 ID:6K81jsqz.net] >>613 ＞無限級数は、その極限値に近づくが到達するわけではない これも、正しくは 「無限項の和は、その有限個の項の和が、 　項の数を増やすことによって極限値に近づくが 　有限項の和である限り、極限値に一致するとは限らない」 というべきだな 数学者はそんなことはみな認めてる 安達はいったい誰とケンカしてるんだ？ 639 名前：１３２人目の素数さん mailto:sage [2020/03/16(月) 17:02:54.00 ID:6K81jsqz.net] ＞1/2+1/4+1/8+・・・=1は正しい 1/2+1/4+1/8+・・・は、有限項の和による無限数列の極限として１と一致する いっとくが、有限項の和による無限数列は最大値maxを持たない しかし、無限数列のどの項よりも大きい数の最小値（上限値sup）を持つ それが１ 640 名前：哀れな素人 [2020/03/16(月) 17:05:20.09 ID:uN6xphMi.net] >>616 アホな奴だな（笑 そんな揚げ足取りをして何になるのか（笑 われわれの頃の高校生は、 1/2＋1/4＋1/8＋…＝1と書くが、この１は極限値であって、 1/2＋1/4＋1/8＋…は１になるわけではない、 ということを常識として知っていたのである（笑 ところが今の数学生はそんな常識すらない（呆 呆れて物も言えないとはこのことだ。 >>617 お前が1/2＋1/4＋1/8＋…は１になるわけではない、 と思っているなら何も文句はない（笑 ところが実際は2chには１になると思っているバカがごろごろいるのだ。 641 名前：現代数学の系譜 雑談 mailto:sage [2020/03/16(月) 17:05:37.19 ID:M3j/Wbmc.net] >>596-597 　ID:6K81jsqz＝おサルに同意 ＞ヒマな議論しているな〜 数学的に意味のない議論を延々しているってことよ、おサルさんたち ｗｗ（＾＾； 642 名前：１３２人目の素数さん [2020/03/16(月) 17:09:48.59 ID:iw6IdvSK.net] >>619 ＞われわれの頃の高校生は、 ＞1/2＋1/4＋1/8＋…＝1と書くが、この１は極限値であって、 無限級数と無限級数の和は同じ記号を使うのでそれで何も問題ないですよねぇ 643 名前：１３２人目の素数さん [2020/03/16(月) 17:11:19.17 ID:M6U3y4KA.net] 命題　自然数をすべて数え上げることができる。 証明 二つの実数 a,b がある。 a＝b か a≠b のいずれか一方が定まっている。・・・(1) どちらなのか判定するため小数表示の各位を比較することとする。 一般には全ての位を比較しないと判定できない。・・・(2) (1),(2)より全ての位を比較することは可能と言える。 小数第n位の比較の際にnをカウントすれば自然数をすべて数え上げることができる。 644 名前：１３２人目の素数さん [2020/03/16(月) 17:14:16.13 ID:TmgQHiBa.net] a=bの具体例は何だ 645 名前：１３２人目の素数さん mailto:sage [2020/03/16(月) 17:14:28.81 ID:6K81jsqz.net] >>620 ＞ID:6K81jsqzに同意 今頃私のいってることを理解したのか　セタは 646 名前：１３２人目の素数さん [2020/03/16(月) 17:15:19.25 ID:M6U3y4KA.net] >>604-606 >>603で点0に到達時点で証明の方法でもカウントできなかった自然数を示して下さい。 647 名前：１３２人目の素数さん mailto:sage [2020/03/16(月) 17:17:37.93 ID:6K81jsqz.net] >>620 ＞数学的に意味のない議論を延々している 「Nには最大の数∞が存在する！」という 数学的に誤った主張を延々繰り返す馬鹿がいたな 「私は現在のフランス王　ルイ２0世だ！」 というくらいみっともない発言だけどな 648 名前：１３２人目の素数さん [2020/03/16(月) 17:20:15.92 ID:TmgQHiBa.net] >>625 全称命題の意味を学んでから質問ゴミクズ 649 名前：１３２人目の素数さん [2020/03/16(月) 17:24:13.07 ID:M6U3y4KA.net] >>622の証明は実は誤り（不十分） なぜなら >どちらなのか判定するため小数表示の各位を比較することとする。 判定の方法がこれ以外に無いことが示せていないから。 (・ω<) てへぺろ 650 名前：哀れな素人 [2020/03/16(月) 17:25:21.39 ID:uN6xphMi.net] >>621 同じ記号を使っていても意味は違うし、 同じ記号を使ってはいけないのである（笑 Σという記号が総和を表すなら、 無限級数の和にΣを使ってもいいが、 無限級数にΣを使ってはいけない。 なぜなら無限級数には和がないからだ。 651 名前：１３２人目の素数さん [2020/03/16(月) 17:25:31.72 ID:M6U3y4KA.net] >>627 意味不明 未カウントがあるというのがあなたの主張でしょ？　それを示せないの？ 652 名前：１３２人目の素数さん [2020/03/16(月) 17:27:26.39 ID:TmgQHiBa.net] すべてのツチノコは食べられない このときのツチノコに存在性はない つまり演繹上ですべての自然数というとき その自然数について在るもないも語ることはできない 換言すればすべての自然数から1や0を選ぶということは不能 全称命題も知らないくせに数学をやろうとは無謀だわ 653 名前：１３２人目の素数さん [2020/03/16(月) 17:37:33.78 ID:M6U3y4KA.net] >>631 屁理屈はいいので未カウントの自然数を示してもらえません？なんなら例示でもいいですよ？ 654 名前：１３２人目の素数さん mailto:sage [2020/03/16(月) 17:37:44.63 ID:6K81jsqz.net] >>629 ＞無限級数にΣを使ってはいけない Σ(n=1〜∞)a_n＝lim(n→∞)Σ(m=1〜n)a_m と定義すれば問題ない 655 名前：１３２人目の素数さん [2020/03/16(月) 17:38:07.18 ID:iw6IdvSK.net] >>629 無限級数の和は、部分和の極限のことである、と安達さんあなたがおっしゃってたと思うんですけど 656 名前：１３２人目の素数さん [2020/03/16(月) 17:40:16.01 ID:M6U3y4KA.net] >>631 ついでに教えてあげるけど あなたの理由「無限だから」（>>605）は誤りですね。 理由は自分で考えて下さい。 657 名前：１３２人目の素数さん [2020/03/16(月) 17:42:19.28 ID:M6U3y4KA.net] >>631 無限の何たるかも知らないくせに数学をやろうとは無謀だわ 658 名前：１３２人目の素数さん [2020/03/16(月) 17:55:57.67 ID:4fTcW5HD.net] >>625 不可能な命令を実行することを前提とした問いなので回答不能 可能なのは、1/nまで進んでnまでカウントしろという命令だけ 659 名前：１３２人目の素数さん mailto:sage [2020/03/16(月) 17:59:19.83 ID:6K81jsqz.net] 正直にいえば、安達氏は現代数学の定義に沿った考えを述べているので 何に反対しているのか、よくわからない 660 名前：１３２人目の素数さん [2020/03/16(月) 18:08:13.88 ID:iw6IdvSK.net] 安達さんは、無限級数と無限級数の和は別にして扱うべきだと言っているわけですね 普通は同じとみなすんですけど、区別したいようです 661 名前：１３２人目の素数さん [2020/03/16(月) 18:10:34.80 ID:M6U3y4KA.net] >>637 つまり「点０まで連続移動できる」が偽であると？ 「点０まで連続移動できる」は>>603の命題の仮定ですから、それが偽なら命題は真ですね。 662 名前：１３２人目の素数さん [2020/03/16(月) 18:13:36.01 ID:4fTcW5HD.net] >>640 移動は可能 そのルールでカウントし切るのが不可能 663 名前：１３２人目の素数さん [2020/03/16(月) 18:14:39.28 ID:TmgQHiBa.net] 偽の仮定( ´,_ゝ｀)ﾌﾟｯ 演繹すらわかっていないようだ 立ち去れゴミ 664 名前：１３２人目の素数さん [2020/03/16(月) 18:16:25.96 ID:TmgQHiBa.net] 因みに 野矢論理学では 「仮定する」と「演繹する」は厳密に分ける よく勉強しておくように 参考文献 野矢茂樹『まったくゼロからの論理学』岩波書店 665 名前：１３２人目の素数さん [2020/03/16(月) 18:17:12.21 ID:M6U3y4KA.net] >>641 それ、「カウントし切れない」ありきになってませんか？ もし私の勘違いなら >そのルールでカウントし切るのが不可能 の理由を示してもらえますか？ 666 名前：１３２人目の素数さん [2020/03/16(月) 18:19:24.58 ID:M6U3y4KA.net] >>642 >>632 667 名前：１３２人目の素数さん [2020/03/16(月) 18:20:31.34 ID:TmgQHiBa.net] >>645 だから全称量化された自然数に具体的な数はないよって言ってんの それが無限 668 名前：１３２人目の素数さん [2020/03/16(月) 18:20:35.13 ID:4fTcW5HD.net] >>644 「カウントし切れない」ありきだよ 自然数は定義上、数えつくせない 669 名前：現代数学の系譜 雑談 mailto:sage [2020/03/16(月) 18:22:37.31 ID:M3j/Wbmc.net] >>626 おれが言っているのは おまいらの議論って、エンドレス見え見えじゃんか〜！ ってことよ ヒマだな、おまいら〜ｗｗ（＾＾； 670 名前：１３２人目の素数さん [2020/03/16(月) 18:23:22.81 ID:M6U3y4KA.net] >>643 あなた言ってること変わってきてますよ？ 最初は「全称命題」と「無限だから」でしたよね、次はツチノコ論法、今度は演繹論法ですか、はぁ。。。 ツチノコでも演繹でもいいんですけど、未カウントの自然数は示せないのですかね？ 671 名前：１３２人目の素数さん [2020/03/16(月) 18:27:21.87 ID:TmgQHiBa.net] >>649 死ねbot 日本語が読めてない 672 名前：１３２人目の素数さん [2020/03/16(月) 18:28:48.09 ID:M6U3y4KA.net] >>646 >だから全称量化された自然数に具体的な数はないよって言ってんの あなたが何にムキになってるのかよく分からないですけど、こう言い換えたら納得します？ 「点０まで移動した時点で数え終わった自然数の集合から自然数全体の集合への全単射が存在する。」 673 名前：１３２人目の素数さん [2020/03/16(月) 18:30:11.74 ID:6K81jsqz.net] >>648 ＞おまいらの議論って、エンドレス見え見えじゃんか〜！ 終わりたいためだけに「最後の自然数∞」をでっちあげる ウソツキにはなりたくないものですな 自称フランス王のルイ２０世へ 674 名前：１３２人目の素数さん [2020/03/16(月) 18:30:55.78 ID:M6U3y4KA.net] >>647 >「カウントし切れない」ありきだよ >自然数は定義上、数えつくせない 数えつくせないことが自然数の定義から直ちに証明できるということですか？ ではその証明をお願いします。 675 名前：１３２人目の素数さん [2020/03/16(月) 18:34:08.86 ID:TmgQHiBa.net] >>651 A：有限集合 f(A)：像集合 N：自然数全体 f(A)≠N アルキメデスの公理より明らかに全射でない 明らかに単射でない ある自然数a,bにおいてa=bの具体例を例示しろ　 676 名前：１３２人目の素数さん [2020/03/16(月) 18:34:30.65 ID:6K81jsqz.net] 「最大の自然数が存在しない」という前提から 「0以上1未満の実数から 　小数展開で表し� 677 名前：ｽときの小数点以下の 　9の連続の個数への写像で 　写像の値域に入らない自然数が存在する」 は導けない [] [ここ壊れてます] 678 名前：１３２人目の素数さん [2020/03/16(月) 18:37:38.09 ID:6K81jsqz.net] >>655の写像で 0以上0.9未満　　　　小数点以下の連続する9は0個 0.9以上0.99未満　　 小数点以下の連続する9は1個 0.99以上0.999未満　小数点以下の連続する9は2個 ・・・ いかなる自然数ｎをもってきても１未満で、 小数点以下の連続する9の個数がn個である 実数が存在する 679 名前：１３２人目の素数さん [2020/03/16(月) 18:39:17.55 ID:M6U3y4KA.net] >>654 >A：有限集合 あなたの言ってること、さっきから意味不明なんですが。 私がいつどんな有限集合の話をしたか具体的に示して下さい。 680 名前：１３２人目の素数さん [2020/03/16(月) 18:40:44.19 ID:TmgQHiBa.net] >>657 有限集合：数え切れる集合 681 名前：１３２人目の素数さん [2020/03/16(月) 18:41:27.00 ID:TmgQHiBa.net] >>657 ＞数え終わった自然数の集合 682 名前：１３２人目の素数さん [2020/03/16(月) 18:43:34.47 ID:M6U3y4KA.net] >>659 まったく意味不明ですね いつ私が ＞数え終わった自然数の集合 は有限集合であると言いました？ 何か大きな勘違いしてません？ 683 名前：１３２人目の素数さん [2020/03/16(月) 18:45:25.24 ID:TmgQHiBa.net] >>660 お前の発想がわかった 以後レスするな俺も止める お前はa=a+1の世界の住人だ これは数学ではない じゃあな 684 名前：１３２人目の素数さん [2020/03/16(月) 18:46:12.63 ID:M6U3y4KA.net] >>659 そもそも有限集合から無限集合への全単射がある訳無いでしょｗ もしかして馬鹿ですか？ 685 名前：１３２人目の素数さん [2020/03/16(月) 18:47:46.94 ID:M6U3y4KA.net] >>661 あらら、捨て台詞残して逃げちゃったｗ >お前はa=a+1の世界の住人だ 何を訳の分からん事言ってるのやらｗ 686 名前：１３２人目の素数さん [2020/03/16(月) 18:53:04.14 ID:M6U3y4KA.net] ツチノコくんめでたく撃退完了ｗ もう一人は証明提示待ち（>>653） あと一人は居留守かな？参加してこないけど 687 名前：１３２人目の素数さん mailto:sage [2020/03/16(月) 18:56:48.24 ID:6K81jsqz.net] 誰だ？居留守を使ってるのは 688 名前：１３２人目の素数さん [2020/03/16(月) 18:57:36.22 ID:6K81jsqz.net] 悪魔の数字ｗ 689 名前：１３２人目の素数さん [2020/03/16(月) 18:58:44.86 ID:M6U3y4KA.net] >>665 分かってるけどあからさまには言わないｗ 690 名前：１３２人目の素数さん [2020/03/16(月) 18:59:40.32 ID:4fTcW5HD.net] >>953 有限集合じゃないから数えつくせない 691 名前：１３２人目の素数さん [2020/03/16(月) 19:01:01.47 ID:iw6IdvSK.net] 可算であることは、数えきれることになる、というのが気持ち悪いんですよねー 可算であることは、数えられることと同じ、数えきれはしない こうじゃないですか？ 692 名前：１３２人目の素数さん mailto:sage [2020/03/16(月) 19:02:24.67 ID:6K81jsqz.net] ただ、666が悪魔の数字というのは数学的センスがないなと思う 691のほうが悪魔の数字っぽい　理由はあえて言わないｗ 693 名前：１３２人目の素数さん [2020/03/16(月) 19:04:36.68 ID:iw6IdvSK.net] 数えきれる、と言った時点で有限であることを仮定してるんですかね それなら全て説明ができる気がしてきました 694 名前：１３２人目の素数さん mailto:sage [2020/03/16(月) 19:05:34.65 ID:6K81jsqz.net] 「可算」の意味は「数え切れる」というよりは 「整列させる規則が明確に存在する」という点に あると思ってる 非可算の場合、選択公理を使えば整列できるというが じゃあ、[0,1]に属する実数全体を具体的に整列させてみろ といわれたらさすがにできない ちなみに整列集合の定義は各自ご確認してください 通常の実数の順序は全順序ですが整列順序ではありません 695 名前：１３２人目の素数さん [2020/03/16(月) 19:12:18.12 ID:M6U3y4KA.net] >>672 整列できるとの仮定は対角線論法で否定されますね 696 名前：１３２人目の素数さん [2020/03/16(月) 19:13:16.90 ID:M6U3y4KA.net] >>668 その論理が正しいなら同じ論理により点1から点0への連続移動は不可能ですね、無限集合[0,1]内のあらゆる点を通過するのは不可能ってことですよね？ ということであなたの主張が正しいなら>>603の仮定が偽、すなわち命題は真であることが示されました。 697 名前：１３２人目の素数さん mailto:sage [2020/03/16(月) 19:14:58.15 ID:6K81jsqz.net] >>673 いや、否定されるのは「可算である」という仮定です 698 名前：１３２人目の素数さん [2020/03/16(月) 19:17:31.60 ID:iw6IdvSK.net] >>674 なにも考えずに歩けば移動はできますね 699 名前：１３２人目の素数さん [2020/03/16(月) 19:22:46.85 ID:M6U3y4KA.net] >>675 [0,1]に属する実数全体を整列できないからカントールは可算濃度と区別したんですよね？ 整列可能と可算は同値では？ 700 名前：１３２人目の素数さん [2020/03/16(月) 19:29:02.49 ID:6K81jsqz.net] >>677 実際には違いますよ 可算集合である自然数全体の集合との全単射が存在し 701 名前：ないから 非可算集合だといってるわけですね ＞整列可能と可算は同値では？ 異なりますね ZFCでは任意の集合が整列可能ですから ちなみにZFでは実数全体の集合が整列不能なモデルも存在しますが その場合にも非可算な整列順序集合は存在します ただし最初の非可算集合の整列順序を 「具体的に」構成できるかといわれたら それは無理でしょうけどね [] [ここ壊れてます] 702 名前：１３２人目の素数さん [2020/03/16(月) 19:30:15.78 ID:4fTcW5HD.net] >>674 ただ単に移動すればいいだけだよ 通過した軌跡に無限の点が含まれるのは通過が不可能であることとは無関係 703 名前：１３２人目の素数さん [2020/03/16(月) 19:38:19.72 ID:M6U3y4KA.net] >>679 その論理を用いれば 　ただ単にカウントすればいいだけだよ 　自然数全体の集合に無限の自然数が含まれるのはカウントが不可能であることとは無関係 となりますね。 704 名前：１３２人目の素数さん [2020/03/16(月) 19:42:51.73 ID:4fTcW5HD.net] >>680 ならないよ 705 名前：１３２人目の素数さん [2020/03/16(月) 19:44:51.95 ID:M6U3y4KA.net] >>681 なぜ？ 706 名前：１３２人目の素数さん [2020/03/16(月) 19:46:17.34 ID:M6U3y4KA.net] >>679 「無限だから」は理由にならないんです。 「最後が無いから」も理由になりません。 点０まで連続移動した時、「最後に通過した(0,1]内の点」は存在しませんが、(0,1]は確実に通過し終えてますから。 707 名前：１３２人目の素数さん [2020/03/16(月) 19:58:49.46 ID:4fTcW5HD.net] >>682 移動したときの軌跡に無限の点があるのは通過の不可能とは無関係だが 無限の点をカウントしながら移動することは不可能だから >>683 理由になるよ 数を数えつくすという不可能な命令の実行を前提とした問いには回答不能 708 名前：１３２人目の素数さん mailto:sage [2020/03/16(月) 20:32:39.82 ID:6K81jsqz.net] 某君は「数学は暗記か」に住み着いたようだ あそこは数学の話をしないから 中身のない口先男には居心地がいいんだろう 709 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2020/03/16(月) 20:51:12.46 ID:fnyvfj+s.net] >>652 必死のおサルは、必死のパッチだな（下記ご参照） ｗ（＾＾ ・相対性理論が分からない人がいるとして、そんなに説得したいの？ｗ（＾＾ ・無限が分からない人がいるとして、そんなに説得したいの？ｗｗ（＾＾； ・「0.99999……は１ではない」という人がいるとして、そんなに説得したいの？ｗｗｗ(゜ロ゜； （参考） https://koonies.hatenadiary.org/entry/20100310/hissi_no_pacchi Koonies/こりゃいいな！ 2010-03-10 ちょっと意外な『必死のパッチ』の語源とは。 (抜粋) この「必死のパッチ」という言葉は今は亡き、うちの母親の口癖で、すごく懐かしいなぁと思うのと同時に、パッチって何？？と今更の事ながら気になったので調べてみたら、Yahoo知恵袋でその答えを発見！ ベストアンサーに選ばれた回答 amz00940さん 昨日、関西ローカル番組の阪神タイガース企画で『必死のパッチ』の語源を調べていました。（こんな事を真剣にやるのが関西ローカルらしいところですが＾＾；） それによると、将棋駒の桂馬は進路が二股に割れるので股引になぞらえて『パッチ』と隠語で呼ばれる事があったそうです。したがって、桂馬を打たれた事で自玉の逃げ場が無くなり、相手にひたすら王手をかけて敵玉を詰めるしかなくなった状態が『必至のパッチ』です。将棋用語の『必至』については以下のwikiを参照にしてください ja.wikipedia.org/wiki/%E5%BF%85%E8%87%B3 その後『必至』が同音語の『必死 710 名前：』にかわり、将棋以外の世界でも、がむしゃらにやるしかない事を指すようになったのだとか。『必死のパッチ』という語感のリズムが良いので使いやすかったんでしょうね ＾＾ 「必死のパッチ」のパッチとは何のことでしょうか？ - 昨日、関西... - Yahoo!知恵袋 なるほど?。将棋から来ていたとは。 長年とくに疑問も持たずに生きてきましたが、すごくスッキリしました。 [] [ここ壊れてます] 711 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2020/03/16(月) 20:58:12.86 ID:fnyvfj+s.net] >>685 おサルさー、おれは隔離スレが無くなったから、５ｃｈ数学板が棲家になったｗ（＾＾； まあ、拠点のスレは、すでに作ったけどねｗｗ(゜ロ゜； 712 名前：哀れな素人 [2020/03/16(月) 22:14:40.94 ID:uN6xphMi.net] 今夜はまたいやにスレが進んでいるな（笑 質問少年とサル石以外に三人ほど参加しているようだが、 で、結局ケーキは食べ尽くせるのか食べ尽くせないのか（笑 1/2＋1/4＋1/8＋…は１になるのか、ならないのか（笑 >>633 バカ（笑 >>634 そのことが>>629と何の関係があるのか（笑 713 名前：１３２人目の素数さん [2020/03/16(月) 22:26:23 ID:iw6IdvSK.net] >>688 無限級数には和がないと書かれていますが、嘘ですよね？ 部分和の極限が無限級数の和なんですもんね？ 714 名前：哀れな素人 [2020/03/16(月) 22:43:58 ID:uN6xphMi.net] >>689 バカ（笑 無限級数には和がないから、 無限級数の極限値を無限級数の和としよう、 と数学者が勝手に決めたのである（笑 で、極限値を求めるには部分和の極限を求めるという手しかないから、 そういう方法を取っているだけであって、 部分和の極限であることに特に重要性はない（笑 何でお前は部分和ということにこだわるのか（笑 部分和を使って極限を求める以外に手がないのである（笑 715 名前：１３２人目の素数さん [2020/03/16(月) 23:00:12 ID:4fTcW5HD.net] >>690 勝手であろうが何だろうが定義なんだから仕方ない 和があるんだよ そもそも勝手に決めたというが、何で安達の許可が必要なのかが分からん 716 名前：哀れな素人 [2020/03/16(月) 23:05:59 ID:uN6xphMi.net] >>691 バカ（笑 何で無限級数に和があるのか（笑 数学者が決めたことが間違っているなら、 それを正さなければいけない（笑 0.99999……は１ではないのだから、 0.99999……＝１などというインチキを許してはいけないのだ（笑 今夜はここまで。 717 名前：１３２人目の素数さん [2020/03/17(火) 00:16:41.59 ID:vHem04JL.net] >>692 安達さんが無限級数の和は部分和の極限だとおっしゃったんですよねーだから 無限級数に和はあるのかないのかどちらなんですか？ 718 名前：１３２人目の素数さん mailto:sage [2020/03/17(火) 02:08:12.31 ID:P3WL2Yge.net] >>653 >数えつくせないことが自然数の定義から直ちに証明できるということですか？ >ではその証明をお願いします。 自然数を数え尽くせたとする。整列可能定理から、自然数の全体Nには或る全順序関係≦を定義付けることが出来る。 この全順序関係≦は通常の大小関係として一意に定義付けられる。 順序集合 (N,≦) の元は数え尽くせるから、ペアノの公理から、自然数の全体Nの点には最大値が一意に存在する。 しかし、ペアノの公理から、順序集合 (N,≦) における最大値は存在しない。よって、矛盾する。 故に背理法により、自然数は数え尽くせない。 719 名前：１３２人目の素数さん mailto:sage [2020/03/17(火) 02:20:53.10 ID:P3WL2Yge.net] >>653 おっちゃん的には〜、公理的集合論が必要になる話ではない。 720 名前：１３２人目の素数さん [2020/03/17(火) 06:15:44.19 ID:ClkiE9uN.net] >>686 >そんなに説得したいの？ そんなに自らの軽率な誤りを認めたくないの？ 「現代のフランス王　ルイ20世」ことセタが真っ先にいいそうなセリフ 「0.999…は無限数列0.9,0.99,0.999,…の∞番目の最後の項！」（ドヤ） こんなレベルで 「オレは工学部卒、安達より賢いぜ、フフン」 とかほくそ笑むとかマジ、ワロス 721 名前：１３２人目の素数さん mailto:sage [2020/03/17(火) 06:21:13.86 ID:ClkiE9uN.net] >>694 ＞順序集合 (N,≦) の元は数え尽くせるから、 ＞ペアノの公理から、自然数の全体Nの点には最大値が一意に存在する。 これ「ペアノの公理」ではなく 「乙の公理」のみから導かれる結論でしょ 乙の公理 「集合の元が数え尽くせるとは、 　その集合に最大値が存在するとき、そのときに限る」 御愁傷様　乙 722 名前：１３２人目の素数さん mailto:sage [2020/03/17(火) 06:26:11.25 ID:ClkiE9uN.net] >>687 ＞おれは隔離スレが無くなったから、５ｃｈ数学板が棲家になった ＞まあ、拠点のスレは、すでに作ったけどね ああ、ここね https://rio2016.5ch.net/test/read.cgi/math/1582599485/ 誰も書 723 名前：き込まないので、安心して隠遁生活を送ってください ここにもCスレにも書き込まなくていいからｗ まあ、「数学は暗記か」スレくらいは黙認してあげるよ 正規部分群の定義すら間違えるセタに　 現代数学は到底無理ですから〜　残念！ [] [ここ壊れてます] 724 名前：１３２人目の素数さん mailto:sage [2020/03/17(火) 06:31:21.10 ID:P3WL2Yge.net] >>697 自然数0の存在性、 0より大きい自然数は存在しない。 0より1つ大きい自然数は存在する。 これら3つの公理はすべてペアノの公理に含まれる。 725 名前：１３２人目の素数さん mailto:sage [2020/03/17(火) 06:34:23.83 ID:P3WL2Yge.net] >>697 0より大きい自然数 → 0より「小さい」自然数 726 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2020/03/17(火) 07:27:59.68 ID:4dyZt52Z.net] >>698 ほんに、おまえは、あほサルだよねｗ(゜ロ゜； 哀れな素人氏のスレが、おまえの棲家として、適当だよねｗｗ（＾＾ （参考） 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 https://rio2016.5ch.net/test/read.cgi/math/1581243504/3 (引用開始) ＜おサルに対する評価の代表例２つ＞（＾＾； スレ80 https://rio2016.5ch.net/test/read.cgi/math/1578091012/311 (抜粋) １． （>>299より） 私はもはやあなたを学徒とは思いません。 あなたには学問を語る資格はありません。 (引用終り) ２． （>>303より） あなた別スレで散々他の人の悪口言ってたよね？ 数式も読めてないのになんだかんだと。 あなたが今やってる事を省みてどの口でそんな事がいえる？ あなたが今やってるのは数学の議論がしたいわけじゃないよね？ なんとかかんとかダダこねて話うやむやにしてレスバに勝ちたいだけなんだよね？ 学問的真実なんかどうでもいい、自分のプライドさえたもたれればいいとしか思ってないよね？ 他人には厳しくいえるくせに自分には大甘。 レスバに勝つためなら手段も選ばない。 君の数学科で学んだ学問とはその程度の物なの？ (引用終り) 727 名前：哀れな素人 [2020/03/17(火) 08:21:03 ID:8QT4eLAI.net] 今朝はサル石とおっちゃんとガロアスレ主か（笑 ｴﾓは知らないだろうが、この連中は他スレの高いレベルの連中からは みんな○○だと判定されているのである（笑 だからガロアスレにはサル石以外は寄り付かない（笑 サル石がガロアスレ主について書いていることも真実だし ガロアスレ主がサル石について書いていることも真実だ（笑 つまりどちらも○○（笑 >>693は質問少年で、この少年もおバカだから、 僕が何度も無限級数には和はないとはっきり書いているのに >>693のような質問を書く（笑 728 名前：哀れな素人 [2020/03/17(火) 08:34:55 ID:8QT4eLAI.net] 僕はこの二日間、無限級数には和はないから、 バカ数学者どもが、無理矢理、 無限級数の極限値を無限級数の和とすることにしようと決めたのだ、 と書いてきたのだ。 それなのに質問少年というバカは>>693のような質問をしてくるのである。 この少年は、ある意味、サル石よりアホである（笑 国語力がゼロだ（笑 何度同じ説明をしてもまったく理解しないのだ（笑 おそらく今日も延々と同じ質問をしてくるに違いない（笑 729 名前：哀れな素人 [2020/03/17(火) 08:44:27.06 ID:8QT4eLAI.net] 最近いろんな人間がこのスレにやってくるが、 僕は2chには次の三種類のバカしかいないことを知っている（笑 １　ケーキを食べ尽くせると思っているバカ ２　1/2＋1/4＋1/8＋…＝１だと思っているバカ ３　0.99999……＝１だと思っているバカ 2chの人間は全員このどれかに属している（笑 本当だ（笑 聡明な人間は一人もいない（笑 今朝はここまで 730 名前：現代数学の系譜 雑談 mailto:sage [2020/03/17(火) 09:42:12.69 ID:nTUIMesG.net] >>698 >まあ、「数学は暗記か」スレくらいは黙認してあげるよ 見るところ、おサルの数学レベルは、「暗記数学」レベルだなｗｗ(゜ロ゜; 731 名前：１３２人目の素数さん mailto:sage [2020/03/17(火) 11:23:07 ID:P3WL2Yge.net] >>600 >話は変わるが、僕の古代史本 >「馬韓も百済も満州にあった」が一冊売れた(笑 古代、百済があった位置は現在の朝鮮半島の韓国の南西部、 古代、満州� 732 名前：ｪあった位置は現在の中国北東部 であるとされている。この仮説をどのようにしたら、覆せるんだ？ 古代の百済があったとされる位置と古代の満州があったとされる位置とは、地理的にはかけ離れた位置にあるから、 その仮説を覆すことは不可能な筈である。 [] [ここ壊れてます] 733 名前：１３２人目の素数さん mailto:sage [2020/03/17(火) 11:43:34.43 ID:P3WL2Yge.net] >>700 https://ja.wikipedia.org/wiki/%E6%BA%80%E5%B7%9E の満州略氏を参考にしたところ、前1世紀から7世紀に満州の人々は高句麗の位置に移り住んだこともあったようだが、 それでも、高句麗があったとされる位置は朝鮮半島中部から北部及び中国にかけてであり、 百済があったとされる位置は朝鮮半島の南西部である、そのことを踏まえても、 古代、百済があった位置は現在の朝鮮半島の韓国の南西部、 古代、満州があった位置は現在の中国北東部 であるという仮説は覆せない筈である。 734 名前：１３２人目の素数さん mailto:sage [2020/03/17(火) 11:47:52.82 ID:P3WL2Yge.net] >>600 >>707は、>>700ではなく、>>600へのレス。 >707は、>>706に続けて読んでもよい。 735 名前：１３２人目の素数さん [2020/03/17(火) 12:25:29.79 ID:UJKMrHns.net] 命題　半分にカットし食べることの繰り返しでケーキは食べ尽くせる。 証明 円形のケーキを考え、中心から円周までの線分でカットする。 半分にカットして食べていくと 1回目に食べ終わったピースの偏角=[0,π) 2回目に食べ終わったピースの偏角=[0,3π/2) ・・・ n回目に食べ終わったピースの偏角=[0,2π(Σ[k=1,n](1/2)^k)):=In ∪[n∈N]In=[0,2π) だからケーキは食べ尽くせる。■ 命題　自然数はすべて数え上げられる。 証明　ケーキを食べた回数をカウントすればよい。■ 736 名前：１３２人目の素数さん [2020/03/17(火) 12:42:50.14 ID:b9Drhi35.net] ケーキは有限 737 名前：１３２人目の素数さん [2020/03/17(火) 12:50:24.81 ID:0DxmYJuR.net] >>703 だから、決めたんだから無限級数の和はありますよね なんでないなんて嘘つくんですか？ 仕方なくだろうがなんだろうが、無限級数の和を定義したんですよね？ 738 名前：１３２人目の素数さん [2020/03/17(火) 12:56:15.34 ID:UJKMrHns.net] 世界は我に従え 　　　安達 弘志 739 名前：１３２人目の素数さん mailto:sage [2020/03/17(火) 19:33:20.47 ID:ClkiE9uN.net] >>705 アホのセタは 「暗記数学は全く暗記しない！」 とほざく正真正銘のキチガイと 殺しあえばいいんじゃね 740 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2020/03/17(火) 20:23:25.15 ID:4dyZt52Z.net] >>713 小学生レベルのおサルは、必死のパッチ（>>686ご参照）ｗｗ(゜ロ゜； 741 名前：１３２人目の素数さん mailto:sage [2020/03/17(火) 20:49:45.60 ID:ClkiE9uN.net] セタはすでに白骨死体 南無阿弥陀仏(-||-) 742 名前：哀れな素人 [2020/03/17(火) 21:21:52 ID:8QT4eLAI.net] ID:P3WL2Yge これはおっちゃんだろうが、 おっちゃんは古代史にも興味があるのか（笑 >>709 あ、そう（ｹﾞﾗｹﾞﾗ ID:0DxmYJuR これは質問少年（笑 思った通り同じ質問をしてきた（笑 何度説明しても理解しないまぬけ（笑 何度言えば分るのか、バカ（笑 無限級数には和がないから、仕方なく、数学者が勝手に、 その極限値を和と定義することにしたのだ、 と、すでに十回くらい説明しただろ、アホ（笑 サル石とガロアスレ主よ、喧嘩は他所でやってくれ（笑 743 名前：１３２人目の素数さん [2020/03/17(火) 21:28:28.27 ID:UJKMrHns.net] 素人よ　本の宣伝は他所でやってくれ（笑 744 名前：１３２人目の素数さん [2020/03/17(火) 21:28:35.06 ID:/qJYYumt.net] >>716 では、その定義が間違いではないと認めた>>505を存分に叩いてくれたまえ 745 名前：１３２人目の素数さん [2020/03/17(火) 21:29:28.92 ID:vHem04JL.net] >>716 だから、和は定義したんだからありますよねー 746 名前：１３２人目の素数さん [2020/03/17(火) 21:34:10.48 ID:/qJYYumt.net] ＞お前はa=a+1の世界の住人だ 無量大数+1=無量大数って自分で言ってたじゃん 747 名前：哀れな素人 [2020/03/17(火) 21:48:46 ID:8QT4eLAI.net] >>718 バカ（笑 認めたわけではない、と書いたはずだ（笑 >>719 和はないのだアホ（笑 定義したからあると思っているドアホ（笑 数学の定義は何でもかんでも絶対に正しいと思っている白痴（笑 結局お前のようなアホに何万回説明しても無駄なのだ（笑 748 名前：１３２人目の素数さん [2020/03/17(火) 21:49:10 ID:b9Drhi35.net] N：自然数全体 とする このとき ∃a∈N；　a=a+1 と ∀n∈N，　n=n+1 の違いはわかるか？ さらに ∞=∞+1　と　n=n+1は等 749 名前：値だが ∞=∞+1　と　a=a+1は異なる しかし コンピュータ屋はa=a+1と∞=∞+1を同義としている こんなのは数学ではない [] [ここ壊れてます] 750 名前：１３２人目の素数さん mailto:sage [2020/03/17(火) 21:56:26 ID:ClkiE9uN.net] >>722 リーマン球面上では∞=∞+1だけどな 751 名前：１３２人目の素数さん [2020/03/17(火) 21:56:53 ID:vHem04JL.net] >>721 数学では定義が全てですよ 定義しないのに、なぜあるとかないとかわかるのですか？ 今回の話とはあまり関係ないかもしれませんけど、マイナスの数について安達さんはどう考えてますか？ これも数学者が勝手に用意した嘘の概念なのでしょうか？ 752 名前：１３２人目の素数さん [2020/03/17(火) 22:02:43 ID:/qJYYumt.net] >>721 立派に認めてるよ ↓↓↓ 502１３２人目の素数さん2020/03/15(日) 17:11:32.95ID:Eo7f51FR ＞無限級数の極限値を和と定義している で、その定義は間違いなんでしょ？なんで間違いなの？ 505哀れな素人2020/03/15(日) 17:17:54.24ID:sVEhBxQv お前もアホだな(笑 僕はどこにもそれが間違いだとは書いていない(笑 753 名前：１３２人目の素数さん [2020/03/17(火) 22:05:56 ID:b9Drhi35.net] >>723 お前は俺の質問に答えていない 自分のわかることだけに脊髄反射をすることをやめろ 日本語が読めないならレスを返すな じゃあリーマン面について語ってもらおうか くそbot 754 名前：哀れな素人 [2020/03/17(火) 22:06:29 ID:8QT4eLAI.net] >>724 だから無限級数には和がないのだから、 無限級数の和を定義すること自体が間違っているといっているのである（笑 無限級数に和がないのは常識だバカ（笑 マイナスの数について反対している人間がどこかにいるのか（笑 >>725 お前もしつこい奴だな（笑 すでにそれに対する返答は書いているが、読めないのか（笑 読んでも理解できなかったのか（笑 過去レスを探してみろアホのチンピラ（笑 755 名前：１３２人目の素数さん [2020/03/17(火) 22:10:46 ID:vHem04JL.net] >>727 無限級数の和とは部分和の極限のことなんですよね？ これは認めたと安達さん言いましたよ？ 756 名前：哀れな素人 [2020/03/17(火) 22:13:22 ID:8QT4eLAI.net] >>728 お前のアホさとしつこさに辟易する（呆 その質問に対してはすでに何度も答えている。 この二日間の僕の過去レスを読み返せバカ 757 名前：１３２人目の素数さん [2020/03/17(火) 22:19:02 ID:/qJYYumt.net] >>727 人に相手して欲しくてあえて反発買うような話をぶち上げて、つい本音が出たのか？ 間違いでないことを立派に認めてる証拠レス ↓↓↓ 502１３２人目の素数さん2020/03/15(日) 17:11:32.95ID:Eo7f51FR ＞無限級数の極限値を和と定義している で、その定義は間違いなんでしょ？なんで間違いなの？ 505哀れな素人2020/03/15(日) 17:17:54.24ID:sVEhBxQv お前もアホだな(笑 僕はどこにもそれが間違いだとは書いていない(笑 758 名前：哀れな素人 [2020/03/17(火) 22:21:15 ID:8QT4eLAI.net] >>730 バカ（笑 それより後のレスでちゃんと理由を説明しているだろが（笑 バカか、お前は（笑 質問少年と同レベルのアホ（笑 759 名前：１３２人目の素数さん [2020/03/17(火) 22:31:51 ID:/qJYYumt.net] >>731 仕方なく定義したとか意味不明な言い訳なら聞いたが、 そのように定義された和に対して、これを間違いではないと認めたのが安達だよ 760 名前：哀れな素人 [2020/03/17(火) 22:46:36 ID:8QT4eLAI.net] >>732 われわれの頃の高校生は、 無限級数はその極限値には到達しないが、 数学では一応、極限値を和と定義しているのだ、 ということを常識として知っていたのである（笑 その定義は厳密には正しくないということを知った上で、 その定義を黙認していたのである（笑 そういう大前提さえ理解していれば、何も問題はないのである（笑 761 名前：１３２人目の素数さん [2020/03/17(火) 22:51:18 ID:/qJYYumt.net] >>733 ナニ？間違ってる定義を黙認したバカがいるのか？信じがたいチンカスもいるもんだな 叩いてこい 762 名前：１３２人目の素数さん [2020/03/17(火) 22:55:20 ID:UJKMrHns.net] 安達が高校数学までしか履修してないのは分かった 763 名前：哀れな素人 [2020/03/17(火) 23:01:38 ID:8QT4eLAI.net] >>734 昔の高校生は>>733に書いたようなことを理解した上で、 無限級数の和を黙認していたのである（笑 >>735 お前がアホであることは最初から分かっている（笑 お前らは一生アホのままだ（笑 764 名前：１３２人目の素数さん [2020/03/17(火) 23:13:18 ID:/qJYYumt.net] >>736 間違っているのに黙認する高校生のときの安達 間違っているのに間違っていないと血迷うじいさんになった安達 765 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 00:37:41 ID:Mr3nFPEd.net] おっちゃんです。 >>716 >おっちゃんは古代史にも興味があるのか（笑 昨日はいつもの「それじゃ、おっちゃんもう寝る」を書き忘れた。 古代史に興味があるというより、自称京大文学部卒さんが奇妙なことを主張しているから、その仮説を少し検証してみることにした。 検証の途中で、中国の古代史ではお決まりの黄河 766 名前：文明、長江文明の他に、遼河文明という文明があることも知った。 古代、中国北東部では遼河文明という文明が栄えていたことは興味深かった。 まあ、お前さんの歴史上の仮説は多分百済と高句麗とが一体化したこともあるということだろうが、このような話は聞いたことがない。 [] [ここ壊れてます] 767 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 05:03:10.98 ID:qGVWNuK+.net] 0.999…と1の大小関係か。この議題でマトモに回るスレは12年ぶりだな >>736 実数でも超実数でも超々実数でも超々々実数でも超々々…実数でも、拡張実数最終である超現実数でも 0.999…=1　である。此れ等をもし改編し　0.999…≠1　とした『辞書式順序』系を作れば、其れは 0.999…<0.999…/2<1　と成る数系である事までは言える一方で、無理数の順序を定義しきれなくなる｡ 例えば　√2-(√2の小数展開1.414213562…)　と　1-0.999…　の大小を判定する方法は存在しない｡ 未定義だったり低能だから存在させられていないのではなく定義不能で存在化不能。よって 順序性が完備でなくなる（順序性の完備を仮定した所で、順序判定できない場合は 順序性が完備な数系と同じ演算や関数操作ができず、結局は順序性が完備でない扱いとなる）｡ この事から、拡張実数を0.999…≠1と改編した数系は各種演算や超越関数操作に対して 『閉じていない』数系となり、諸科学で使い物に成らないどころか数学でも発見要素が無く､ 研究価値が全く無い数系となる。詰まり、幾ら『辞書式順序こそ正しい数の扱いである』と 信念を主張した所で全くの無駄で、全く役にも立たない文化活動となる｡ 768 名前：哀れな素人 [2020/03/18(水) 09:03:08.31 ID:lVJCas+h.net] >>738 おっちゃんはたとえば三国史記も読んでないだろうが、 高句麗も百済も満州にあったのである（笑 本当だぞ（笑 卑弥呼も満州にいたのだ（笑 >>739 長文アホレス乙（笑 今朝はここまで（笑 769 名前：哀れな素人 [2020/03/18(水) 09:14:59.29 ID:lVJCas+h.net] ついでにいっておくと、僕の古代史本は 漢文を白文のまま引用して、訳文も読み下し文も付けていないから、 漢文をすらすら読める学力がない者は読めない（笑 だからおっちゃんはもちろん、 数学板の連中には読めないし理解できないだろう（笑 770 名前：哀れな素人 [2020/03/18(水) 10:06:43.93 ID:lVJCas+h.net] 今、「分からない問題はここに書いてね」に解答を投稿した。 771 名前：現代数学の系譜 雑談 mailto:sage [2020/03/18(水) 10:20:48.42 ID:FNz8AxQE.net] >>739 > 0.999…と1の大小関係か。この議題でマトモに回るスレは12年ぶりだな ”マトモに回る”？ そんなもの三日以上議論する意味ないでしょｗ その後の長文は、全部賛成なのですが（＾＾； そもそもが、古代エジプト時代に分数が考えられて 後の時代に、ゼロの発見から、10進小数に進んで 割り切れない分数を、10進小数でどう表すか？ で、尽きる話でしょ 772 名前：現代数学の系譜 雑談 mailto:sage [2020/03/18(水) 10:27:11.24 ID:FNz8AxQE.net] >>743 要するに、1/3=0.333・・と定義したら 両辺3倍して 1　=0.999・・ これを、実数論の完備だとか、超準実数という視点でみたらどうよ？ って話は、それはそれで面白いけどね https://ja.wikipedia.org/wiki/%E8%B6%85%E5%AE%9F%E6%95%B0 超実数（ちょうじっすう、英: hyperreal number）または超準実数 773 名前：哀れな素人 [2020/03/18(水) 11:21:09.82 ID:lVJCas+h.net] >>744 >要するに、1/3=0.333・・と定義したら ガロアスレ主よ、だからお前は○○なのだ（笑 1/3=0.333・・ではないのである（笑 >>1の簡単な証明に書いてある（笑 利口な人はみんな、1/3≠0.33333……だと分っているのだ（笑 お前はそれが分っていないから○○なのだ（笑 774 名前：哀れな素人 [2020/03/18(水) 11:26:30.17 ID:lVJCas+h.net] 割り切れない分数は、10進小数では表わしきれないのである（笑 無限小数でも表しきれないのだ（笑 なぜこんな常識を今の数学生は分っていないのか（笑 775 名前：１３２人目の素数さん [2020/03/18(水) 11:28:08.20 ID:k5ev/+el.net] 何なら表し切れるんですか？ 776 名前：現代数学の系譜 雑談 mailto:sage [2020/03/18(水) 11:49:23.95 ID:FNz8AxQE.net] >>745 哀れな素人さん、どうもガロアスレのスレ主です。 お元気そうで何よりです。 話は変わりますが、循環小数は、昔小学校の教程だったのですが いまは、高校の教程だそうですね 哀れな素人さんのころも、小学校で、循環小数やったでしょう？（＾＾； （参考） https://edupedia.jp/article/53233f82059b682d585b592e 先生のための教育辞典 エデュペディア 循環小数のひみつ | 算数5年生の学習指導案・授業案・教材 公開日：2011 6/25 18:58（更新日：2014 5/24 16:44 ） https://mathtrain.jp/junkansyosu 高校数学の美しい物語 最終更新:2019/04/20 循環小数の意味と分数で表す方法など 循環小数とは，0.22222… のように「途中からひたすら同じ列を繰り返す」ような小数のことです。 この記事では，循環小数の意味や循環小数を分数で表す方法などについて詳しく解説します。 777 名前：１３２人目の素数さん [2020/03/18(水) 11:52:22.40 ID:k5ev/+el.net] 高校だと循環小数は極限を使って考えますが、小学生には無理ですからね そこで安達さんのような勘違いが固定化されてしまうのかもしれませんね 778 名前：現代数学の系譜 雑談 mailto:sage [2020/03/18(水) 12:57:44.53 ID:FNz8AxQE.net] >高校だと循環小数は極限を使って考えますが、小学生には無理ですからね 極限を使って考えるなら良いが、単なる「ゆとり」じゃない？ 数Iとか数Aとかで、極限無関係だし それに、直感的な極限なら、小学生でもいいでしょ。高校でやる必要もない。実際ずっとそれでやってきたんだし 哀れな素人さんの 「割り切れない分数は、10進小数では表わしきれない」と考える人もいるらしい まあ、無限とか極限というのは、高校生なら分かるってものでもないんじゃないかな？（＾＾； 779 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 13:29:12.79 ID:qGVWNuK+.net] 挟み撃ち計算の可視化も面白い｡ 無限数列経過 符番　0　 1 　　2　　3　　… 前者　0　0.9　0.99　0.999　… 後者　2　1.1　1.01　1.001　… 無限数列生成式 前者　0+Σ[k=1,n]9/10^k 後者　2-Σ[k=1,n]9/10^k この無限数列を連続関数化する事が可能 前者　1-0.1^x 後者　1+0.1^x このままだと漸近線となってしまい数列和極限n→∞の関数化x→∞が可視化できない。そこでワイエルシュトラウス宜しく 前者改　1-0.1^(1/x) 後者改　1+0.1^(1/x) 両者改の関数のx→0の時の極限が両者本来の関数x→∞と同じ極限値となる事を利用。すると 無限数列の和の極限と言う完了できない・表示できない筈の無限演算の結果である極限値1を 「『無限集合である連続体』」である直線を引く有限作業に換える事により、完了する事が出来る｡ これは両者改の関数を用意せずとも、対数目盛ならぬ逆数目盛の座標で表示する事も可能｡ 無限作業を有限作業に移し替える｡ 780 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 13:36:14.05 ID:qGVWNuK+.net] 以上を以て数え上げの作業終了不能性や和の極限の有限演算不能性を根拠とした決定性を否定とする｡ 数え上げ無限作業は直線引きにより有限作業互換。和の極限の無限演算は関数化により有限演算互換｡ 代入値∞も関数変換後代入値0で代替可能｡ 781 名前：１３２人目の素数さん [2020/03/18(水) 14:28:26 ID:9pPlurEF.net] >>752 (-∞,∞)の範囲にあるすべての点を数えることは可能である なぜならば、(-∞,∞)は(-1,1)に同相であり、(-1,1)は直線を引くことにより有限作業に直すことができるからである 従って、(-∞,∞)は数え上げ可能であ� 782 名前：閨A無限に離れた点の間を線で結ぶ操作も実は可能であることを意味する これは正しいですか？ [] [ここ壊れてます] 783 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 16:26:11.89 ID:qGVWNuK+.net] >>753 >>751と論理的同値を書いた積もりかい？(1,∞)の代わりに関数操作で(0,1)を対応させている｡ 直線(1,∞)を引く事は不可能だが直線(0,1)を引く事は可能だ｡ 要するにワイエルシュトラウスの乗積表示は値域を逆数表示としたが 今回は定義域を逆数表示とした。これにより求めたいのに無限長である本来の関数の定義域(1,∞)を 有限長区間(0,1)に対応させた｡ 784 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 16:37:42.50 ID:qGVWNuK+.net] >>753 関数操作ではないもう一つの方法、対応目盛ならぬ逆数目盛による解法も存在する事を先述した｡ つまり、逆数目盛なので今度は逆に定義域(0,1)が無限長になり、定義域(1,∞)が有限長になる｡ 元は2が振られた位置に∞が来て、1と∞の中点が2、2と∞の中点が4、4と8の中点が8、…となり､ 一方の(0,1)は逆に0が振られた位置に1/2が来て、0は限り無く離れた位置に押しやられ､ 文字通り対数尺ならぬ逆数尺になる。この様な変則尺により1から∞までの定義域が有限表示できる｡ ズルいと言えばズルい｡ 785 名前：１３２人目の素数さん [2020/03/18(水) 16:38:44.79 ID:k5ev/+el.net] >>754 なぜ、(0,1)はかけるのに(0,∞)は書けないのですか？ どちらも一対一対応つくので、数は同じだと思いますけど 786 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 16:52:15.22 ID:qGVWNuK+.net] >>756 繋ぎ合わせになるから関数曲線特性が一貫しなくなる事を含んで言いたかった｡ 其れを厭わぬなら、(0,1)は通常目盛とし、(1,∞)を逆数目盛とした 繋ぎ合わせ目盛とすれば(0,∞)が有限表示でき、これを対称転写した繋ぎ合わせ(-∞,0)と併せれば まぁ確かに(-∞,∞)も、左からマイナス側逆数目盛→マイナス側通常目盛→プラス側通常目盛 →プラス側逆数目盛、という構成で表示できるっちゃあできる。この様なグラフは 関数の定数部を無視し広域に渡る特性変移を仮表示するのに使える｡ 787 名前：１３２人目の素数さん [2020/03/18(水) 16:56:40.45 ID:k5ev/+el.net] >>757 (1,∞)なら直線はかけるんですか？ 目盛りの返還を行わずに 788 名前：１３２人目の素数さん [2020/03/18(水) 16:58:46.75 ID:+trcnple.net] お前らの言っていることは要するに Z：整数全体 N：自然数全体 ∃n∈N Z/nZ：Zの剰余類群 とする このときZ/nZが有限集合(有限表示)であること を言っているに過ぎない これは自然数を数えきれることと何も関係がない 789 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 17:54:03.21 ID:qGVWNuK+.net] >>758 …直線になんなかったりして… あ、なんない！ 0　/4　/2　01　02　04　∞ 0　？　？　.9　.99　.999　1 直線になる話、対数目盛とごっちゃんなってたゴメンなさい いや、反比例曲線y=1/xが直線になったりするのよ､ この通常尺(0,1)+逆数尺(1,∞)で作る繋ぎ合わせ目盛によるx-y座標は｡ もう20年前の実験だったから所々、記憶錯綜を起こしてた。ゴメン！ でもy=2*xの一部分が曲線に成ったり、更にこのy=2*xで出来る直線+曲線+直線と y=x/2で出来る直線+曲線+直線が、終始直線のy=xを基準に線対称になったり 反比例曲線と比例曲線が形だけは同じになったりする変則尺なんだ。一回つくって遊んでみてくれ｡ 定義域(-1,1)は通常尺で、(-∞,-1)と(1,∞)の両定義域は逆数尺｡ そして値域も(-1,1)は通常尺で、(-∞,-1)と(1,∞)は逆数尺｡ こうして作った尺度変則繋ぎ合わせ目盛は、面白い｡ このグラフ上でn→∞の時のx^nのグラフを描き、更にそのグラフの中からx=1近傍を見てみると… 頭を(1+1/h)^hの式が過る。正無限大羃関数の定義域1近傍に 一点コンパクト化…一線コンパクト化？された指数関数が� 790 名前：ｩ出だせてくる｡ まぁ、変則尺にしてるからであって、数学的価値は指数関数の式にバッタリ出くわしただけで で？って話なんだけど｡ [] [ここ壊れてます] 791 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 18:00:11.13 ID:qGVWNuK+.net] 一部訂正 × 0　/4　/2　01　02　04　∞ 0　？　？　.9　.99　.999　1 ○ 0　/4　/2　01　02　04　∞ 0　？　？　.9　.99　.9999　1 x=4の所のy、1桁不足だった ？の所はえーとビール飲み過ぎそろそろ遅い昼寝したい 792 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 18:03:30.70 ID:Mr3nFPEd.net] >>740 ま、新羅の朝鮮統一のことかもは知れないが、今日は議論出来ない。 それじゃ、おっちゃんもう寝る。 793 名前：１３２人目の素数さん [2020/03/18(水) 18:12:11.04 ID:+trcnple.net] 全称命題　すべてのカラスは黒い これから ある1匹のカラスは黒い を言えるかという問題がある コンピュータ屋はもちろんそう言えると回答するだろう しかし数学や論理学ではそうとも言えない なぜなら全称命題には存在性がないからだ つまり本当にすべてのカラスを観たわけではないので ある1匹のカラスは黒くない可能性がある この立場から言えば1と∞とを対応付けられるという理屈は間違っていると言える 1を定義することはできるが無限(すべてのカラス)を観たものはいない 794 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 18:19:55.40 ID:qGVWNuK+.net] やべぇ滅茶苦茶どころじゃねぇや 1/4乗や1/2乗は逆4乗、逆2乗じゃなくて有理数乗じゃないかよな、俺のバカ垂れ KingOfUniverseに叱られる… 795 名前：１３２人目の素数さん [2020/03/18(水) 18:20:28.33 ID:+trcnple.net] コンピュータ屋は本物のドクズだと思う 今日 山田敏行『はじめての数理論理学』森北出版 を読んだが 数学や論理学としてはどうしようもない内容だった というのも含意命題において 偽の仮定の命題は常に真 すなわち命題の後件が真のとき命題は必ず真である ということをのうのうと説く こんなことは許されない コンピュータ屋は演繹と条件法と含意命題の違いをきちんと学べ もうコンピュータ屋は本を書くな 右も左もわからない学生にとって有害図書だ 796 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 18:31:40.14 ID:qGVWNuK+.net] 1-0.1^0.5=about0.684 1-0.1^0.25=about0.448 これで赦してちょんまげマーチ、コンピューターおばあちゃん しっかし今の5chどうなってんのよ、ニアリーイコール出ないの？ ↓ニアリーイコールテスト↓ ≒ ↑出たかな？↑ 797 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 18:55:09.90 ID:qGVWNuK+.net] >>763 俺は1と∞じゃなくて0と∞とを関連付け、∞の代理に0を活用したんだが｡ 通常目盛だけの座標では定義域上x→∞の時の値域が拝めないんで 1/x=z→0 で式を立て直し、グラフ描き直しゃいかんべよ、と。だんべ？ ガンマ関数を知っててんべ？あれの場合は定義域上の∞じゃなくて値域上∞を嫌った ワイエルシュトラウスって、ありゃ先生職やってたんだっけ？その人が ガンマ関数の逆数関数表示して有限値域グラフを見出だしてくれた訳よ。それが先刻も言った ワイエルシュトラウスの乗積表示ってんだ。知ってんべ？ 尚、通常目盛に拘らず逆数目盛を活用したグラフにする場合は逆数目盛に従い線引きすりゃ良い｡ >>765 それ本当に「偽の仮定の命題は常に真」って書いてた？ 「仮定が偽の命題は何でもかんでも真に成り得る、といった､ 実にぶっ壊れた論理にしか成らない（※）」って話じゃなくて？ それ痛烈に批判意見を投書しなきゃ駄目だな｡ ※…間違いの上に間違いが重なった時、奇跡的に正しい結論に行き着く偶然を除く｡ 正しい論理ではないので正しい知見が得られない偶然の正解｡ 正しい解説も求められる林修的には不正解｡ 798 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 18:56:06.87 ID:qGVWNuK+.net] 飲み足りん、もう寝たい、寝付かん、飲み足りん � 799 名前：ｾく短く！ [] [ここ壊れてます] 800 名前：哀れな素人 [2020/03/18(水) 19:16:55.08 ID:lVJCas+h.net] 今日はまた変なのが二人ほど出て来たな（笑 で、0.99999……は１なのか、そうでないのか（笑 ID:k5ev/+el これは質問少年（笑 依然として自分が正しいと思っているアホ（笑 たぶんこのバカは循環小数＝その極限値 と思っているに違いない（笑 真性のアホ（笑 こいつのアホさは救い難い（笑 バカは死ななきゃ治らない（笑 その点、ガロアスレ主は、 世の中には僕と同じ考え方をする人もいる、 ということを知っているわけで、質問少年やサル石のように、 僕が絶対に間違っていると狂信しているバカとは違う。 そこがガロアスレ主がこの二人よりレベルが上の証拠なのである。 人間性に寛大さがある。精神に余裕がある。 801 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 19:35:19.63 ID:n7m2ZkX6.net] >>748 >>769 阪大を一年で中退した負け犬セタは 実数の定義も理解できない正真正銘の白痴だから 京大卒安達には何もいえず媚び諂う 802 名前：１３２人目の素数さん [2020/03/18(水) 19:40:07.32 ID:k5ev/+el.net] それで、無限級数の和は部分和の極限だとおっしゃっているのに、なぜ無限級数の和は考えてはいけないんでしたっけ？ 803 名前：１３２人目の素数さん [2020/03/18(水) 19:41:43.56 ID:n7m2ZkX6.net] >>750 ＞無限とか極限というのは、高校生なら分かるってものでもない 実際セタは高校時代無限極限が全く理解できず解法の丸暗記で誤魔化した その証拠に大学一年の四月の実数論の講義が全く理解できず 五月病で大学休学した末に中退　御愁傷様(-||-) 804 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 19:43:07.28 ID:n7m2ZkX6.net] 級数といえば和なので、「級数の和」というのは 「頭痛の痛み」というのと同じ馬鹿発言 国文科って日本語教えないんだな・・・ 805 名前：哀れな素人 [2020/03/18(水) 19:46:54.08 ID:lVJCas+h.net] ケーキを食べ尽くすことはできないし、 1/2＋1/4＋1/8＋…は１と等しくはないし、 0.33333……は1/3と完全に等しいわけではないし、 0.99999……＝は１ではないのである（笑 こんなことは常識なのだ（笑 0.33333……＝1/3と思っている人は多いだろうが、 それ以外については、とくに聡明な人でなくても、 世間一般の人は、僕と同じ考え方をしているのだ。 本当だぞ（笑 >>771 過去レスを読み返せアホ お前は正真正銘のアホだ（笑 お前のようなアホには出会ったことがない（笑 806 名前：哀れな素人 [2020/03/18(水) 19:50:39.93 ID:lVJCas+h.net] >>773 バカ（笑 １＋２　←これは和ではないぞ（笑 １＋２＝３　←この３が和だ（笑 分っているか？（笑 サル石よ、質問少年のようなアホにだけはなるな（笑 807 名前：１３２人目の素数さん [2020/03/18(水) 19:53:47.39 ID:k5ev/+el.net] >>774 安達さんが無限級数の和は部分和の極限であると言っていたことは覚えてますね 808 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 19:54:49.13 ID:n7m2ZkX6.net] >>775 やっぱり、安達は日本語知らん １＋２　←これが和 １＋２＝３　←この３は和の値 分かれ！ドアホ 809 名前：１３２人目の素数さん [2020/03/18(水) 19:57:25.28 ID:+trcnple.net] G：集合 G×G：Gの直積集合 とする このとき 写像 f：G×G　→　G (a,b)　　　　　f((a,b))　　(∀a,b∈G) により和 f((a,b))：=a+b を定める ( ｰ`дｰ´)ｷﾘｯ 810 名前：哀れな素人 [2020/03/18(水) 19:58:19.91 ID:lVJCas+h.net] >>777 バカ（笑 広辞苑で和を引いてみろ（笑 加減乗除と和差積商の違いが分っているか？（笑 加減乗除とは足し算・引き算・掛け算・割り算のことだ。 和差積商とは、それらの計算の結果として出た値のことだ。 分っているか？（笑 ここで一時間中断（笑 811 名前：１３２人目の素数さん [2020/03/18(水) 20:00:25.80 ID:+trcnple.net] でも∀a,b∈Gに対して a+b を定めたとしても全称命題の不存在性から 1+1を保証したことにならないなと思っている 写像の定義 ∀x∈X，　∃1y∈Y；　f(x)=y から見直さないとな 812 名前：１３２人目の素数さん [2020/03/18(水) 20:02:33.00 ID:+trcnple.net] ∃a,b∈G：群 a+b これならa+aのときに1+1を保証できる 813 名前：１３２人目の素数さん [2020/03/18(水) 20:06:47 ID:k5ev/+el.net] >>779 無限級数の和とは、部分和の極限を計算して出てきた値のことなので、無限級数の和はあるということですね？ 814 名前：１３２人目の素数さん [2020/03/18(水) 20:0 ] [ここ壊れてます] 815 名前：9:33 ID:+trcnple.net mailto: 変数に何でも代入できるというのも考え直さなければならない 変数とは何か 通常 ∀xを変数 ∃aを定数 というが 全称命題の不存在性から∀x(x=1)ができないとすると ∃x(x=1)としなければならない いくらでも動くという意味で∀xが在るが ∃1x：定数 ∃x：任意定数 とするのはどうだろうか そもそも任意定数と変数の違いがわからなかったから いっそのこと変数という用語は削除してしまえ [] [ここ壊れてます] 816 名前：１３２人目の素数さん [2020/03/18(水) 20:13:05 ID:k5ev/+el.net] >>783 スルーしてたんですけど、全称命題が存在しないとはどのような意味ですか？ 817 名前：１３２人目の素数さん [2020/03/18(水) 20:22:20 ID:+trcnple.net] >>784 全称命題の演繹 すべてのリンゴは赤い：真 とする このとき 本当にすべてのリンゴを確かめた訳ではないので 個別のリンゴが本当に赤いかどうかはわからない そういう意味で全称命題の不存在性と言っています 818 名前：１３２人目の素数さん [2020/03/18(水) 20:27:57 ID:k5ev/+el.net] >>785 全てのリンゴが赤いかどうか確かめたら、その命題は正しいということですか？ 819 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 20:28:59 ID:n7m2ZkX6.net] >>779 ＞加減乗除とは足し算・引き算・掛け算・割り算のことだ。 ＞和差積商とは、それらの計算の結果として出た値のことだ。 加減乗除＝和差積商　であり演算のこと 演算の値を和差積商というのは在阪朝鮮人の安達（アン・タツ）だけ 820 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE mailto:sage [2020/03/18(水) 20:30:47 ID:vfR9jLHl.net] >>784 確かに、意味わからん というか、聞いたことがないな（＾＾； 821 名前：１３２人目の素数さん [2020/03/18(水) 20:34:41 ID:+trcnple.net] >>786 違う 全称命題の前に演繹とは 真の前提から真の結論を得ることをいう すなわち命題の前件が真であるとき後件も真である このとき前件が偽である場合について何も言ってない そして全称命題の演繹というのは すべての〇〇について語ることだが この○○を個々の△△からすべて確かめることはできない リンゴの例でいうと リンゴは全部赤い という前提で議論をするということ その前提のため赤くないリンゴが出てきてしまうことを排除できない 822 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 20:36:03 ID:n7m2ZkX6.net] また＊＊のセタが、誰も来ないＣスレから這い出てきたか 823 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 20:39:23 ID:n7m2ZkX6.net] ＞在阪朝鮮人の安達（アン・タツ） 実は朝鮮人ですらなく満州のツングースらしい https://ja.wikipedia.org/wiki/%E3%83%84%E3%83%B3%E3%82%B0%E3%83%BC%E3%82%B9%E7%B3%BB%E6%B0%91%E6%97%8F 824 名前：１３２人目の素数さん [2020/03/18(水) 20:41:28 ID:k5ev/+el.net] >>789 数学における演繹とは、ある論理式から推論規則によって新たな論理式を得る操作のことを言うかと思いますけど、それとは異なる意味ですか？ 825 名前：１３２人目の素数さん [2020/03/18(水) 20:43:23 ID:+trcnple.net] >>792 狭義にはそうですね 広義には真なる前提から導出される真の結論を指します 論拠は 野矢茂樹の論理学です 826 名前：１３２人目の素数さん [2020/03/18(水) 20:47:16 ID:k5ev/+el.net] >>793 形式にとらわれないで、広義の意味の論理学を論じるわけですね わかりました 全てのリンゴが赤い これを仮定したなら、全てのリンゴは赤くないといけないと思いますが、なにが問題なのでしょうか？ 827 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE mailto:sage [2020/03/18(水) 20:47:22 ID:vfR9jLHl.net] >>789 ？（＾＾； https://ja.wikipedia.org/wiki/%E5%85%A8%E7%A7%B0%E5%91%BD%E9%A1%8C 全称命題 全称命題（ぜんしょうめいだい、英：universal proposition）とは、一つの集合を構成する全ての項について、ある性質を肯定する命題である。 例えば、「全ての犬はいずれ死ぬ」という命題と「全ての牛は空を飛ぶ」という命題はどちらも全称命題であり、前者は真であり後者は偽である。全称命題は、存在命題の否定と論理的に等値である。 それゆえ、「全ての牛は空を飛ぶ」という命題を主張することは、「少なくとも一頭は空を飛べない牛がいる」という命題を否定することと等値である。 ただし、ヒューム的な因果に関する懐疑論の線に従えば、真となる全称命題は唯一、アプリオリに存在し定義から導き出される種類の命題（「全ての犬は哺乳類である」など）に限られる。 アポステリオリに、すなわち世界についての経験から導き出される命題（「全ての犬は4本足をもって生まれてくる」など）は決して真として確証されることはなく、差し当� 828 名前：ｽり真とされている（反証可能である）、というものである。 https://wiis.info/math/logic/predicate-logic/quantifier-and-negation/ WIIS 量化記号と否定 更新日：2019年10月14日 公開日： 2019年1月1日 要旨 全称命題の否定は否定の存在命題と同値であり、存在命題の否定は否定の全称命題と同値です。 量化記号と否定 量化記号∀,∃と否定¬の間には以下の関係が成り立ちます。 命題（量化記号の否定） 任意の論理式Aと変数x∈Xに対して以下が成り立つ。 (a) ¬(∀x∈X A) ⇔ ∃x∈X ¬A (b) ¬(∃x∈X A) ⇔ ∀x∈X ¬A 証明を見る（プレミアム会員限定） (a)は、全称命題の否定は否定の存在命題と同値であること、 (b)は、存在命題の否定は否定の全称命題と同値であること をそれぞれ表しています。 [] [ここ壊れてます] 829 名前：１３２人目の素数さん [2020/03/18(水) 20:50:59 ID:+trcnple.net] >>794 仮定ではありません 演繹です 野矢茂樹の論理学を読んでください 全称量化子というのは存在を担保していない すべてのリンゴ　⇒　すべてのリンゴは赤い　：真 ここである1つのリンゴが在る これは赤いか？ これについて演繹は何も答えてくれません 貴方とは議論しても無駄だと思いますからレスいらないです 830 名前：１３２人目の素数さん [2020/03/18(水) 20:51:51 ID:9FBldreb.net] >>774 >ケーキを食べ尽くすことはできないし、 >1/2＋1/4＋1/8＋…は１と等しくはないし、 >0.33333……は1/3と完全に等しいわけではないし、 >0.99999……＝は１ではないのである（笑 おまえが言ってるのは全部「有限回では」という条件付きの話ｗ 実無限を理解できない馬鹿に数学は無理ｗ　さっさと巣へ帰れｗ 831 名前：１３２人目の素数さん [2020/03/18(水) 20:53:14 ID:9FBldreb.net] >>775 はい、安達は小学生に負けますたｗ 832 名前：１３２人目の素数さん [2020/03/18(水) 20:54:51 ID:k5ev/+el.net] >>796 全てのリンゴは赤い → 全てのリンゴが赤い これから、全てのリンゴは赤い、を結論することはできない、ということですか？ そりゃそうなんじゃないですかね 普通の論理学では、前件が偽なら、常に包含命題は真になるというやつですね 上であなたはなんか批判してましたけど で？ 833 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE mailto:sage [2020/03/18(水) 20:56:44 ID:vfR9jLHl.net] >>790 おサルは、時枝が成立しないと、分かった来たらしいな だから、カントルスレに来なくなったんだねｗｗ(゜ロ゜； （参考） 現代数学の系譜　カントル　超限集合論2 https://rio2016.5ch.net/test/read.cgi/math/1576852086/546-548 834 名前：１３２人目の素数さん [2020/03/18(水) 20:59:22 ID:+trcnple.net] >>799 野矢茂樹『まったくゼロからの論理学』岩波書店 これで勉強してください 僕も含意命題や仮定という論理用語を間違って使っていたので 835 名前：１３２人目の素数さん [2020/03/18(水) 21:00:55 ID:k5ev/+el.net] >>801 あなたが言い始めたことなんですから、ここで教えてくれてもいいじゃないですか 安達さんと同じですか？ 本を読めといって逃げるのでしょうか？ 836 名前：１３２人目の素数さん [2020/03/18(水) 21:01:10 ID:k5ev/+el.net] トンデモさんは皆同じ方法で逃げるんですね 837 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 21:03:39 ID:n7m2ZkX6.net] >>800 Ｇスレが２度も潰された時点で セタは「王様」ではなくなった ただのアホのスレに書きこむ馬鹿はいない 838 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 21:05:58 ID:n7m2ZkX6.net] 1位　0.99999……は１ではない　その６　勢い107 ・・・ 10位 現代数学の系譜　カントル　超限集合論2　勢い6 これが現実　落ちぶれたセタには誰も興味がない 839 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE mailto:sage [2020/03/18(水) 21:08:42 ID:vfR9jLHl.net] >>804 負け惜しみ しっかりと、聞き届けましたよ おサルさんｗｗ（＾＾； 840 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE mailto:sage [2020/03/18(水) 21:09:33 ID:vfR9jLHl.net] >>805 勢い なんて 所詮あそびだよ 無価値ですｗ 841 名前：１３２人目の素数さん [2020/03/18(水) 21:10:36 ID:+trcnple.net] 僕の言いたいことは ここですべての自然数から1を選べるのかということです 言いたいことはもう書いたのであとは読んでください 150 自分返信：名無しさん＠１周年[] 投稿日：2020/03/18(水) 19:38:34.19 ID:UUyjM+p00 [3/3] >>136 すべての入学式出席者　⇒　受験合格者である：真 これは入学式出席者であるという前提が真であるとき 受験合格者であることも真であるという演繹である これを同じ� 842 名前：謔､な理屈の条件法(含意命題)とみてしまうと間違える すべての入学式出席者が真であるならば 受験合格者であることが真である のであるから出席者の中に教員や親族がいるので 受験合格者であるいことは偽であると言える このように演繹と条件法の違いについて 演繹は命題の前件を前提というのに対し 条件法は命題の前件を仮定という 演繹の場合は真の前提しか考えず 真の前提からは真の後件しか出てこないので 前件や後件が偽の場合については 何も言っていない これに対して条件法は偽の仮定や後件が偽についても考慮する これが演繹と条件法との決定的な違いだ 数学や形式論理学では演繹を用いるので このとき全称量化された命題では 個々のある存在について言及していない 言い換えると数学や論理学における演繹というのは 真のものしか扱わないのでたとえ全称命題で覆われていても 個々の存在の真理値は不明なのである それゆえ演繹としてすべての入学式出席者は受験合格者である ということが真の場合にも ある入学者が受験合格者でないという場合があるのだ これより すべての自然数　⇒　可算無限個である という場合 ある自然数は数えられる とは言い切れないので N：自然数全体 とする ∀n∈Nに対してn=1と選ぶことは必ずしもできない すなわち一般に全称量化された自然数全体からn=1を選ぶことはできない [] [ここ壊れてます] 843 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 21:10:50 ID:n7m2ZkX6.net] >>804 自称「王様」　発狂ｗｗｗｗｗｗｗ さっさと巣（Ｃスレ）に帰れ！　アホウ 844 名前：１３２人目の素数さん [2020/03/18(水) 21:11:11 ID:9FBldreb.net] >>800 そんな下手くそな煽りじゃ安達スレとの差、開く一方ですよ？ 845 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 21:12:48 ID:n7m2ZkX6.net] >>808 セタなんて人間失格のカスだよ 首吊って死ね 　　 || 　∧||∧ （ / ⌒ヽ 　| | 　　| 　∪ / ﾉ 　 | ｜| 　 ∪∪ 846 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE mailto:sage [2020/03/18(水) 21:13:18 ID:vfR9jLHl.net] >>795 ＞ https://ja.wikipedia.org/wiki/%E5%85%A8%E7%A7%B0%E5%91%BD%E9%A1%8C ＞全称命題 ＞「全ての牛は空を飛ぶ」という命題を主張することは、「少なくとも一頭は空を飛べない牛がいる」という命題を否定することと等値である。 これを、リンゴに当てはめれば 「全てのリンゴは赤い」という命題を主張することは、「少なくとも一個の赤くないリンゴがある」という命題を否定することと等値である！！ｗｗ(゜ロ゜； 847 名前：１３２人目の素数さん [2020/03/18(水) 21:15:04 ID:+trcnple.net] >>812 自分の頭で考えろよ くだらんコピペbot これは最後のレスだ 全称量化子の否定が存在量化子であるという話と同じにするなカス 848 名前：１３２人目の素数さん [2020/03/18(水) 21:15:19 ID:k5ev/+el.net] >>808 さらっと読みましたが、あなたがなにもわかっていないということがよくわかりました >>808 ＞すべての入学式出席者が真であるならば これだけ読んで日本語おかしいと思わ 849 名前：ないんですかね 全ての入学式出席者がなにをするんでしょう？ 述語がないですよね こういう細かいところを疎かにするから、わけのわからないことを考えないといけなくなるんだと思いますけど [] [ここ壊れてます] 850 名前：１３２人目の素数さん [2020/03/18(水) 21:17:13 ID:+trcnple.net] >>814 である：述語　←簡単だから省略 851 名前：１３２人目の素数さん [2020/03/18(水) 21:18:35 ID:9FBldreb.net] 「すべてのリンゴは赤い」 と仮定しておきながら 「全部確かめた訳じゃない」 って何だよそれｗ　ビール吹いたじゃねーかｗ 安達、瀬田を超える強者出現ｗ 852 名前：１３２人目の素数さん [2020/03/18(水) 21:19:41 ID:+trcnple.net] >>816 演繹 P：真　ならば　Q：真 これより すべてのリンゴは赤いという前提 これが含意命題 853 名前：１３２人目の素数さん [2020/03/18(水) 21:19:54 ID:k5ev/+el.net] >>815 >>808 すべての入学式出席者である、が真であるならば 意味不明ですけど？ 854 名前：１３２人目の素数さん [2020/03/18(水) 21:21:47 ID:+trcnple.net] >>816 それから仮定でもない 前提 お前の笑いは低いね 855 名前：１３２人目の素数さん [2020/03/18(水) 21:22:32 ID:+trcnple.net] >>818 お前は日本語が読めない対偶くんだってわかったよ お前と対偶の話はもうしねえよｗ 856 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 21:22:34 ID:n7m2ZkX6.net] ∀ｘ．リンゴ（ｘ）⇒赤（ｘ）　の否定は 　¬∀ｘ．リンゴ（ｘ）⇒赤（ｘ） ⇔∃ｘ．¬（リンゴ（ｘ）⇒赤（ｘ）） ⇔∃ｘ．リンゴ（ｘ）＆¬赤（ｘ） つまり「赤くないリンゴが存在する」 857 名前：１３２人目の素数さん [2020/03/18(水) 21:22:38 ID:9FBldreb.net] >>807 じゃああれほど勢いランキング上位だと自慢しまくらないでよかったのにねｗ 悔しいのぅｗ 858 名前：１３２人目の素数さん [2020/03/18(水) 21:23:54 ID:+trcnple.net] >>821 だから全称命題の否定の話ではない 859 名前：１３２人目の素数さん [2020/03/18(水) 21:23:58 ID:k5ev/+el.net] >>820 人違いですね 安達さんと一緒ですか？ 逃げちゃうんですか？ 860 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE mailto:sage [2020/03/18(水) 21:24:57 ID:vfR9jLHl.net] >>812 >>795 ＞ https://ja.wikipedia.org/wiki/%E5%85%A8%E7%A7%B0%E5%91%BD%E9%A1%8C ＞全称命題 ＞「全ての牛は空を飛ぶ」という命題を主張することは、「少なくとも一頭は空を飛べない牛がいる」という命題を否定することと等値である。 これを、リンゴに当てはめれば 「全称命題　すべてのカラスは黒い」 という命題を主張することは、 「少なくとも一羽の黒くないカラスがいる」という命題を否定することと等値である！！ｗｗ(゜ロ゜； つまり、ある1匹のカラスがいるとすると、そのカラスは黒い 　↓ ある1匹のカラスは黒い 861 名前：１３２人目の素数さん [2020/03/18(水) 21:26:54 ID:+trcnple.net] >>825 よかったなお前と同じ間違いをしている奴がもう一匹いるぞ コピペ死ね 862 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE mailto:sage [2020/03/18(水) 21:27:10 ID:vfR9jLHl.net] >>822 >じゃああれほど勢いランキング上位だと自慢しまくらないでよかったのにねｗ >悔しいのぅｗ おサルは、ほんに関東育ちかな？ ”勢いランキング上位”なんて、笑いを取るためのシャレだよ、シャレよ 関西人には常識ですｗｗ(゜ロ゜； 863 名前：１３２人目の素数さん [2020/03/18(水) 21:27:19 ID:9FBldreb.net] どうでもいいけどツチノコくんは昨日から外しまくってて浮いてるんだけど自覚ある？ なんとか論理を説明したいなら説明すればいいし、したくないなら来なければいいのに、なんで来るの？ 864 名前：１３２人目の素数さん [2020/03/18(水) 21:27:59 ID:k5ev/+el.net] >>826 すべての入学式出席者 これは命題じゃないですよー コピペしてるのはあなたの方ですよね 本に書いてあることコピペしてるだけだから、わかってないことがバレバレなんですけどー 865 名前：１３２人目の素数さん [2020/03/18(水) 21:29:29 ID:+trcnple.net] >>829 単称命題ですけど 866 名前：１３２人目の素数さん [2020/03/18(水) 21:31:06 ID:k5ev/+el.net] ＞すべての入学式出席者 コピペはやめて、日本語として考えましょう これは命題じゃありません 正しいも間違ってるもなにもありません ここに入学式出席者がいます はい、そうですか それがどうしたんですか？ てなりますよねぇ？ 867 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE mailto:sage [2020/03/18(水) 21:31:20 ID:vfR9jLHl.net] >>826 ？ おサル 　>>825が間違い？ 「全称命題　すべてのカラスは黒い」 　↓ ｘが、1匹のカラスとする 　↓ ｘは、黒い おサル、笑えるぜｗ(゜ロ゜； 868 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE mailto:sage [2020/03/18(水) 21:34:25 ID:vfR9jLHl.net] >>830 ＞単称命題ですけど 出た出た サイコパス性格がｗｗ（＾＾； おサルさ、お前低脳なんだからさ 間違っても、恥ずかしがらなくていいんだ おサルの知能でさ そんなに頑張らなくて良いぞ〜ｗｗ 869 名前：１３２人目の素数さん [2020/03/18(水) 21:39:21 ID:+trcnple.net] 俺に言われなくてもやっているかも知れないが bot管理者はこの現状を野矢茂樹のグループに伝えろ 書き直さなきゃやってられん 870 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE mailto:sage [2020/03/18(水) 21:41:06 ID:vfR9jLHl.net] >>829 >すべての入学式出席者 >これは命題じゃないですよー おれも、「命題じゃない」に同意 普通は、”すべての入学式出席者”は、文ではなく、単語と解釈されます（英文法などで、主語や目的語になり得るもの） むりやり、”すべての入学式出席者”を文章に解釈することも可能ですけどね。あくまで特殊な解釈ですね 871 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE mailto:sage [2020/03/18(水) 21:42:13 ID:vfR9jLHl.net] >>834 おまえがさ、野矢茂樹のグループに伝えて、このスレに来るように言え 可愛がってやるぜｗ（＾＾； 872 名前：１３２人目の素数さん [2020/03/18(水) 21:45:06 ID:k5ev/+el.net] >>835 すべての入学式出席者　⇒　受験合格者である：真 多分、こういうこと書く人、全て、が本当はどこにかかるべきなのかわかってないんだと思うんですよね ∀x (xは入学式出席者)→(xは受験合格者である) これを考えてるのだってことがわかってないんですよ多分 だから前件が真の時しか考えない云々が始まるわけです xが保護者の時も、上のxには含まれていて、その時でも論理式全体では真になるということがわかってないのです 873 名前：１３２人目の素数さん [2020/03/18(水) 21:46:53 ID:9FBldreb.net] ツチノコくんさあ なんとか論理学も結構だけど、まったく議論についてこれてないよ君 特に>>759は酷いなんてもんじゃない で、その割に超高飛車なんで浮きまくってるんだよ 自覚した方がいいと思うよ？ 874 名前：１３２人目の素数さん [2020/03/18(水) 21:47:42 ID:+trcnple.net] 見当違いも甚だしい 875 名前：哀れな素人 [2020/03/18(水) 21:49:19 ID:lVJCas+h.net] >>837 何にも分ってないのはお前だって同じだろアホ 極限値と和の違いも分からないバカ（笑 >本に書いてあることコピペしてるだけだから、わかってないことがバレバレなんですけどー それがお前のことだアホ（笑 >>787 広辞苑 和　〔数〕二つ以上の数・式などを加えて得た値。 差　一つの数値と他の数値との間のひらき。さしひき。 積　〔数〕二つ以上の数・式などを掛けて得た数値。 商　〔数〕ある数（式）を他の数（式）で割って得た値。 876 名前：１３２人目の素数さん [2020/03/18(水) 21:49:30 ID:k5ev/+el.net] >>839 あなたははやく すべての入学式出席者　⇒　受験合格者である：真 早くこれ正しい日本語に直してくださいねー すべての入学式出席者 ↑ これに正しいも正しくないもないですからね？ 877 名前：１３２人目の素数さん [2020/03/18(水) 21:50:11 ID:k5ev/+el.net] >>840 安達さんが、無限級数の和は部分和の極限だとおっしゃったんですよ？ 私じゃないですよ？ 878 名前：１３２人目の素数さん [2020/03/18(水) 21:51:05 ID:+trcnple.net] 所詮能無し これ� 879 名前：ｪ限界か つまんねえなあAI時代ってよ〜 じゃあな [] [ここ壊れてます] 880 名前：１３２人目の素数さん [2020/03/18(水) 21:52:42 ID:k5ev/+el.net] はい、逃げましたね 881 名前：１３２人目の素数さん [2020/03/18(水) 21:54:21 ID:+trcnple.net] お前らはここから出られないからそんなことしか言えないんだなｗｗｗ なんなんだお前らの上から目線 死ねよｗｗｗｗ botざまああああああああああ 882 名前：１３２人目の素数さん [2020/03/18(水) 21:54:50 ID:9FBldreb.net] >すべての入学式出席者　⇒　受験合格者である ∀x∈入学式出席者全体の集合 ⇒ x∈受験合格者全体の集合 くらいに書けないかなあ？ 883 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 21:56:28 ID:n7m2ZkX6.net] 全ての人間には人間の母親がいる ∀ｘ．人間（ｘ）⇒∃ｙ．人間（ｙ）＆母子（ｙ、ｘ） その否定は 　¬（∀ｘ．人間（ｘ）⇒∃ｙ．人間（ｙ）＆母子（ｙ、ｘ）） ⇔∃ｘ．¬（人間（ｘ）⇒∃ｙ．人間（ｙ）＆母子（ｙ、ｘ）） ⇔∃ｘ．人間（ｘ）＆¬（∃ｙ．人間（ｙ）＆母子（ｙ、ｘ）） ⇔∃ｘ．人間（ｘ）＆∀ｙ．¬（人間（ｙ）＆母子（ｙ、ｘ）） ⇔∃ｘ．人間（ｘ）＆∀ｙ．人間（ｙ）⇒¬（母子（ｙ、ｘ）） つまり「ある人間は人間の母親がいない」 884 名前：１３２人目の素数さん [2020/03/18(水) 21:56:41 ID:k5ev/+el.net] >>846 それはちょっとおかしいですね 885 名前：哀れな素人 [2020/03/18(水) 21:58:02 ID:lVJCas+h.net] 足し算のことを加法というが、和法とは言わないだろ（笑 また、単に足し算のことを和というなら、 発散する無限級数にも和はあることになる（笑 なぜなら無限級数は足し算だから（笑 ところが数学では発散する無限級数は和を持たない、 と定義しているのである（笑 つまり和とは足し算のことではない（笑 足し算の結果としての値のことだ（笑 分るか？（笑 >>842 バカ（笑 何度言えば分るのか、お前は（笑 過去レスを読み返せキチガイ（笑 886 名前：１３２人目の素数さん [2020/03/18(水) 21:58:10 ID:9FBldreb.net] >>848 じゃあおかしくないやつ頼む 887 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 21:59:27 ID:n7m2ZkX6.net] >>846 正しくは ∀x∈入学式出席者全体の集合 ．x∈受験合格者全体の集合 これは ∀x.（x∈入学式出席者全体の集合⇒x∈受験合格者全体の集合） の意味 888 名前：１３２人目の素数さん [2020/03/18(水) 22:00:30 ID:k5ev/+el.net] >>850 ∀x [x∈入学式出席者全体の集合 ⇒ x∈受験合格者全体の集合] もしくは、単に ∀x∈ 入学式出席者全体の集合 xは受験合格者 ∀x∈A φ(x) ⇔ ∀x (x∈A→φ(x)) これ同じ意味なんですよ 889 名前：１３２人目の素数さん [2020/03/18(水) 22:01:27.26 ID:k5ev/+el.net] >>849 収束する無限級数には和はあるんですか？ 890 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 22:02:30.20 ID:n7m2ZkX6.net] >>849 ＞発散する無限級数にも和はあることになる 「和はある」とはいわない 「和」は演算だから 無限回の演算ができないから 有限回の演算の無限列の極限をその値とする 891 名前：哀れな素人 [2020/03/18(水) 22:03:58.23 ID:lVJCas+h.net] ID:+trcnple君へ ID:k5ev/+el　←これは質問少年という2ch随一の粘着キチガイ ID:n7m2ZkX6　←これはサル石という、これも2ch随一の噛み付き魔 よく覚えておくように（笑 892 名前：１３２人目の素数さん [2020/03/18(水) 22:06:54.44 ID:+trcnple.net] >>855 わかった ありがとうｗ 893 名前：哀れな素人 [2020/03/18(水) 22:09:56.47 ID:lVJCas+h.net] >>853 バカ（笑 すでに何度も書いているだろ、無限級数に和はないと。 収束する無限級数にも和はないのだ。 和がないから、仕方なく、アホな数学者どもが。極限値を和と定義したのだ。 >>854 広辞苑 和　〔数〕二つ以上の数・式などを加えて得た値。 差　一つの数値と他の数値との間のひらき。さしひき。 積　〔数〕二つ以上の数・式などを掛けて得た数値。 商　〔数〕ある数（式）を他の数（式）で割って得た値。 894 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 22:15:02.67 ID:n7m2ZkX6.net] 誤　和はないのだ 正　和に値はないのだ 誤　和とは、二つ以上の数・式などを加えて得た値 正　和とは、二つ以上の数・式などを加える演算 895 名前：１３２人目の素数さん [2020/03/18(水) 22:16:11.97 ID:k5ev/+el.net] >>857 定義したんだから和はありますよねぇ 安達さんも、無限級数の和は部分和の極限だとおっしゃっていましたね 896 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 22:17:29.11 ID:n7m2ZkX6.net] 加法とも和法ともいう！ 減法とも差法ともいう！ 乗法とも積法ともいう！ 除法とも商法ともいう！ 満州の女真人、安達（アン・タツ）を木端微塵に論破！ 897 名前：１３２人目の素数さん [2020/03/18(水) 22:17:39.10 ID:9FBldreb.net] >>808 >∀n∈Nに対してn=1と選ぶことは必ずしもできない なにこれ、意味不明過ぎ、誰か解説頼む 898 名前：哀れな素人 [2020/03/18(水) 22:19:37.46 ID:lVJCas+h.net] 演算のことは加減乗除といい、 演算の結果として得られた値のことを和差積商というのである。 分るか？（笑 >>859 お前は>>857を読んで意味が分らないのか（笑 だからお前のようなアホはどこにもいないのだ（笑 899 名前：１３２人目の素数さん [2020/03/18(水) 22:20:03.68 ID:k5ev/+el.net] >>861 わかる必要ないですよ すべての自然数 ↑これが命題だと思ってる人の文章ですから 900 名前：１３２人目の素数さん [2020/03/18(水) 22:20:38.00 ID:k5ev/+el.net] >>862 仕方なくでも定義したんだから和はありますよ？ 安達さんも、無限級数の和は部分和の極限だとおっしゃっていましたよね 901 名前：１３２人目の素数さん [2020/03/18(水) 22:21:53.23 ID:9FBldreb.net] >>808 >ある自然数は数えられる >とは言い切れないので 数えられない自然数って例えば何？ 902 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2020/03/18(水) 22:28:29.30 ID:vfR9jLHl.net] >>834 ＞野矢茂樹のグループに伝えろ 野矢茂樹？ 下記かい？ 哲学屋か？ 哲学の論理と、数学の 903 名前：論理はちょっと違うよ 例えば、「無限」という概念は、数学と哲学では異なる で、哲学は、哲学における無限を扱う必要性から、哲学の論理は、数学と異なるんだろうね、きっと（＾＾； https://ja.wikipedia.org/wiki/%E9%87%8E%E7%9F%A2%E8%8C%82%E6%A8%B9 野矢茂樹 (抜粋) 野矢 茂樹（のや しげき、1954年9月15日 - ）は、日本の哲学者。立正大学文学部哲学科教授。東京大学名誉教授。東京都出身。 活動 専攻は哲学、特に分析哲学[1]。大森荘蔵に師事。ウィトゲンシュタインを中心に、クワイン、デイヴィッドソンなどもしばしば参照の対象とする。平易な説明による哲学入門書や論理学入門書の執筆も多い。2017年、『心という難問?? 空間・身体・意味』で第29回和辻哲郎文化賞受賞。 略歴 1973年　東京学芸大学附属高等学校卒業 1978年　東京大学教養学部教養学科基礎科学・科学哲学分科卒業 1985年　東京大学大学院理学系研究科科学基礎論専門課程博士課程単位取得退学 1999年　東京大学教養学部教授 2008年　東京大学大学院総合文化研究科教授[2] 2018年　東大名誉教授、立正大学文学部哲学科教授。 著書 単著 『論理学』東京大学出版会、1994年。ISBN 978-4130120531。 『論理トレーニング』産業図書〈哲学教科書シリーズ〉、1997年。ISBN 978-4782802052。 『無限論の教室』講談社〈講談社現代新書〉、1998年。ISBN 978-4061494206。 『論理トレーニング101題』産業図書、2001年。ISBN 978-4782801369。 『ウィトゲンシュタイン「論理哲学論考」を読む』哲学書房、2002年。ISBN 978-4886790781。 『入門! 論理学』中央公論新社〈中公新書〉、2006年。ISBN 978-4121018625。 訳書 ウィトゲンシュタイン『論理哲学論考』岩波書店〈岩波文庫〉、2003年。ISBN 978-4003368916。 共訳書 C. マッギン『ウィトゲンシュタインの言語論-クリプキに抗して』植木哲也・塚原典央訳、勁草書房、1990年。ISBN 978-4326152339。 A. ウエストン『ここからはじまる倫理』高村夏輝・法野谷俊哉訳、春秋社、2004年。ISBN 978-4393323045。 [] [ここ壊れてます] 904 名前：哀れな素人 [2020/03/18(水) 22:33:21.50 ID:lVJCas+h.net] >>860 >加法とも和法ともいう！ >減法とも差法ともいう！ >乗法とも積法ともいう！ >除法とも商法ともいう！ 言わない（笑 >>864 お前があると思うなら、そう思っていればいい（笑 利口な人でなくてもフツーの高校生はみんな、 無限級数には和はないから、仕方なく、 極限値を和と定義したのだ、ということを知っているのであって、 無限級数は極限値には達しないということを知っているのである（笑 知っていないのはお前のようなボンクラだけ（笑 お前は数学をやれるようなレベルの人間ではない（笑 905 名前：１３２人目の素数さん [2020/03/18(水) 22:35:17.59 ID:k5ev/+el.net] >>867 無限級数の和を定義したのに、なぜ無限級数には和がないのですか？ 意味不明なんですけど 906 名前：１３２人目の素数さん [2020/03/18(水) 22:36:26.48 ID:9FBldreb.net] >>867 >仕方なく、極限値を和と定義したのだ なんで仕方なく定義する必要があるの？ 907 名前：１３２人目の素数さん [2020/03/18(水) 22:40:46.74 ID:9FBldreb.net] >>867 仕方なくとかそんな投げやりでいいの？ 投げやりでいいなら他の定義の仕方もあるよね、なんでわざわざその定義にしたの？ 908 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2020/03/18(水) 22:41:10.21 ID:vfR9jLHl.net] >>866 野矢茂樹、野矢茂樹ってさ、それ あなた ”ウィトゲンシュタイン”に「論理哲学」かぶれているのかい？ 現代数学は、”ウィトゲンシュタイン”の時代より、はるかに進んでいるよｗ（＾＾； https://ja.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E5%93%B2%E5%AD 909 名前：%A6%E8%AB%96%E8%80%83 論理哲学論考 (抜粋) 『論理哲学論考』（ろんりてつがくろんこう、独: Logisch-Philosophische Abhandlung、英: Tractatus Logico-philosophicus）は、ルートヴィヒ・ウィトゲンシュタインの著作。ウィトゲンシュタインが生前に出版したただ一つの哲学書であり、かつ前期ウィトゲンシュタインを代表する著作である。 後期ウィトゲンシュタインの代表作である『哲学探究』が『探究』と略されるのに対し、この『論理哲学論考』は『論考』と略される。 第一次世界大戦のさなかの1918年に執筆され、初版はドイツで1921年に出版された。 目次 1 スタイル 2 内容 2.1 注釈 2.2 命題 1.*-3.* 2.3 命題 4.*-5.* 2.4 命題 6.* 2.5 命題 7 3 解説 4 語りえぬもの 5 受容と影響 語りえぬもの 『論考』、最後の命題「語りえぬものについては、沈黙しなければならない」は形而上学の終焉を告知することばとして広く知られており、現在でもしばしば引用される。しかし、大方の了解とは異なり、この言明は神秘主義的で不可知論的な命題が語られているわけでも、あるいは逆に形而上学的な領域の存在を否定しているわけでもない。 入門書 野矢茂樹『ウィトゲンシュタイン『論理哲学論考』を読む』哲学書房、2002年4月。ISBN 4-88679-078-X。 野矢茂樹『ウィトゲンシュタイン『論理哲学論考』を読む』筑摩書房〈ちくま学芸文庫〉、2006年4月。ISBN 4-480-08981-0。 [] [ここ壊れてます] 910 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2020/03/18(水) 22:42:00.06 ID:vfR9jLHl.net] >>871 タイポ訂正 野矢茂樹、野矢茂樹ってさ、それ あなた ”ウィトゲンシュタイン”に「論理哲学」かぶれているのかい？ 野矢茂樹、野矢茂樹ってさ、それ あなた ”ウィトゲンシュタイン”「論理哲学」にかぶれているのかい？ 911 名前：哀れな素人 [2020/03/18(水) 22:42:04.18 ID:lVJCas+h.net] 収束する無限級数も和を持たないが、 ある一定の値に近づくことだけは確かだから、 その一定の値（極限値・収束値）を和と定義することにしよう、 とアホな数学者どもが決めたのである。 そして昔の高校生はそういうことを常識として知っていたのだ。 ところが質問少年のようなアホは、それを知っていない（笑 だから延々と和はあります、定義したのだから和はあります、 とアホ丸出しのことを書き続けている（笑 912 名前：１３２人目の素数さん [2020/03/18(水) 22:46:25.57 ID:k5ev/+el.net] つまり、安達さんは無限級数の和は、部分和の極限だという定義が嫌だということですか？ 913 名前：１３２人目の素数さん [2020/03/18(水) 22:47:27.27 ID:9FBldreb.net] >>873 >ある一定の値に近づくことだけは確かだから、 >その一定の値（極限値・収束値）を和と定義することにしよう、 >とアホな数学者どもが決めたのである。 じゃ投げやりじゃなく至極まっとうな定義なんだね じゃあそもそもなんで定義する必要があったの？和は無いんでしょ？「無し」でいいじゃん　ダメなの？ 914 名前：１３２人目の素数さん [2020/03/18(水) 22:48:21.53 ID:k5ev/+el.net] 無いなら無いと言えばいいのに、賛成するようなそぶりを見せるから延々と私に粘着されるんですけどねー 915 名前：１３２人目の素数さん [2020/03/18(水) 22:51:23.42 ID:+trcnple.net] ああわかった P,Q：命題 x：述語 とする このとき演繹 P(x)　⇒　Q(x)について 人間　⇒　動物 と書くと命題という判断ができないのか 人間は動物である 〜はと書かないと文が読めないのか 最初からそう言ってくれ 単称命題というのは間違ってたな 俺の勘違いだった 916 名前：哀れな素人 [2020/03/18(水) 22:53:48.06 ID:lVJCas+h.net] >>874 何を延々と同じ質問をしているのか、お前は アホか 収束する無限級数にも和はないが、極限値はあるのだ（笑 その極限値を部分和の極限を求めるという方法によって求めているのだ（笑 なぜならそれしか求める方法がないからだ（笑 何を延々と同じ質問をしているのか、お前は アホか >>876 何度も、ない、とはっきり書いているだろアホ 917 名前：１３２人目の素数さん [2020/03/18(水) 22:58:20.59 ID:k5ev/+el.net] >>877 習いたてで難しいかもしれませんけど、直しておきますね P,Qが述語ですよね xは変数で、自由変数が束縛変数のいずれかですよね 定数かもしれないですけど P(x)→Q(x) これだけかくと、自由変数を含んだ論理式で、閉論理式ではないので真偽は定義できませんよ 人間 → 動物 人間は動物である いずれも、形式論理の世界で考えると、曖昧ですね P(x):xは人間である Q(x):xは動物である このように書いていただけるとわかりやすいですね 918 名前：１３２人目の素数さん [2020/03/18(水) 22:59:04.79 ID:k5ev/+el.net] >>878 え？でも、無限級数の和は部分和の極限で定義されるのだ、と安達さんがおっしゃったんですよ？ あれは嘘だということですか？ 919 名前：１３２人目の素数さん [2020/03/18(水) 22:59:28 ID:9FBldreb.net] >>877 >人間は動物である　ある ｘ∈人間全体の集合 ⇒ x∈動物全体の集合　ある xは人間 ⇒ xは動物　ある >人間　⇒　動物　無い 920 名前：哀れな素人 [2020/03/18(水) 23:02:30 ID:lVJCas+h.net] ↑こうしてねちねちとしつこく粘着して、 相手を冷笑し、嘲笑し、皮肉をいうのがこの少年の特徴だ（笑 女のような、中高生のような文章で、アホのくせに利口ぶって（笑 ID:+trcnple君よ、よく覚えておくがいい（笑 こいつは連日連夜出て来るから（笑 921 名前：１３２人目の素数さん [2020/03/18(水) 23:04:50 ID:9FBldreb.net] >>882 >こいつは連日連夜出て来るから（笑 オマエモナー 922 名前：１３２人目の素数さん [2020/03/18(水) 23:05:01 ID:+trcnple.net] >>879 おおありがとう 今度その形式で 自然数について思ったことを書くから また指摘してくれ 923 名前：１３２人目の素数さん [2020/03/18(水) 23:06:49 ID:+trcnple.net] >>881 わかった 改める さんきゅ 924 名前：哀れな素人 [2020/03/18(水) 23:16:32.67 ID:lVJCas+h.net] >>880 >>878を読んでもまだ意味が分らないのか、お前は（笑 お前のようなアホは前代未聞だ（笑 無限級数の和を部分和の極限として求める、 という方法自体は間違いではない、といっているのだアホ しかし無限級数には和はないのであり、 無限級数の和を極限値として定義すること自体が間違いだ、 といっているのだバカ 分るか 分らないなら永遠に分らないでいい（笑 お前のようなアホには付き合っていられない（笑 今夜はここまで（笑 925 名前：１３２人目の素数さん [2020/03/18(水) 23:22:20.55 ID:k5ev/+el.net] >>886 でも、定義したら和はありますよ？ 安達さんは結局その定義が嫌だってだけなんですよね 926 名前：１３２人目の素数さん mailto:sage [2020/03/18(水) 23:26:39.36 ID:qGVWNuK+.net] 先刻から言っている通り無限数列和は“telescooping_method”により lim[n→∞]Σ[k=1,n]9/10^k =lim[n→∞]1-0.1^n と有限項に変更できますが何か？ 927 名前：飲み過ぎ mailto:sage [2020/03/18(水) 23:41:02.68 ID:qGVWNuK+.net] >>888により 議題0.999…は1か否か は 議題0.1^∞は0か否か と論理的同値である。スレ主ら2人組は極限概念の介入を許さず∞も極限概念を排斥し扱う｡ 今日新参の俺が分かった風な口を聞いて済まんが、12年前もこんな人等が居たが故の即応なんだ｡ 当時、ネットで知る非専門が増え始めた超現実数を辞書式順序と勘違いする住人が何人か居た｡ 0.999…=1認識の人間もで、俺も其の1人だった。ごめんコンウェイ｡ 928 名前：１３２人目の素数さん [2020/03/19(木) 00:08:55.61 ID:smHRsqDN.net] >>763 それが言えないのはその通りだけど、その理由は全部のカラスを確認しないからではなく、 カラスが存在しないというケースが反例になるからだよ カラスが存在しない(つまり∀x(¬xはカラス))を前提したとき、 1、∀x(¬xはカラス) 2、¬aはカラス　・・・1より存在例示化 3、¬aはカラス∨aは黒い　・・・2より∨導入 4、aはカラス→aは黒い　・・・3より→導入 5、∀x(xはカラス→xは黒い)　・・・4より∀導入 となってすべてのカラスは黒いは真だが 1、∀x(¬xはカラス) 2、∃x(xはカラス∧xは黒い)　・・・仮定 3、aはカラス∧aは黒い　・・・2より存在例示化 4、aはカラス　・・・3より∧除去 5、¬aはカラス　・・・1より全称例示化 6、矛盾　・・・4と5より矛盾導入 7、¬∃x(xはカラス∧xは黒い)　・・・6より2の否定導入 となってあるカラスは黒いは偽となる 逆に、カラスが存在する(つまり∃x(xはカラス))さえ前提すれば導ける 1、∃x(xはカラス) 2、∀x(xはカラス→xは黒い)　・・・仮定 3、aはカラス　・・・1より存在例示化 4、aはカラス→aは黒い　・・・2より存在例示化 5、aは黒い　・・・3と4より→除去 6、aはカラス∧aは黒い　・・・3と5より∧導入 7、∃x(xはカラス∧xは黒い)　・・・6より∃導入 8、∀x(xはカラス→xは黒い)→∃x(xはカラス∧xは黒い)　・・・2と7より→導入 929 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 04:46:44 ID:Gcd04GMJ.net] >>866 野矢茂樹著無限論の住人は12年前より前にも話題に上がったが、あれは無限の存在論を述べるに当たり ギリシャ時代の可能的無限と実無限の概念を導入して更に細かく無限の存在論を語ったり 他にも何かと無限の概念ではなく存在を、タジマなる講師と学生2人の架空人物を登場させて 講義形式で批判的に説いていくフィクション著作。1/3と0.333…の比較の話も出てくる｡ 講師役のタジマは可能的無限は肯定しつつ実無限は否定する立場を取る｡ ゼノンのパラドクス4種の講義描写も現れるし、線の中の点の数を論じたりもする｡ 途中、実無限の解説をする為にマジタと自称する別人の振りをするほど実無限否定派｡ 概念に実在だの非実在だの語るなんてクロネッカーで終わって欲しかったね｡ 930 名前：１３２人目の素数さん mailto:sage [2020/03/19(木) 05:49:36.08 ID:Gcd04GMJ.net] 何かロールケーキ扇刻み話になってたけど非理系（と言うかもはや無理系）の人らに酷だんべや､ カステラ直刻みにする話にすりゃいがったべ。んしたら極単純な無限二分のパラドクスの話になったべよ｡ 1　1/2　1/4　1/8　… それを無限九割刻みのパラドクスver.残量じゃなくて消費量版にしたのが0.999… 0　.9　.99　.999　… 安達と呼ばれる方とは別の無限否定の方は、これは「これも級数、終わらない計算」だぁ言う｡ だが>>888。“telscooping_Method”により級数ではなくなり、たった二項になる｡ 1-0.1^n 消費量を知りたい刻み回数をnに代入すれば求まる｡ カステラも途中の刻みを素っ飛ばしていきなり刻んでしまえば良い｡ 931 名前：Dr Walk-eye mailto:sage [2020/03/19(木) 06:06:19.63 ID:H2nCXMO5.net] >>889 安達氏は二つの異なる主張をしている １．無限小数は存在しない ２．無限小数は存在するが、アルキメデスの公理は成立しない アルキメデスの公理によれば以下が成り立つ ∀x.(|x|>0⇒∃n∈N.(∀m∈N.m>n⇒|x|>1/10^m)) つまり 「任意の実数xについて、|x|>0ならば、 　ある自然数nが存在して自然数mがnより大きいなら 　|x|は1/10^mより大きい」 中の論理式の対偶をとるとこうなる ∀x.∀n∈N.|x|<1/10^n⇒|x|=0 「任意の実数x、任意の自然数nについて|x|が1/10^nより小さいなら 　|x|=0である（つまりx=0である）」 安達氏の主張２は以下のように表される ∃x.∀n∈N.|x|<1/10^n＆|x|>0 「ある実数xが存在して、 　任意の自然数nについて|x|が1/10^nより小さいにもかかわらず 　|x|>0である」 これは「非アルキメデス的実数論」と考えてよい https://ja.wikipedia.org/wiki/%E9%9D%9E%E3%82%A2%E3%83%AB%E3%82%AD%E3%83%A1%E3%83%87%E3%82%B9%E9%A0%86%E5%BA%8F%E4%BD%93 932 名前：１３２人目の素数さん mailto:sage [2020/03/19(木) 06:19:44.94 ID:Gcd04GMJ.net] カステラを無限に9割刻みする作業。つまり数直線を無限に9割刻みする作業。これは 数直線にいちいち数列各項値点に点を打つ作業。これを数列各項値点描ではなく 関数値線画にしてしまえば良い。一発で0.999…まで線が引ける｡ 物理的に線画は無限の点描では無いなんて話は無効。所詮は画。概念と定め 933 名前：られた用法、先に有りき｡ 数学では線は無限の点から連なる扱い。よって線画は無限点描の扱いとなる｡ (余談だが帯付き百万円は例え1枚足らなくても百万円の扱い(現代では不足する確率は少なくなった) 1枚でも抜き取られてたら、札束の1枚だけを摘まんで持ち上げた時に束がバラけ､ 逆にバラけない束は1枚も抜き取られていない絶妙な帯締めが全国どこの銀行でも機械で可能。) こうして級数の無限計算は関数化により有限計算となり､ 無限数列全点描も連続関数化により有限長線画に置き換えられた｡ これにて安達と呼ばれている人とは違う方の人の無限作業批判、無限羅列批判は無力化した｡ [] [ここ壊れてます] 934 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE mailto:sage [2020/03/19(Thu) 07:57:49 ID:ANEzg6kk.net] >>889 飲み過ぎ さんか 0.999…=1認識 ね 話は変わるけど 「オイラーの贈物ー人類の至宝e^iπ=?1」とか 「オイラーの公式 e^iθ=cosθ+isinθ」とか （下記） もし、無限小数を認めないなら 　π＝3.1415・・・ではなく、π＝3.1415で打ち切ったら？ 　同じように、eを有限小数で丸めたら？ 上記の式は、成立しない でも、この話は、大学レベルの複素関数論やらんと分からんわけです で、複素関数論さえやっていない人と議論しても、三日以上は無意味でしょ（＾＾； （参考） https://bookmeter.com/books/419230 読書メーター 新装版 オイラーの贈物ー人類の至宝e^iπ=?1を学ぶ 吉田 武 https://ja.wikipedia.org/wiki/%E3%82%AA%E3%82%A4%E3%83%A9%E3%83%BC%E3%81%AE%E5%85%AC%E5%BC%8F オイラーの公式 e^iθ=cosθ+isinθ 935 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2020/03/19(木) 08:01:55.23 ID:ANEzg6kk.net] >>891 >野矢茂樹著無限論の住人は12年前より前にも話題に上がったが、 ああ、そうなのか（＾＾； >ギリシャ時代の可能的無限と実無限の概念を導入して更に細かく無限の存在論を語ったり それは、数学の外ですね でも、”可能的無限と実無限”は、結構面白いと思います（＾＾ 936 名前：哀れな素人 [2020/03/19(Thu) 08:47:30 ID:FYcS4RCf.net] >>887 バカ　和がないから仕方なく極限値を和と定義したのだ。 何度言えば分るのか、お前は（呆 嫌いではなくて間違いだと言っているのだアホ 無限級数には和はないというのは常識なのだバカ >>892 >安達と呼ばれる方とは別の無限否定の方は そんな人間がこのスレにいるか？（笑 無限否定派は僕しかいないのだが（笑 >>893 こら、サル石、いいかげんなことを書くなバカ このスレの読者に告ぐ。 この男が僕の説について書いていることは嘘なので信用しないように。 で結局0.99999……＝１だと思っているバカしか出て来ない（笑 937 名前：哀れな素人 [2020/03/19(Thu) 08:52:10 ID:FYcS4RCf.net] 今朝のエッセー　Σの意味について 僕は先日、Σの意味について調べてみた。 僕の持っている広辞苑では、総加記号と書かれていた。 しかしパソコンの電子辞書の広辞苑では総和記号と書かれている。 総加と総和では意味が全然違う。 加は加減乗除の加で、足すという意味である。 １＋２　←これが加である。足し算のことだ。 和は和差積商の和で、足し算の結果として得られた値のことだ。 １＋２＝３　←この３が和である。 だからΣが総加記号なら、 1/2＋1/4＋1/8＋…＝Σ[n=1→∞] a_n と書いても良いが、Σが総和記号なら、 1/2＋1/4＋1/8＋…＝Σ[n=1→∞] a_n と書いてはいけないのである。 なぜなら1/2＋1/4＋1/8＋…には和はないから。 分るだろうか？（笑 今朝はここまで 938 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/19(Thu) 10:02:04 ID:Ix8e9XlB.net] >>825 訂正 これを、リンゴに当てはめれば 　↓ これを、カラスに当てはめれば だな 分かると思うが（＾＾； 939 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/19(Thu) 11:12:59 ID:Ix8e9XlB.net] >>895 補足 https://ja.wikipedia.org/wiki/%E3%82%AA%E3%82%A4%E3%83%A9%E3%83%BC%E3%81%AE%E5%85%AC%E5%BC%8F オイラーの公式 e^iθ=cosθ+isinθ 物理学者のリチャード・ファインマンはこの公式を評して「我々の至宝」かつ「すべての数学のなかでもっとも素晴らしい公式」 [2][3]だと述べている。 （オイラーの贈物ー人類の至宝） e^iπ=-1 この関係はオイラーの等式と呼ばれる https://ja.wikipedia.org/wiki/%E3%82%AA%E3%82%A4%E3%83%A9%E3%83%BC%E3%81%AE%E7%AD%89%E5%BC%8F オイラーの等式 (抜粋) e^iπ+1=0 e: ネイピア数、すなわち自然対数の底 i: 虚数単位、すなわち自乗すると ?1 となる複素数 π: 円周率、すなわち円の周の直径に対する比率 人々による評価 数学誌のThe Mathematical Intelligencer の読者調査によると、この等式は「数学における最も美しい定理」 に選出されている[2]。 (引用終り) さて e ネイピア数、すなわち自然対数の底。これが無限小数であり、超越数であることが証明されたのは、19世紀だった πは、ご存知 円周率、すなわち円の周の直径に対する比率であり、これも無限小数であり、超越数であることが証明されたのは、19世紀だった 出自の全く異なる二つの超越数が 「e^iπ=-1」というシンプルな等式を構成する奇跡 これが奇跡の式であるということを理解するには それなりの数学力が必要なのだ が、数学を深く理解すればするほどするほど、奇跡の式と分かる だが、この式は、有限小数の世界では成立しない式なのです ところで、ゆとり世代では、円周率π＝3 だと教えられるという 確かに日常、円周率π＝3 で間に合うことも多い 円周率πが、無限小数であり、超越数であるなんてことを意識しなくても、日常生活には必要ない としたら、「e^iπ=-1」という奇跡が、なぜ奇跡の式なのかを理解させることはムリでしょ 無限小数なんて、日常生活では、必要ないのだし、無限小数を否定しても、日常生活では困らないのだから （似たことが時枝でもあった。おサルには時枝を理解させることはムリだった） （参考：時枝） 現代数学の系譜　カントル　超限集合論2 https://rio2016.5ch.net/test/read.cgi/math/1576852086/357- 940 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/19(Thu) 11:16:28 ID:Ix8e9XlB.net] >>900 タイポ訂正 が、数学を深く理解すればするほどするほど、奇跡の式と分かる 　↓ が、数学を深く理解すればするほど、奇跡の式と分かる （＾＾； 941 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 11:33:33 ID:Gcd04GMJ.net] >>893 しかし拡張実数最終である超現実数に於いても　0.999…=1　であり　1-0.999…≠0　に成り得ない｡ よって　0.999…≠1　となる様に辞書式順序化した改変拡張実数は 非アルキメデス的であるばかりか超現アルキメデス的性質さえ満たさない｡ 結局　0.999…≠1　とする辞書式順序化された改変拡張実数は >>739に先述した無理数の全順序化の不能性を孕む事となる｡ >>744 超実数は非アルキメデス的ではあるが超アルキメデス的である、という表現を使ってみた｡ 意味は本職が汲んで定義付けしてくれれば良い。任意の如何なる実数よりも小さい実数は存在せず 全ての実数が四則と開方（と超越関数操作）に閉じており、全ての実数に順序がある､ 任意の如何なる超実数よりも小さい超実数は存在せず全ての超実数が四則と開方（と超越関数操作）に 閉じており、全ての超実数に順序がある｡ 超現アルキメデス性さえ突破する辞書式0.999…≠1順序化は、『ゲーム』だろうか？ 942 名前：酒 mailto:sage [2020/03/19(Thu) 11:46:25 ID:Gcd04GMJ.net] いかんいかん名札名札 >>895 意味は有る。0.999…≠1等として完備性と実用性を欠いた数系での話を強制する以上は そのケジメ落とし前として運用体系を完成して世に広める義務を果たして貰う必要性を指摘し 当該人間のみならず子孫末代に至るまで問い詰られる業を背負って頂く事になる｡ 当該人間及び末代に至る子孫には「行く道ィ行ってやんぞオラァ〜」宣言させ『無い山を登る』に等しい 全く無意味で不毛で見返りも無い研究人生を送って頂く｡ 943 名前：酒 mailto:sage [2020/03/19(Thu) 11:48:50 ID:Gcd04GMJ.net] >>896 だがもう分かっている事なので可能的無限と実無限を討議するなら資料は他を当たった方が良い｡ 944 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 11:51:07 ID:LpswUV6C.net] 大叔也。 >>740 我述安達氏之歴史観。 汝考高句麗国及百済国及満鮮在満州。 何即以三国時代高句麗国及百済国及新羅国在朝鮮半島心成其後新羅国統一朝鮮半島。 以之成高句麗国及百済国在満州。 945 名前：１３２人目の素数さん [2020/03/19(Thu) 12:22:39 ID:g3shD6wy.net] >>898 数学では、その２つは同じ数式で表すという約束をしますよ だから、無限級数と無限級数の和は同じ記号で表されます 946 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 12:34:07 ID:LpswUV6C.net] >>895 >π＝3.1415・・・ではなく、π＝3.1415で打ち切ったら？ > 　同じように、eを有限小数で丸めたら？ 不可打切於有限小数。打切於有限小数則誤差生。 何即此等無理数無限小数展開可能也。 947 名前：１３２人目の素数さん mailto:sage [2020/03/19(木) 12:44:36.72 ID:LpswUV6C.net] >>897 >無限級数には和はないというのは常識なのだバカ 必無限小数不発散。無限級数収束事在。此時無限小数之和定。 948 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 12:58:44 ID:LpswUV6C.net] >>897 >>908、於 >必無限小数不発散。 訂正 >必無限級数不発散。 949 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/19(Thu) 12:59:01 ID:Ix8e9XlB.net] >>902 ありがとう 超準解析は、良いよね（＾＾ https://www.j-stem.jp/event/jals_20190309/ 日本STEM教育学会　拡大研究会　一般研究発表予稿 2019-03-09 R13. 超準解析の世界観を動画で表現する試み 高木和久（高知工業高等専門学校） 微分積分の授業は、ともすると公式を覚えて計算のスキルを高めるだけの退屈な授業になりがちである。微分積分が誕生した頃には無限小という概念が盛んに用いられ、直感的な議論の中で様々な定理や公式が発見されていった。微分積分において深い学びを実現するためには、１７世紀に行われていた直感的な理解を復活させることが必要である。 本研究では、無限小超実数や無限大超実数をビジュアルに表現する動画を作成し、高校生が微分や無限小といった概念を直感的に理解できるようにした。 https://www.j-stem.jp/wp/wp-content/uploads/2019/03/R13.pdf 日本STEM教育学会 2019年3月拡大研究会 予稿集 超準解析の世界観を動画で表現する試み 高木 和久 高知工業高等専門学校 950 名前：１３２人目の素数さん [2020/03/19(Thu) 13:02:20 ID:2VgfNBrK.net] 数学掲示板群 ttp://x0000.net/forum.aspx?id=1 アルファ・ラボ|学術掲示板群　ttp://x0000.net 951 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 13:13:01 ID:LpswUV6C.net] >>897 >>908及90i99取消也。 >無限級数には和はないというのは常識なのだバカ 必無限級数不発散。無限級数収束事在。此時無限級数之和定。 952 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 13:16:01 ID:LpswUV6C.net] >>897 >>912書直也。 >>908及>>909取消也。 >無限級数には和はないというのは常識なのだバカ 必無限級数不発散。無限級数収束事在。此時無限級数之和定。 953 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 13:20:33 ID:LpswUV6C.net] 安達氏之思想之理解難事限無。 954 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/19(Thu) 13:21:31 ID:Ix8e9XlB.net] >>904 ＞だがもう分かっている事なので可能的無限と実無限を討議するなら資料は他を当たった方が良い｡ 野矢茂樹、ウィトゲンシュタインね（>>871） 数学としては、古すぎるし、百害ですね。哲学ではどうか知らないが 現代の数学論理やるなら、竹内「層圏トポス」の21世紀版じゃないですか？（＾＾ （参考） https://bookmeter.com/books/40112 読書メーター 層・圏・トポス―現代的集合像を求めて 竹内 外史 Fujita Tomomi トポス理論の論理学への応用について、手短に紹介した本。が、手短すぎて元々の内容を知ってる人にしか分からない。MaclaneのCategories for the Working MathematicianとSheaves in Geometry and Logicを掻い摘んで読んだ方が間違いなくわかりやすい。 955 名前：１３２人目の素数さん mailto:sage [2020/03/19(木) 14:15:19.94 ID:Gcd04GMJ.net] >>897 > で結局0.99999……＝１だと思っているバカしか出て来ない（笑 思う・思わないの観念問題では最早なく実際問題そう扱わないと使い物にならない数系になる、と既述｡ これは拡張実数を0.999…≠1と辞書式順序に改変する事に対して世界の学者が未だに� 956 名前：癆\だったり 未熟だったり又は数体系が未完成だから等ではなく『原理的に不可能』である意味で述べている｡ よってこれは史上三大数学王やネットで言われる史上十大天才数学者でも無理だし､ 20世紀の四大究極、奇才ラグランジュ、職人エルデシュ、知能ファインマン、巨人ノイマンでも無理だし､ 実数拡張の第一人者コンウェイでも無理だし、ロシアのペレルマンでも無理だし､ イスラム圏に居ると噂の数学論文量産怪人でも無理。数学集団と勘違いされた個人、岡潔でも無理｡ 思う・思わないの観念論や実在・非実在の存在論から解脱し有用性強力な数学を考えた時､ 0.999…=1を含む全順序性完備性と不可欠な要請事項であると俺は考える｡ [] [ここ壊れてます] 957 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 14:47:38 ID:Gcd04GMJ.net] >>914 安達氏之思想之合理性崩壊、理解努力無意味｡ >>915 そこらへんかな。実数の拡張と言う山もコンウェイが極めたし｡ 12年前「ある程度基本を学んだら、基礎に進む前に先ず圏論を学ぶべし」派が数学板に息巻いてたなぁ｡ 958 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 15:12:34 ID:LpswUV6C.net] >>917 安達氏は漢文を読解読解出来ると書いてあったから、漢文で書いてみたが、今のところレスなし。 959 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 15:18:18 ID:LpswUV6C.net] >>740 おっちゃんよく分からないんだけど、国文学科の人は漢文読解出来るんだろ？ おっちゃんを漢語にすると「大叔」でいいんだろ？ 960 名前：酒 mailto:sage [2020/03/19(Thu) 15:24:02 ID:Gcd04GMJ.net] ああ、やっぱり辞書式順序0.999…≠1系は全順序にならず半順序で、数ではなくゲームになるんだと｡ ハッケンブッシュ文字列からなる順序系、ハッケンブッシュゲームなる半順序系があり 其れによると0.999…の二進数表示0.111…に対応するLRLLL…は 1とLRRR…だけ差があり、これが超現実数1/(最小超限順序数ω)だけ小さい事になるが これはどうやら全順序である超現実数と異なりハッケンブッシュゲームは半順序である事から来る様子で ゲーム内で差が1/ωだけ出る結果になる事と超現実数上で差が出ない事は独立無矛盾らしい｡ 当然、ハッケンブッシュゲームは半順序だから数として扱えない｡ 文系向け騙し騙しながら良心的解説 半順序だから、行きは良い良い帰りは怖い、な結果になる｡ 行きは逆止弁を順方向に向かうので支障は出ないが帰りは逆止弁を逆方向に向かうので支障が出て 違う結果を招く。ハッケンブッシュゲームの文字列の綴り方が数の綴り方と異なる事によるが それが全順序とならない辞書式順序となる為、覆水盆に帰らずが如しで LRLLL…と1との間に1/ωの差が出る事になる、と、自分を騙して下さい｡ 正確かつ本当の解説は俺はできません｡ 961 名前：１３２人目の素数さん [2020/03/19(Thu) 15:37:51 ID:aJ5aGycx.net] 1=0.999…って実数の連続性から証明できるんだっけ？んでその場合、選択公理を認めた公理系じゃないと証明できないんだっけ？それとも選択 公理関係ない？ 962 名前：１３２人目の素数さん [2020/03/19(木) 16:01:51.35 ID:15lNl20m.net] 全称量化された自然数について 命題 すべての自然数は数えられる無限個である　⇒　すべての自然数は可算無限個である このとき全称命題の不存在性から ある自然数は数えられないこともある これより N：自然数全体 とする ∀n∈Nに対して 　 n_1=1 n_2=2 n_3=3 …… と選ぶことはできない 963 名前：１３２人目の素数さん mailto:sage [2020/03/19(木) 16:05:35.64 ID:LpswUV6C.net] 有理数1の存在性は必要だけど、実数論の後に 1＝0.999… が成り立つことは ε-N で証明出来る。 選択公理は関係ない。 証明の途中に選択公理を用いたら、定義された実数の順序関係が意味なくなったりして厄介なことが起きる。 964 名前：１３２人目の素数さん [2020/03/19(木) 16:10:08.58 ID:ekidEgqc.net] >>921 0.999....という記号がなにを表すのかという問題なのでそういう難しい問題ではないです 965 名前：１３２人目の素数さん [2020/03/19(木) 16:23:12.47 ID:smHRsqDN.net] >>922 全称命題の不存在性って何？ 966 名前：１３２人目の素数さん [2020/03/19(木) 16:44:10.93 ID:15lNl20m.net] >>925 たとえば特撮映画に関する全称命題 すべての怪獣は街を破壊する：真 というときに怪獣は映画の世界だけに存在するものであるということ 967 名前：１３２人目の素数さん [2020/03/19(木) 16:46:12.69 ID:15lNl20m.net] たとえ全称命題が肯定されていても 突然ピグモンが出てくることもあるので ある自然数は数えられないこともあるということ 全称命題で「在る」と言っていてもそれは存在を担保することにならない 968 名前：１３２人目の素数さん [2020/03/19(木) 16:47:26.46 ID:smHRsqDN.net] >>926 具体的で分かりにくいので抽象的に説明して 969 名前：１３２人目の素数さん [2020/03/19(木) 17:02:52.78 ID:15lNl20m.net] >>928 全称量化された自然数全体についてそれは在るもないも言っていない ということ それゆえ全称量化された自然数全体からある自然数を選び取ることは不能である 970 名前：哀れな素人 [2020/03/19(木) 17:13:39.37 ID:FYcS4RCf.net] 依然として0.99999……＝１と思っているバカしか出て来ない（笑 まさにアホが集うスレになっている（笑 >>906 だから同じ数式で表してはいけない、 と書いているのに、文章が読めないバカ 厳密な思考ができないまぬけ >>908 バカ　お前はサル石だろ（笑 >必無限小数不発散 ←これを訳してみろ、まぬけ（笑 971 名前：酒 mailto:sage [2020/03/19(木) 17:15:57.42 ID:Gcd04GMJ.net] >>918 どのレスに対しても内容を高括りで呼んでる様だしね｡ >>922 日本語なら日常でも学術の場でも「不存在」という否定綴りはせず「非存在」という否定綴りにする｡ 972 名前：哀れな素人 [2020/03/19(木) 17:15:57.65 ID:FYcS4RCf.net] アホとは付き合っていられないから問題でも出しておこう。 「この問題を作者とは別の解法で解け」シリーズ ↓この問題を作者とは別の解法で解け。 https://www.youtube.com/watch?v=Njzm_el5nus ↓この問題を作者とは別の解法で解け。 https://www.youtube.com/watch?v=ejtPSxoUlRo 但し、コメント欄にある別解は禁止。 コメント欄の別解とは違う別解を挙げよ。 今夕はここまで 973 名前：１３２人目の素数さん [2020/03/19(木) 17:19:26.72 ID:g3shD6wy.net] >>930 誰かさんの定義では、0.9999....１つの式で、0.9も0.99も0.999....9もどれでも表すそうですけどねー 974 名前：１３２人目の素数さん [2020/03/19(木) 17:21:23.03 ID:g3shD6wy.net] 同じ数式で表してはいけないのなら、散々周りから言われているように、0.999...は１つの数を表すべきだと思いますけどねー 975 名前：１３２人目の素数さん [2020/03/19(木) 17:24:33.11 ID:15lNl20m.net] >>931 ああ俺法学部出身だから「不在証明」など 否定は「不」を使うことに違和感がなかったんだ 数学や諸科学では「非」を使うっていうのはどういう理屈なの？ 976 名前：１３２人目の素数さん [2020/03/19(木) 17:30:02.93 ID:15lNl20m.net] ああいいや 不と非の違いについてぐぐったら出てきた あるべき存在があるときに否定することを非というらしいが 具体的にいうと情動的に否定をする場合が非らしい じゃあ不存在でいいや 977 名前：１３２人目の素数さん [2020/03/19(木) 17:41:18.89 ID:smHRsqDN.net] >>929 全称量化された自然数って何？ 978 名前：１３２人目の素数さん [2020/03/19(木) 17:42:30.97 ID:15lNl20m.net] >>937 N：自然数全体 ∀n∈N のこと 979 名前：１３２人目の素数さん [2020/03/19(木) 17:51:24.26 ID:smHRsqDN.net] >>938 ∀n∈Nって文の一部であってこれだけでは無意味でしょ あるとかないとか以前に 980 名前：１３２人目の素数さん [2020/03/19(木) 17:51:25.78 ID:g3shD6wy.net] >>938 それも命題じゃないですよね 命題じゃないものを命題みたいに考えてるからわけわからない話になるんじゃないですか？ 981 名前：１３２人目の素数さん [2020/03/19(木) 17:51:42.85 ID:g3shD6wy.net] 被っちゃいましたね 982 名前：１３２人目の素数さん [2020/03/19(木) 17:53:09.00 ID:15lNl20m.net] >>939 >>940 ああ言っていることがわかった 全称量化子をつけたもの 983 名前：１３２人目の素数さん [2020/03/19(木) 17:54:09.32 ID:g3shD6wy.net] なににですか？ 984 名前：１３２人目の素数さん [2020/03/19(木) 17:55:46.62 ID:15lNl20m.net] 全称命題の話ではない 全称量化子について言っているだけ 全称量化子のついたものに存在性はないと言っている 985 名前：１３２人目の素数さん [2020/03/19(木) 17:58:19.13 ID:smHRsqDN.net] >>942 開放文に全称量化子を付けたものは命題になるが 命題が「全称量化された自然数って何？」の答えになってはダメだろ [] [ここ壊れてます] 987 名前：１３２人目の素数さん [2020/03/19(木) 17:58:27.16 ID:g3shD6wy.net] 全称量化子のついたもの、とはなんですか？ 全称量化子は通常なんらかの述語とセットで使いますよね 988 名前：１３２人目の素数さん [2020/03/19(木) 17:59:33.93 ID:15lNl20m.net] x：変数 ∀x 989 名前：１３２人目の素数さん [2020/03/19(木) 18:00:21.57 ID:15lNl20m.net] ∀xに存在性はないと言っている 990 名前：１３２人目の素数さん [2020/03/19(木) 18:01:11.16 ID:g3shD6wy.net] >>948 ∀x このような記号は論理式として認められていません 数学ではそのような記号列は定義されていません どのような意味ですか？それは 991 名前：１３２人目の素数さん [2020/03/19(木) 18:02:31.07 ID:15lNl20m.net] >>949 F：任意の述語 ∀xFx このxに存在性はない 992 名前：１３２人目の素数さん mailto:sage [2020/03/19(木) 18:02:55.19 ID:LpswUV6C.net] >>930 ＞>必無限小数不発散 ←これを訳してみろ、 そのまま訳せば、必ずしも無限小数は発散せず(しない)。 ほぼそのままの訳になる。 そこは無限「小」数を無限「級」数と間違えて書いた。 993 名前：１３２人目の素数さん [2020/03/19(木) 18:03:43.88 ID:g3shD6wy.net] >>950 xの存在性とはどのような意味ですか？ 994 名前：１３２人目の素数さん mailto:sage [2020/03/19(木) 18:05:31.09 ID:LpswUV6C.net] それじゃ、おっちゃんもう寝る。 995 名前：１３２人目の素数さん [2020/03/19(木) 18:08:23.39 ID:smHRsqDN.net] >>950 論議領域Dが{a,b,c}のとき、∀xFx⇔Fa∧Fb∧Fcだが、Dを空集合で考えてるのか？ 996 名前：１３２人目の素数さん [2020/03/19(木) 18:10:08.35 ID:15lNl20m.net] >>952 F：電波を飛ばす x：宇宙人 ∀xFx　�@ 宇宙人の存在は未確認だが�@は真の全称命題であると記述できる ここで電波を飛ばさない宇宙人がいるかどうかは語っていない その意味で電波を飛ばさない宇宙人の出現を許容するので 電波を飛ばすある宇宙人をこの命題から取り出すことはできない そういう意味の存在性 997 名前：１３２人目の素数さん [2020/03/19(木) 18:11:12.88 ID:15lNl20m.net] >>954 いや有限集合では考えていない 有限集合なら存在命題で記述できる 998 名前：１３２人目の素数さん [2020/03/19(木) 18:12:28.29 ID:g3shD6wy.net] >>955 ＞�@は真の全称命題であると記述できる とはどのようなことですか？ 宇宙人が確認されていないのだから真かどうかはわからないと思います “記述できる”とは、仮定をする、という意味ですか？ それとも、なんか昨日おっしゃってた演繹というやつでしょうか？ 999 名前：１３２人目の素数さん [2020/03/19(木) 18:13:50.24 ID:g3shD6wy.net] >>956 ∀x Fx ⇔ ¬ ∃x ¬Fx このような意味を言ってますか？ 1000 名前：１３２人目の素数さん [2020/03/19(木) 18:18:05.23 ID:smHRsqDN.net] >>955 ＞電波を飛ばさない宇宙人の出現を許容する 電波を飛ばさない宇宙人がいるとすると、∃y¬Fyと書ける 1、∀xFx　・・・>>955に与えられた前提 2、∃y¬Fy　・・・仮定 3、¬Fa　・・・2より存在例示化 4、Fa　・・・1より全称例示化 5、矛盾　・・・3と4より矛盾導入 6、¬∃y¬Fy　・・・5より2に矛盾導入 より、許容しないと言える 1001 名前：１３２人目の素数さん [2020/03/19(木) 18:18:11.95 ID:15lNl20m.net] >>957 はい 野矢茂樹の演繹です 仮定ではありません 前提です 前提とは Fxは真であるとするならばQxも真である と言えることです 1002 名前：１３２人目の素数さん [2020/03/19(木) 18:21:02.07 ID:g3shD6wy.net] >>960 真であるとする、とはどのようなことですか？ 本当は真ではないかもしれないということですか？ 1003 名前：１３２人目の素数さん [2020/03/19(木) 18:21:07.11 ID:15lNl20m.net] >>958 その等値が正しいことは認めますが 全称命題の否定については語ってません 1004 名前：１３２人目の素数さん [2020/03/19(Thu) 18:25:05 ID:15lNl20m.net] >>961 演繹とは命題が真であることのみを扱います 真の命題を前提としてそこから真の命題を導出する というのが演繹です それなので偽の場合については何も言いません 1005 名前：１３２人目の素数さん [2020/03/19(Thu) 18:25:26 ID:smHRsqDN.net] >>962 その右辺は電波を飛ばさない宇宙人は存在しないと述べてるので、 ＞電波を飛ばさない宇宙人の出現を許容する>>955 と矛盾なんだが？ 1006 名前：１３２人目の素数さん [2020/03/19(Thu) 18:26:57 ID:g3shD6wy.net] >>963 宇宙人が確認されていないのに、宇宙人は電波を飛ばす、という前提から出発する推論が演繹であるというのはどこで保障されるのですか？ つまり、宇宙人は電波を飛ばす、というのが真であるとわかるのは何故なのでしょうか？ 1007 名前：１３２人目の素数さん [2020/03/19(Thu) 18:26:58 ID:15lNl20m.net] >>964 日本語を読んでください 私は全称命題の否定について語っていません 1008 名前：１３２人目の素数さん [2020/03/19(Thu) 18:27:20 ID:smHRsqDN.net] >>963 背理法使えないね 1009 名前：１３２人目の素数さん [2020/03/19(Thu) 18:28:51 ID:15lNl20m.net] >>965 わかる・わからない という仮定の世界の話ではなく 真の前提から導出されるものは真の結論である ということです きっとその議論は条件法の話だと思います 真理表 真　⇒　真 真　⇒　偽 偽　⇒　真 偽　⇒　偽 演繹はこれとは無関係です 1010 名前：１３２人目の素数さん [2020/03/19(Thu) 18:29:37 ID:15lNl20m.net] >>967 ええ 演繹と条件法は無関係なので 仮定するというのは背理法のためにあるものです 1011 名前：１３２人目の素数さん [2020/03/19(Thu) 18:29:59 ID:g3shD6wy.net] >>968 宇宙人が電波を飛ばす、というのは真の前提なんですよね？ だから演繹になるわけですよね？ そもそもこれが違うのですか？ 1012 名前：１３２人目の素数さん [2020/03/19(Thu) 18:32:46 ID:15lNl20m.net] >>970 そうです 演繹は真の命題しか扱いません 1013 名前：１３２人目の素数さん [2020/03/19(Thu) 18:34:03 ID:g3shD6wy.net] >>971 でも、私宇宙人が電波が飛ばすがなぜ真なのかわかりません そもそも宇宙人すら見たことがないのですけど、これはなぜ真なのですか？ あなたは宇宙人見たことがあってその宇宙人が電波を飛ばしていたということですか？ 1014 名前：１３２人目の素数さん [2020/03/19(Thu) 18:35:52 ID:smHRsqDN.net] >>966 逆だよ 全称命題を否定ではなく、肯定するから、上記の矛盾が出るんだよ 1015 名前：１３２人目の素数さん [2020/03/19(Thu) 18:37:31 ID:15lNl20m.net] >>972 そんなはずないだろｗ 宇宙人は実際に居る・いないという問題は 演繹にはありません それは前提とするものはすべて真の命題だからです 偽のことは考えません 1016 名前：１３２人目の素数さん [2020/03/19(Thu) 18:37:58 ID:smHRsqDN.net] >>969 むしろ真だと仮定するからこそ、演繹できると仮定して進めることができるんだよ 1017 名前：１３２人目の素数さん [2020/03/19(Thu) 18:40:17 ID:g3shD6wy.net] >>974 あなたは宇宙人見たことがないのですね 安心しました 偽のことは考えないというのはどのようなことでしょうか？ たとえば、 トランプ大統領が日本の総理大臣なら、コロナウイルスはパンデミックを引き起こす このような命題を考えましょう これは、演繹になるのでしょうか？ トランプ大統領が日本の総理大臣 これは偽の命題なので、演繹になってない気がします 1018 名前：１３２人目の素数さん [2020/03/19(Thu) 18:40:32 ID:15lNl20m.net] >>975 それは背理法の話な 演繹とは無関係 俺は背理法が不能だとも言ってない 1019 名前：１３２人目の素数さん [2020/03/19(Thu) 18:42:37 ID:15lNl20m.net] >>976 それが間違いです たしかに存在している者を前提にするならば そこから導出される命題も真でなければなりませんから トランプ大統領は日本の総理であるという話は演繹できません 先にも言いましたが 演繹と条件法は区別してください 1020 名前：１３２人目の素数さん [2020/03/19(木) 18:44:35.00 ID:g3shD6wy.net] >>978 具体的にはどこが間違っているのでしょうか？ 全て、という全称記号を用いなかったことですか？ 1021 名前：１３２人目の素数さん [2020/03/19(木) 18:46:45.95 ID:15lNl20m.net] >>979 トランプ大統領(アメリカ合衆国の元首) 総理大臣(日本国の元首) こういう演繹はありません 1022 名前：１３２人目の素数さん [2020/03/19(木) 18:48:40.85 ID:g3shD6wy.net] >>980 こういう演繹とはどのようなことですか？ 私は、 「トランプ大統領が日本の総理大臣」 なら、 「コロナウイルスはパンデミックを引き起こす」 このように、上から下を演繹したいという気持ちがあったのですが、上の、トランプ大統領が日本の総理大臣、の部分でもうすでに演繹のような構造が入っているということですか？ 1023 名前：１３２人目の素数さん [2020/03/19(木) 18:54:57.17 ID:15lNl20m.net] >>981 もう一度いうが 演繹とは前提とするものが真であるとするとき 導出される結論も真である をいう 米国大統領を日本の首相にはできない これも演繹である 1024 名前：１３２人目の素数さん [2020/03/19(木) 18:56:47.86 ID:g3shD6wy.net] >>982 また昨日と同じ間違えしてる気がしますけど 米国大統領を日本の首相にはできない これは、なにを前提としてなにを結論してるんですか？ そういう構造になってないですよね 米国大統領、は前提ではないですよね 1025 名前：１３２人目の素数さん [2020/03/19(木) 18:58:20.44 ID:15lNl20m.net] >>983 いや前提と仮定は区別してください サルは霊長類だ 人間は霊長類だ サルは人間だ こういう話ではありません 1026 名前：１３２人目の素数さん [2020/03/19(木) 18:58:56.62 ID:g3shD6wy.net] ドナルド・トランプは米国大統領である ↓ ドナルド・トランプは日本の総理大臣にはなれない これなら、ちゃんと演繹だなとわかりますね 1027 名前：１３２人目の素数さん [2020/03/19(木) 18:59:53.24 ID:g3shD6wy.net] >>984 そういう難しい話でなくて、日本語の問題ですよ >>985のように解釈して良いですか？ 1028 名前：１３２人目の素数さん [2020/03/19(木) 19:04:33.84 ID:15lNl20m.net] >>986 疲れたからまた明日にしようｗ 1029 名前：１３２人目の素数さん [2020/03/19(木) 19:07:56.13 ID:g3shD6wy.net] >>987 明日お待ちしておりますね 単なる単語を述語や命題と同一視する癖は直した方が良いかと思います 意味不明ですから てか、そこが全てだと思うんですよね、あなたの勘違いの 1030 名前：１３２人目の素数さん [2020/03/19(木) 19:22:45.81 ID:smHRsqDN.net] >>977 前提が真であるときの導出を演繹と言ってみたり 前提が真であるとするときの導出を演繹と言ってみたり ブレブレなのだが？ ↓前提が真であるときの導出を演繹と言ってみたり >>963 ＞ 1031 名前：真の命題を前提としてそこから真の命題を導出する ＞というのが演繹です ↓前提が真であるとするときの導出を演繹と言ってみたり >>982 ＞演繹とは前提とするものが真であるとするとき ＞導出される結論も真である ＞をいう [] [ここ壊れてます] 1032 名前：Dr Walk-eye mailto:sage [2020/03/19(木) 19:23:13.22 ID:H2nCXMO5.net] >>897 安達氏は無限小数の存在は認めないようだ 安達氏のいう0.999…とは無限小数ではなく 0.9,0.99,0.999,…という有限小数全体を指すらしい しかし、それらすべてが1より小さい、というのは 数学者全員が認めることなので、何も論争にはならない ということで、完全に終わった >>902 「辞書式順序」というだけならカントールの三進集合で十分だろう ということで　完全に終わった 1033 名前：１３２人目の素数さん mailto:sage [2020/03/19(木) 19:59:43.58 ID:H2nCXMO5.net] (i^dx-1)/dx=iπ 1034 名前：１３２人目の素数さん mailto:sage [2020/03/19(木) 20:01:52.78 ID:H2nCXMO5.net] (i^dx-i^(-dx))/2dx=iπ 1035 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2020/03/19(木) 20:43:42.10 ID:ANEzg6kk.net] >>923 >有理数1の存在性は必要だけど、実数論の後に 1＝0.999… が成り立つことは ε-N で証明出来る。 >選択公理は関係ない。 >証明の途中に選択公理を用いたら、定義された実数の順序関係が意味なくなったりして厄介なことが起きる。 「選択公理は必要ない」じゃない？ 「証明の途中に選択公理を用いたら、定義された実数の順序関係が意味なくなったりして厄介なことが起きる」もないんじゃない？ ま、おっちゃんらしいけどな（＾＾ （参考） https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86 選択公理 1036 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 21:37:28 ID:H2nCXMO5.net] i^i=e^(-π/2) 1037 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 21:45:14 ID:H2nCXMO5.net] 南 1038 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 21:45:33 ID:H2nCXMO5.net] 無 1039 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 21:45:51 ID:H2nCXMO5.net] 阿 1040 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 21:46:06 ID:H2nCXMO5.net] 弥 1041 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 21:46:32 ID:H2nCXMO5.net] 陀 1042 名前：１３２人目の素数さん mailto:sage [2020/03/19(Thu) 21:46:49 ID:H2nCXMO5.net] 仏 1043 名前：1001 [Over 1000 Thread .net] このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 8日 9時間 15分 27秒 1044 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef