- 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
もっと深いことが知りたい人は
「相対性理論はペテンである／無限小数は数ではない」参照
- 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の仮定が偽、すなわち命題は真であることが示されました。
|
 |
