20/03/21 05:14:20 Ysr8avom.net
>>408
>時間0なら連続移動にはならないんじゃないですか？
時間０とはｎを記録する時間のことですよ。
移動の時間じゃないです。
420:１３２人目の素数さん
20/03/21 05:15:07 Ysr8avom.net
>>407
>その機械が最後に記録した数は？
最後はありません
最後の自然数は存在しないので
421:１３２人目の素数さん
20/03/21 05:16:48 Ysr8avom.net
>>409
>数学でも、数を”数え切る”ことができるか？なんて問題は教科書には出てこないんですよ
だから今話してるんでしょうがｗ
教科書に載ってたらそこ見ろで終わりでしょｗ
なんかズレてますねあなたいつも
422:１３２人目の素数さん
20/03/21 05:18:05 UO/EIBOG.net
>>410
無限の点を確認しながら進むことと変わらないからです
そんなことはできません
>>412
最後の数が存在しないのになぜ全ての自然数を書き尽くすことができるんですか？
そんなこと書いてる本はありますか？
自然数は書き尽くせる
自然数は数え”きれる”
自然数は数え”られる”なら可算の意味で載ってるかもしれないですけど
423:１３２人目の素数さん
20/03/21 05:18:59 UO/EIBOG.net
>>413
数えられることと、数え切ることの区別はわかりますか？
424:１３２人目の素数さん
20/03/21 05:19:08 Ii6OOQVX.net
>>412
だから、その場合、画面にはどんな数が書かれているのかと聞いている
スタートのときに1が、1/2地点で2が、点を通過するたびどんどん書き換えれれていくんでしょ
で、最後に画面に記録された数は？
425:１３２人目の素数さん
20/03/21 05:23:40 Ysr8avom.net
>>416
あなたの問いは無限小数の最後の位の数は何？と同じことですよ？
無限小数に最後の位なんてありません
426:１３２人目の素数さん
20/03/21 05:25:58 Ysr8avom.net
>>414
>無限の点を確認しながら進むことと変わらないからです
>そんなことはできません
なぜ？
確認は時間０でできるという前提条件ですよ？
427:１３２人目の素数さん
20/03/21 05:29:58 Ii6OOQVX.net
>>417
その存在しない数を表示できる機械を持ち出してしまったのはおれではない
タイムラグなしで画面に数を表示できる理想的な機械があるんでしょ
それがゴールして原点に来たとき、画面を覗き込んでみる
さて、このとき画面には何が表示されているのでしょうか？
428:１３２人目の素数さん
20/03/21 05:40:39 Ysr8avom.net
>>419
その問いには答えられませんね、最後の自然数は存在しませんので
では私の番
カウント有だと点０に到達できない理由は？
但し
移動側は自由に移動
カウント側が移動に合わせてカウント、カウント処理に要する時間は０
という条件で
429:１３２人目の素数さん
20/03/21 05:44:30 Ysr8avom.net
>移動側は自由に移動
もっと分かり易く一定速度-1で移動としてもいいです
430:１３２人目の素数さん
20/03/21 05:46:01 H+ijo7Ie.net
>>420
答えてくださいね
存在しないではなく
ゴールをして画面を見た
そこには何が写ってるのですか？
あなたの主張では、カウントすることは連続移動することに影響を及ぼさないのですよね？
ですから、ゴールにたどり着くことは問題ない
その後に画面を見たと
何が見えるんでしょうね
431:１３２人目の素数さん
20/03/21 05:47:30 Ysr8avom.net
>>422
>ゴールにたどり着くことは問題ない
ではゴールした時に未カウントの自然数を答えて下さい
なにが残ってるんでしょうね
432:１３２人目の素数さん
20/03/21 05:49:28 H+ijo7Ie.net
>>423
ゴールにたどり着くことに問題ない、というのはあなたの主張に従った場合です
私は問題があると思っています
問題ないと思っているあなたが答えてください？
画面には何が映るのですか？
433:１３２人目の素数さん
20/03/21 05:50:12 Ysr8avom.net
>>424
>私は問題があると思っています
問題とは？
434:１３２人目の素数さん
20/03/21 05:50:26 Ii6OOQVX.net
>>420
カウント有りだと、存在しない数が写せる機械が存在することになり、矛盾するからだよ
435:１３２人目の素数さん
20/03/21 05:53:08.44 H+ijo7Ie.net
>>425
あなたのように画面の数から目を逸らさなくてはいけなくなりますよね
436:１３２人目の素数さん
20/03/21 06:15:06.85 Ysr8avom.net
>>426
自然数を画面に表示するというカウント方法ならそうだが、それは私が言ったことではないし、またカウント方法はその限りではない。
こういうカウント方法ならどう？
一周ですべての自然数を表すメータがある。
たとえば自然数nを表すときメータの針の角度は2π(Σ[k=1,n](1/2)^k)になっている。
点０に到達時メータは2πを指してます。
437:１３２人目の素数さん
20/03/21 06:16:53.64 Ysr8avom.net
>>427
>>428
438:酒浸り
20/03/21 06:25:07.90 w2IhZo8I.net
また計数可否に話の流れを退行させんでくれ
>>170-203
うむ、誰が誰だか余計に混乱したが直に慣れるだろう｡
>>180
古流武術と合気道やってたんで人を片手で捻り回せた。ブランクが有り今は男にさえ通用しないのに
女は重心の低さや筋肉バランスの違いから捻り回しを柔軟に去なす人間が居るので俺は役立たず｡
昔、ワンインチパンチこと寸勁ができた。体幹運動が鈍り動勘と静勘も衰え今は難しい｡
439:１３２人目の素数さん
20/03/21 06:38:39.00 Ysr8avom.net
>>430
退行？昔あったんですか？どんな話ですか？
440:現代数学の系譜 雑談 古典ガロア理論も読む
20/03/21 08:08:07.59 gPebnXHG.net
>>430
>古流武術と合気道やってたんで人を片手で捻り回せた。ブランクが有り今は男にさえ通用しないのに
>昔、ワンインチパンチこと寸勁ができた。体幹運動が鈍り動勘と静勘も衰え今は難しい｡
酒浸り さん、どうも
じゃ、太極拳やったらいいんじゃない？
健康のために
このまえ、TVの健康番組でも紹介していたね
URLﾘﾝｸ(ja.wikipedia.org)
太極拳（たいきょくけん）は、中国武術の一派[1]。東洋哲学の重要概念である太極思想を取り入れた拳法で、形意拳、八卦掌と並んで内家拳の代表的な武術として知られる。
健康促進としての太極拳と効果
健康・長寿に良いとされているため、格�
441:ｬ技や護身術としてではなく健康法として習っている者も多く、中国などでは市民が朝の公園などに集まって、練習を行っている光景がよく見られる。 日本国内でも愛好者は多く、『太極拳のまち』を宣言した福島県喜多方市のように、自治体単位で太極拳を推進している例もある。[9] 米国が2007年に行った国民健康調査によると、推定230万人の米国成人した人間が、健康維持として、過去12ヶ月間に太極拳を行ってたと判明している。 効能は「健康状態、筋力、筋肉の協調運動や柔軟性の向上」「安定した運動による睡眠の深化」「身体バランスの強化と転倒リスクの低下」などの促進が期待できるという。 アメリカ国立補完統合衛生センターの研究では太極拳を行った被験者の血圧が26件の内22件も血圧を下げたなどの成果が報告されている。[10] さらに、ハーバード大学の研究によれば、変形性関節症などの関節炎を手術より太極拳で緩和できると、示唆しており引き続き代替医療の研究が進められている。[11]
442:下戸
20/03/21 08:49:56.53 XWnhFsyt.net
>>430
スレッドのタイトルとは合致してるんじゃないですかね
いつまでも昔のネタで客引きしようとする
時代遅れのあのお方には用はないんでしょう
443:哀れな素人
20/03/21 09:09:19.19 DgS6QrDj.net
ID:H+ijo7Ie ID:UO/EIBOG
これは質問少年（笑
>安達さんみたいにそうやって逃げるんですね
逃げているのではなく、お前には教えないのだアホ（笑
超実数の質問から逃げまくっているバカが（笑
>本当に、人のレス読まない人ですねー
それがお前だろがアホ（笑
>>280で珍しくですます体をやめて本性を出している（笑
ｴﾓよ、これで質問少年が男だと分っただろう（笑
実際はこいつはこういうチンピラなのだ（笑
444:哀れな素人
20/03/21 09:11:59.79 DgS6QrDj.net
ID:Ysr8avom
これはサル石だが、サル石も質問少年のしつこさに辟易しただろう（笑
質問少年は延々と、
わからないんですね
というレスを連投している（笑
一種のキチガイである（笑
それにしても、たったの一日で400突破か。
質問少年とサル石という二大キチガイが出て来るとこうなる（笑
実数は非可算だと思っているバカどもが（笑
445:１３２人目の素数さん
20/03/21 12:56:30.63 Ysr8avom.net
>>435
おまえは無限集合を認めてないんだろ？
だったら可算も非可算も無いじゃん、どっちも無限集合の濃度なんだからｗ
相変わらず馬鹿丸出しだなｗ
446:１３２人目の素数さん
20/03/21 13:38:16.02 H+ijo7Ie.net
>>428
ほーら、またそうやって小細工する
小細工して矛盾が出ないようにしないといけないような欠陥だということですよ
nを記録するとあるんだから、普通は紙に書くとか画面に表示するのが自然ですよね
なぜそれだとうまくいかないのですか？
逃げないでくださいね？
447:１３２人目の素数さん
20/03/21 13:42:06.89 Ysr8avom.net
>>437
小細工という認識が事実誤認
448:１３２人目の素数さん
20/03/21 13:42:31.46 H+ijo7Ie.net
>>428
設定は自由じゃなかったんですかー？
なぜ画面に表示する方法はダメなんですかー？
逃げないでくださいねー
449:１３２人目の素数さん
20/03/21 13:42:58.62 H+ijo7Ie.net
>>438
設定は自由なんですよね？
なぜ、画面に表示する方法はうまくいかないのですか？
450:１３２人目の素数さん
20/03/21 13:45:36.98 Ysr8avom.net
>>437
逆に聞くが、なぜ>>428の方法で自然数を数えたことにならないのか？
論理的に頼むよ？ 小細工とか主観的印象述べられても困るから
451:１３２人目の素数さん
20/03/21 13:46:32.98 H+ijo7Ie.net
>>441
それはなってますよ
でも、設定は自由なんだから、画面に表示してもいいですよね
そっちのが自然だと思うんですど
なぜ、あなたはいつもいつも自分が都合の良い設定しか持ち出さないのですか？
452:１３２人目の素数さん
20/03/21 13:47:44.70 H+ijo7Ie.net
>>428
の問題は、2πになるのかどうかあなたが誤魔化すということです
自然数は数えきれないから2πに到達はしない
しかし、そのことをわかりにくくしている
誤魔化しているんです
453:１３２人目の素数さん
20/03/21 13:48:25.42 H+ijo7Ie.net
非可算のときはどうなんですかー？→誤魔化す
画面に表示するとどうなるんですかー？→誤魔化す
おや？安達さんの手法に酷似していますね
454:１３２人目の素数さん
20/03/21 13:51:37 Ysr8avom.net
>>440
>設定は自由なんですよね？
はい。
命題が成り立たないような設定にするのも自由、その時は成り立たないというだけの話。
「数えきれる」という命題が成立するには数え方はひとつあれば十分。
逆に言えば、命題が成立しない数え方の存在を示しても命題の不成立を示せない。
455:１３２人目の素数さん
20/03/21 13:53:20 H+ijo7Ie.net
>>445
数え方の問題じゃないじゃないですか
1/nのとき数えるということは変わらない
それをどう記述するかが問題になっている
なぜ、画面に表示するという記述方法がダメなのか、その理由を教えてくださいよ
この方法はうまくいかないから別にいいやー
論理的じゃないですよねぇ
456:１３２人目の素数さん
20/03/21 13:54:24 Ysr8avom.net
>>442
>でも、設定は自由なんだから、画面に表示してもいいですよね
「数えきれる」という命題が成立するには数え方はひとつあれば十分。
「任意の数え方で数えきれる」という命題ではない。
>そっちのが自然だと思うんですど
主観的印象を語られても困る
457:１３２人目の素数さん
20/03/21 14:00:35 H+ijo7Ie.net
>>447
数え切る、の定義を教えてください
ここはっきりさせないと拉致があきませんね
私の定義
数える:自然数との一対一対応を考えること
数えきれる:有限集合との一対一対応を考えることが可能であること
458:１３２人目の素数さん
20/03/21 14:03:26 Ysr8avom.net
>>446
命題が真であるための必要条件は数え方が存在すること。
命題が偽であることを示したいなら数え方がひとつも存在しないことを示してはいかがでしょう？
>論理的じゃないですよねぇ
そっくりお返しします
459:１３２人目の素数さん
20/03/21 14:11:59 H+ijo7Ie.net
>>449
あなたの今までの傾向から、あなたの考えてる定義を推測してみました
数える:自然数との一対一対応対応を考えること
数えきれる集合:可算集合のうち、適当な測度空間の部分集合で測度が有限な集合への単射を考えることができる集合のこと
こんなのでどうでしょう？
あってますか？
460:１３２人目の素数さん
20/03/21 14:16:38 Ysr8avom.net
>>448
>私の定義
その定義なら偽ですね。有限集合と無限集合の間に全単射は存在しませんので。
>数え切る、の定義を教えてください
1,2,…と数えて、すべての自然数を数え終わっていれば数え切ったと言える。
461:１３２人目の素数さん
20/03/21 14:17:56 H+ijo7Ie.net
>>451
全ての自然数を数え終わる、とはどのようなことを指すのですか？
462:１３２人目の素数さん
20/03/21 14:18:57 H+ijo7Ie.net
>>451
その前に、数える、の定義はあってますか？
463:１３２人目の素数さん
20/03/21 14:20:42 Ysr8avom.net
>>450
アンカ「>>449」を打ってますが、そのレスは>>449への応えになっていないです。
会話が成立しないなら打ち切りますよ？昨日も言ったはずです。
464:１３２人目の素数さん
20/03/21 14:22:06 H+ijo7Ie.net
>>454
色々議論する前に、数え切る、の定義をしないと何も始まらないと思うので、まずはそこはっきりさせましょうよ
465:１３２人目の素数さん
20/03/21 14:26:21 Ysr8avom.net
>>452
>全ての自然数を数え終わる、とはどのようなことを指すのですか？
「1」と数えたとき、数え終わった自然数の集合は{1}
「1,2」と数えたとき、数え終わった自然数の集合は{1,2}
・・・
「1,2..,n」と数えたとき、数え終わった自然数の集合は{1,2,...,n}
数え終わった自然数の集合がNと等しいならすべての自然数を数え終わっている。
466:１３２人目の素数さん
20/03/21 14:28:28 yaQYzDa3.net
横レスだが。
・ 2πの方法では作業が終わる
・ 画面に映す方法では作業が終わらない
という現象については両者ともに合意に達しているのだから、
「うまい方法が1つあれば十分」の時点で ID:Ysr8avom の勝ちでしょう。
数えるとか数え切るとかの定義に難癖つけようとしても無駄だよね。
そこに難癖つけるということは、
・ 2πの方法では作業が終わる(ただし、この現象を「数え切る」とは呼ばない)
という構図に持っていきたいのだろうけど、だったら
・ 画面に映す方法では作業が終わらない(ただし、この現象を「数え切らない」とは呼ばない)
という構図にもできてしまって、どのみち ID:H+ijo7Ie の思い通りにはならないからね。
467:１３２人目の素数さん
20/03/21 14:28:36 H+ijo7Ie.net
>>456
数えるという操作を定義してください
上で見た感じだと、ただの�
468:S単射を取る操作ではないですよね？ 画面に表示される場合がなぜか排除するみたいですから メーターの時も画面に表示するときも、自然数との一対一対応を考えることには変わりはない それ以外の要素をあなたは考えている それはなんですか？ あなたのいう、数える、とはなんなんですか？
469:１３２人目の素数さん
20/03/21 14:29:15 H+ijo7Ie.net
>>457
私、上の場合は、数えることにはなる、と言いましたが、数え切ることになるとは言ってないですよ？
470:１３２人目の素数さん
20/03/21 14:31:30 H+ijo7Ie.net
>>457
AからNへの全単射がある
AからNへのまた別な全単射が存在する
前者は数え切ったことになるけど、後者は数え切ったことになっていない
数学では、数えるという操作は全単射を考えることに対応するわけです、普通は
おかしいですよね
471:１３２人目の素数さん
20/03/21 14:31:46 yaQYzDa3.net
>>459
ほらね。
＞・ 2πの方法では作業が終わる(ただし、この現象を「数え切る」とは呼ばない)
という構図に持っていきたいだけでしょ。だったら
＞・ 画面に映す方法では作業が終わらない(ただし、この現象を「数え切らない」とは呼ばない)
という構図にもできてしまって、どのみち ID:H+ijo7Ie の思い通りにはならないｗ
472:１３２人目の素数さん
20/03/21 14:32:36 H+ijo7Ie.net
>>461
2πの場合でも操作は終わりませんよね
473:１３２人目の素数さん
20/03/21 14:34:08 H+ijo7Ie.net
2πの問題点は、問題をわかりにくくすることです
実際、お相手さんも自分で混乱してますよね
1/nからメーターへの全単射は数えきれるけど、1/nか画面への全単射は数えきれない、と言っている
同じ全単射なのになぜ違いが現れるんですか？
474:１３２人目の素数さん
20/03/21 14:36:27.18 Ysr8avom.net
>>458
>数えるという操作を定義してください
数えるシステムとNとの間に全単射が存在する。
先に挙げたメータシステムの例で言えば、f:N→N, f(n)=2π(Σ[k=1,n](1/2)^k) という全単射が存在するので、このメータにより数えることは可能。
475:１３２人目の素数さん
20/03/21 14:37:42.37 H+ijo7Ie.net
>>464
画面の時も全単射ありますよ？
1/nの点を通り過ぎる時、nと表示させると約束すれば、その時点で全単射です
476:１３２人目の素数さん
20/03/21 14:38:40.99 yaQYzDa3.net
>>462
2πの場合でも操作が終わらないという立場なら、
君は数えるとか数え切るとかの定義の問題に難癖をつける必要はない。
「そもそも2πの場合でも終わってないので、数えきってない」
とだけ言えばよい。君がすべき反論はそれで十分である。
ただし、2πメーターの設定は「アキレスと亀の問題」と全く同じ問題なので、要するに君は
「アキレスはカメに絶対に追いつけない」
という立場を取っていることになるｗ
477:１３２人目の素数さん
20/03/21 14:40:31.47 Ysr8avom.net
>>463
混乱してるのは君だね
「数えきれる」という命題が真であるための必要条件は数え方が存在すること。
命題が偽となるような数え方の存在を示しても命題が偽であるとは言えない。
478:１３２人目の素数さん
20/03/21 14:41:25.22 Ysr8avom.net
>>465
>>467
479:１３２人目の素数さん
20/03/21 14:42:29.15 H+ijo7Ie.net
>>464
じゃ次の質問です
>>456
＞数え終わった自然数の集合がNと等しいならすべての自然数を数え終わっている。
数え終わる、とはどのようなことですか？
480:１３２人目の素数さん
20/03/21 14:45:27.32 Ysr8avom.net
命題が偽となることを示したいなら数え方が存在しないことを示してはいかが？
481:１３２人目の素数さん
20/03/21 14:47:05.47 Ysr8avom.net
>>469
>数え終わる、とはどのようなことですか？
メータがf(n)を指していればnまで数え終わっている
482:１３２人目の素数さん
20/03/21 14:47:13.95 H+ijo7Ie.net
>>470
あなたの定義が矛盾だらけだと言ってるんですよ
今は数える、とはどのようなことかがはっきりしましたよね
システムとNとの間に全単射があることだと
次は、数えきれる、がどのようなことかを教えてください
>>456ではよくわかりません
数える、の定義で全単射を持ち出したから、その全単射の言葉を用いて定義してくださるとわかりやすいですね
483:１３２人目の素数さん
20/03/21 14:48:34.32 H+ijo7Ie.net
>>471
システムからNへの全単射fがある
Im f=Nのとき、それは自然数を数えきれたことになっている
こう解釈してよろしいですか？
484:１３２人目の素数さん
20/03/21 14:49:08.19 yaQYzDa3.net
うまい数え方とヘタクソな数え方があって、ヘタクソな数え方では
ヘタクソゆえに終わることが無く、うまい数え方ではうまいゆえに終わる。
そこでヘタクソな数え方を持ってきて、
「ほらね、この数え方だと終わらないでしょ」
と言ってみたところで、それは数え方がヘタクソなだけであって、
うまい数え方の存在が否定できているわけではないｗ
なので、ID:H+ijo7Ie は少なくともこの方針では反論できない。
ID:H+ijo7Ie の反論の仕方はもう1つあって、それは
「うまい数え方でも実は終わってないので、数えきってない！」
というものであるが、>>466で指摘したように、
これだと ID:H+ijo7Ie はアキレスと亀の問題において
「アキレスはカメに絶対に追いつけない」
という立場を取っていることになるので、自爆も同然であるｗ
結局、ID:H+ijo7Ie は反論の術を持っておらず、あとは
数えるとか数え切るとかの定義の問題に難癖をつけるくらいのことしかできてない。
485:１３２人目の素数さん
20/03/21 14:50:48.80 H+ijo7Ie.net
>>474
これは適当な数え方だと、全単射が�
486:､まく作れない、というような話ではないんですよ 全単射は作れている それなのに、数えきれたかどうかが異なる これが気持ち悪いと言ってるんです
487:１３２人目の素数さん
20/03/21 14:55:55.51 Ysr8avom.net
>>472
>システムとNとの間に全単射があることだと
君は∀と∃を誤解している。
「数えきれる」という命題が真であるためには全単射が一つ存在すれば十分。
なぜなら命題は「ある数え方が存在して数えきれる」であって、「いかなる数え方でも数えきれる」ではないから。
そこを理解してもらわないと次には進めない。
488:１３２人目の素数さん
20/03/21 14:57:34.25 Ysr8avom.net
>>475
>これが気持ち悪いと言ってるんです
それは主観の問題なので自己解決して下さい
489:１３２人目の素数さん
20/03/21 14:58:46.28 H+ijo7Ie.net
>>477
473 名前:１３２人目の素数さん :2020/03/21(土) 14:48:34.32 ID:H+ijo7Ie
>>471
システムからNへの全単射fがある
Im f=Nのとき、それは自然数を数えきれたことになっている
こう解釈してよろしいですか？
逃げないで答えてくださいねー
490:１３２人目の素数さん
20/03/21 15:02:13.97 Ysr8avom.net
>>478
Im fってなに？
491:１３２人目の素数さん
20/03/21 15:04:07.31 H+ijo7Ie.net
>>479
えー、fの像ですよ
Im f={x∈システム| f(x)}
492:１３２人目の素数さん
20/03/21 15:04:47.67 Ysr8avom.net
>>478
>それは自然数を数えきれたことになっている
>こう解釈してよろしいですか？
「数え切る」の定義は示したはずだけど？
493:１３２人目の素数さん
20/03/21 15:07:33.53 Ysr8avom.net
>>480
あ、ごめん、fの書き方を間違えた
ちょっと休憩しますね、あとで修正します
494:１３２人目の素数さん
20/03/21 16:25:53.03 Ysr8avom.net
>>480
2π(Σ[k=1,n](1/2)^k):=m_n とおく。
メータの針の角度の集合M:={m_n|ｎ∈N}
f:N→M を f(n)=m_n と定義すればNからMへの全単射であり、f(N)=M。
。。。ですけどそれがどうかしましたか？
495:１３２人目の素数さん
20/03/21 16:34:09.40 H+ijo7Ie.net
>>483
画面の時も、1/nを通り過ぎるときnを表示するんですよね？
表示される番号をnとして、それに対応する点の座標はf(n)=1/n
これで、Nと画面に表示される番号への全単射になりますよね
画面に表示される番号と、自然数は全単射になっている
つまり、画面の時も数えきれてるはずですよね？
しかし、あなたは画面の時は数えきれないとおっしゃっている
これは矛盾です
496:１３２人目の素数さん
20/03/21 16:46:32.93 BOTf1fX9.net
>>484
否定されているのは、
>>416
> >>412
> だから、その場合、画面にはどんな数が書かれているのかと聞いている
> スタートのときに1が、1/2地点で2が、点を通過するたびどんどん書き換えれれていくんでしょ
> で、最後に画面に記録された数は？
の、最後の自然数が表示される、なんていう装置であって、
> 画面の時は数えきれない
なんてことはあなたしか言ってないんじゃないのか？
何かを表示させたいのなら、最小の無限順序数ωでも表示させればいい
497:１３２人目の素数さん
20/03/21 16:48:33.59 H+ijo7Ie.net
>>485
この方は、画面に表示されるのが矛盾だとわかってるから、メーターの例をわざわざ持ってきたわけです
で、自然数が数えられることを示すには、数えられる例を一つ上げればよくて、数えられない例をあげたとしても、それは自然数が数えられないことを示したことにならない、ともおっしゃっています
画面の時は数えられないということですよ
498:１３２人目の素数さん
20/03/21 16:51:24.81 BE76LEYh.net
>>484
たとえば、画面に映る時間が短すぎて見えないのでは？
499:１３２人目の素数さん
20/03/21 16:53:00.45 H+ijo7Ie.net
>>487
全ての操作が終わって、落ち着いた時に画面を見ればいいですよね
操作が終わった後ですから、画面は動かず何かが映されていますよ？
500:１３２人目の素数さん
20/03/21 16:55:24.39 BOTf1fX9.net
>>486
私はたった今明確に
> 画面の時は数えられない
を否定したわけなんだが？
> の、最後の自然数が表示される、なんていう装置であって、
> > 画面の時は数えきれない
> なんてことはあなたしか言ってないんじゃないのか？
>
> 何かを表示させたいのなら、最小の無限順序数ωでも表示させればいい
501:１３２人目の素数さん
20/03/21 16:55:36.66 H+ijo7Ie.net
メーターの例では、この方は一周して戻ってくるとおっしゃっています
メーターの針が元に戻ってくるのは、画面に何が表示されたことに対応するのでしょうかねぇ
502:１３２人目の素数さん
20/03/21 16:56:42.49 H+ijo7Ie.net
>>489
あなた>>483とは別ですよね？
>>483さんは、画面の数は数えきれないとおっしゃってるんですよ
あなたがどう思うかは知りませんよ
503:１３２人目の素数さん
20/03/21 16:59:01.10 BE76LEYh.net
数えきれない点の中からいくつかを選んで
自然数に対応させたのだから
数えきれない点を通り過ぎるという作業の後には
数えきれてると思うんだけど
本当に、0にたどり着いたときに何かが表示されているべきなのかな、と思って>>487を書いてみた。
504:１３２人目の素数さん
20/03/21 16:59:48.39 Ysr8avom.net
>>484
>>476
505:１３２人目の素数さん
20/03/21 17:00:54.55 H+ijo7Ie.net
>>493
あなたの数えきれる、の定義に従えば、画面の例は数えきれることになります
しかし、あなたは画面の例は数えきれないとおっしゃる
これは、上であなたが
506:述べた数えきれる、の定義が間違っていることを意味します 正しい、数えきれる、の定義を教えてください
507:１３２人目の素数さん
20/03/21 17:02:10.66 H+ijo7Ie.net
自然数との全単射を考えられるかどうか、以外に数えきれるの判断基準があなたの中にあるわけですよね？
だから、メーターは良くて画面はダメという屁理屈が始まる
はやくその基準を書いてください？
508:１３２人目の素数さん
20/03/21 17:03:58.04 BOTf1fX9.net
>>491
> >>483さんは、画面の数は数えきれないとおっしゃってるんですよ
あなたの仮定する装置では数え上げることができない、と言われているだけでしょう？
うまく装置を設計すれば数え上げられることは、否定されてないでしょう？
509:１３２人目の素数さん
20/03/21 17:04:46.33 Ysr8avom.net
>>485
>何かを表示させたいのなら、最小の無限順序数ωでも表示させればいい
なるほど
自然数を表示させなければならないと思い込んでると浮かばないアイデアですね
510:１３２人目の素数さん
20/03/21 17:06:01.93 H+ijo7Ie.net
>>497
その無限順序数はいつ表示させるんですか？
数え終わった瞬間ですか？
なら、そのωを表示させる直前には何が表示されるんですか？
511:１３２人目の素数さん
20/03/21 17:07:20.02 H+ijo7Ie.net
こういう装置はおっけー
こういう装置はダメ
その場しのぎの屁理屈を繰り返してる時点でおかしいと思わなければダメですよね
安達さんと一緒じゃないですか
指摘されればそこだけ矛盾がないように屁理屈こねる
で、またさらにボロが見つかっていたちごっこの繰り返し
512:１３２人目の素数さん
20/03/21 17:09:58.63 BOTf1fX9.net
>>498
> なら、そのωを表示させる直前には何が表示されるんですか？
ωは極限順序数であり、前者を持たず後続順序数ではない。ωの1つ前に表示される数なんてものは存在しない
513:１３２人目の素数さん
20/03/21 17:11:02.35 H+ijo7Ie.net
>>500
それはいつ表示させるんですか？
514:１３２人目の素数さん
20/03/21 17:11:19.39 Ysr8avom.net
>>495
>自然数との全単射を考えられるかどうか、以外に数えきれるの判断基準があなたの中にあるわけですよね？
「数えきれる」という命題の真偽を論じるのが先ですね。
あなたは偽だと主張したいのですか？であればあなたが偽である証明を出せばいい話ですね。
515:１３２人目の素数さん
20/03/21 17:12:14.76 BOTf1fX9.net
>>499
あなたが違和感を持つことは、あなた個人の問題であって矛盾ではありませんよ
516:１３２人目の素数さん
20/03/21 17:14:31.18 Ysr8avom.net
ID:H+ijo7Ie
あなたの姿勢はおかしいです。
なんでもかんでも質問して「質問に答えられなければ命題は偽だ」とでも言いたいのでしょうか？
命題が偽であると言いたいなら偽であることを証明して下さい。
517:１３２人目の素数さん
20/03/21 17:14:54.38 H+ijo7Ie.net
>>502
↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓
＞「数えきれる」という命題の真偽を論じるのが先ですね。
↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑
はい、これは完全な論点先取り論法です
安達さんと一緒じゃないですか
安達さんの場合、0.999...は1ではない、という結論が先にあります
だから、0.999....の定義なんてどうでもいいわけです
結論を満たすように、後から定義を決めればいい、てか定義なんてそもそもどうでもいいのだ(笑)
常識だから(笑)
こういう自分勝手な考えがあるのがトンデモなんですよ
518:１３２人目の素数さん
20/03/21 17:15:22.79 H+ijo7Ie.net
>>504
安達さんと一緒ですねー
結論が先にあるわけですから、そりゃ話が通じないわけですよ
519:１３２人目の素数さん
20/03/21 17:16:02.66 H+ijo7Ie.net
まずは、数えきれるとはどのようなことかをはっきりさせる
その次に、自然数は数えきれるのかを考える
これが正しい論法ですよね
520:１３２人目の素数さん
20/03/21 17:16:54.35 XWnhFsyt.net
>>501
＞（極限順序数ωは）いつ表示させるんですか？
スレッドタイトルに合致した、いい質問ですね
当然、2進小数で0.111…地点に到達した時
つまり1地点に到達した時です
521:１３２人目の素数さん
20/03/21 17:17:38.05 H+ijo7Ie.net
>>504
安達さんがこう言いました
まずは、0.999...=1の真偽を決めるのが先なのである(笑)
こんなことは常識なのだから、ちょっと考えればわかることなのである(笑)
どー思うんですか？あなたは？
522:１３２人目の素数さん
20/03/21 17:18:21.67 H+ijo7Ie.net
>>508
なぜですか？
523:１３２人目の素数さん
20/03/21 17:20:16.68 BOTf1fX9.net
>>501
当然装置次第だが、
>>483
> 2π(Σ[k=1,n](1/2)^k):=m_n とおく。
> メータの針の角度の集合M:={m_n|ｎ∈N}
> f:N→M を f(n)=m_n と定義すればNからMへの全単射であり、f(N)=M。
のメーターと画面を同期させるならば、角度が2πの時だな
もちろん2πはMには含まれない
524:１３２人目の素数さん
20/03/21 17:21:19.57 XWnhFsyt.net
>>510
実数の連続性の公理から
0.999…=1は論理におけるトートロジー（恒真命題）ではありません
つまり0.999…<1となるような数体系も当然可能である
ただし
525:その場合、連続性は保たれない そういうことです
526:１３２人目の素数さん
20/03/21 17:21:26.64 H+ijo7Ie.net
>>511
2πがMに含まれないということは、2πに至る操作が存在しないということですよね
角度が2πになることなんてないのではないですか？
527:１３２人目の素数さん
20/03/21 17:21:48.75 Ysr8avom.net
>>507
>まずは、数えきれるとはどのようなことかをはっきりさせる
それ答えたはずですけど？
528:１３２人目の素数さん
20/03/21 17:22:54.78 H+ijo7Ie.net
>>514
その定義には矛盾があることを先ほど指摘しましたね？
画面の時も全単射作れるんだから、あなたの意味で画面の時でも数えきれないとおかしい、と
529:１３２人目の素数さん
20/03/21 17:25:04.75 BOTf1fX9.net
>>513
含まれていないことが問題なら、M'=M∪{2π}とすれば解決するな
530:１３２人目の素数さん
20/03/21 17:26:28.14 H+ijo7Ie.net
>>516
M’てなんですか？
Mは自然数から数えるという操作の写像fの像ですけど
531:１３２人目の素数さん
20/03/21 17:26:35.56 Ysr8avom.net
>>509
私が「数えきれるのが常識だ」と言ったレス番号を示して下さい。
示せないならあなたは嘘つきになりますよ？
532:１３２人目の素数さん
20/03/21 17:27:09.22 H+ijo7Ie.net
>>518
そんなこと私言ってないですよねぇ(笑)
喩え話ですよ
533:１３２人目の素数さん
20/03/21 17:27:42.85 H+ijo7Ie.net
>>518
で、はやく正しい数えきれる、の定義を教えてくださいよ
534:哀れな素人
20/03/21 17:28:40.48 DgS6QrDj.net
やれやれ今日も質問少年とサル石その他のアホの勢揃い（笑
>>444
バカ（笑
僕は誤魔化したことは一度もない（笑
お前に悟られないようにしているだけ（笑
>>506
>安達さんと一緒ですねー
バカ丸出し（笑
何にも分っていないアホ（笑
はっきりいうがお前はサル石と同レベルのアホ（笑
しかしサル石も質問少年のしつこさにうんざりしているはずだ（笑
この少年を僕が質問少年と名付けた理由が分っただろう（笑
535:１３２人目の素数さん
20/03/21 17:29:10.71 BOTf1fX9.net
>>515
> 画面の時も全単射作れるんだから、あなたの意味で画面の時でも数えきれないとおかしい、と
たった今数え切れるといいましたよね。あなたの言う、「最後の自然数数が表示される装置」なんていうものが否定されているだけなので、それがあると思っているあなた自身の問題ですよ
536:１３２人目の素数さん
20/03/21 17:29:19.85 Ysr8avom.net
>>515
画面の話は私が言い出した事ではない
言い出した人に言ってくれ
537:１３２人目の素数さん
20/03/21 17:30:09.46 Ysr8avom.net
>>520
メータの例を示しましたよ？
538:１３２人目の素数さん
20/03/21 17:32:14.86 H+ijo7Ie.net
>>523
だから、あなたの定義は、数えきれる=自然数との全単射がある、なんですよね？
なら、画面の例でも数えきれるはずですよね？
でも、あなた上で数えきれない、とおっしゃいましたよね？
そこがおかしいんですよ
そうやって、自分は考えたくなーいって責任転嫁したいなら、数えきれるとも数えきれないとも言ってはいけないですよね
しかし、あなたは数えきれないと言ってしまった
なら理由を説明しなければなりません
539:１３２人目の素数さん
20/03/21 17:32:38.01 H+ijo7Ie.net
>>524
あなたは画面の例は数えきれないとおっしゃいました
それはなぜですか？
540:１３２人目の素数さん
20/03/21 17:33:57.34 Ysr8avom.net
>>520
例では不満？
それはあなたの感情であってあなたの問題です
「ある数え方で数えきれる」を示すには１つの数え方の存在を示すだけで十分ですから
541:１３２人目の素数さん
20/03/21 17:34:04.78 XWnhFsyt.net
ID:Ysr8avom＝ぷっ
ID:H+ijo7Ie＝質問少年
ですかね
質問少年さんは安達さんのお孫さんですか？
議論の仕方がそっくりそのままですよ
542:１３２人目の素数さん
20/03/21 17:35:29.60 H+ijo7Ie.net
>>527
不満ですね
だって、自分の都合のいい部分しか見てないんですから
安達さんと、おんなじ、ですよ
543:哀れな素人
20/03/21 17:35:40.10 DgS6QrDj.net
質問少年の性格の悪さが如実に表れている（笑
わからないんですね
逃げないで答えてくださいねー
いつもこうして相手を完全に舐めた文章を書いている。
意地の悪い女のような文章で（笑
サル石よ、この少年は延々と質問してくるぞ（笑
ニートだから真夜中でも一晩中質問してくる（笑
544:哀れな素人
20/03/21 17:37:08.91 DgS6QrDj.net
>安達さんと、おんなじ、ですよ
アホだから何にも分っていない（笑
545:１３２人目の素数さん
20/03/21 17:37:29.10 BOTf1fX9.net
「数え切れる」の定義次第でどうとでもなる問題ではある
「ある自然数Nが存在し、N以下の自然数の集合と全単射が存在する」とでもすれば、すべての自然数の集合は数え上げられない集合になるし、
「ある順序数αが存在し、α以下の順序数の集合と全単射が存在する」とでもすれば、実数の集合すら数え上げ可能になる
546:１３２人目の素数さん
20/03/21 17:37:39.48 BE76LEYh.net
>>526
うまく想像ができませんが
無限に�
547:ｱくような数を表示できる画面、てどのようなものなんでしょうが 物理における剛体みたいに、理想的なものを考えることで矛盾が起きる、なんてことはないでしょうか
548:１３２人目の素数さん
20/03/21 17:37:39.48 Ysr8avom.net
>>526
その姿勢がダメなことは>>504で示しました
549:１３２人目の素数さん
20/03/21 17:37:49.21 H+ijo7Ie.net
安達さんはアホだから今の議論にはついていけないんですねー
気が向いたらまた構ってあげますよ
550:１３２人目の素数さん
20/03/21 17:39:02.96 H+ijo7Ie.net
>>534
あなたの姿勢がダメなことは>>505で示しました
結果に合わせて論理をコロコロ変えるトンデモ論法だからです
551:１３２人目の素数さん
20/03/21 17:39:55.13 H+ijo7Ie.net
>>532
そうですね
これだけなのに、それすらできない人がいるわけですよ
だから延々と私に粘着されると
552:哀れな素人
20/03/21 17:40:05.29 DgS6QrDj.net
>>535
何にも分っていないドアホ乙（笑
超実数の実例を挙げてくださいねー（笑
553:１３２人目の素数さん
20/03/21 17:40:40.19 H+ijo7Ie.net
>>538
だから超積の例あげましたよねぇ
554:１３２人目の素数さん
20/03/21 17:40:52.29 Ysr8avom.net
>>529
>だって、自分の都合のいい部分しか見てないんですから
>>476
555:１３２人目の素数さん
20/03/21 17:41:08.38 XWnhFsyt.net
>>532
極端にいえば、集合として認めた時点で「数え切れる」とする考え方もある
逆にいえば、集合全体は集合でないから「数え切れない」
556:１３２人目の素数さん
20/03/21 17:42:55.16 H+ijo7Ie.net
>>540
だから、私は画面の例が自然数数えきれる事の反例になってるんでないか、と言ってるわけじゃないんですよ
あなたの定義によると、画面の例は数えきれるはずなのに、あなたは数えきれないと言っているから、そもそもあなたの中の数えきれるの意味がぶれてますよね、と言ってるんですよ？
理解できますか？
557:哀れな素人
20/03/21 17:43:28.72 DgS6QrDj.net
>>539
また逃げましたね（笑
わからないんですね（笑
早く挙げてくださいねー（笑
アホの相手はここまで（笑
お前はサル石より性格が悪い（笑
たぶん2chの数学板で一番性格が悪い（笑
558:１３２人目の素数さん
20/03/21 17:43:44.15 Ysr8avom.net
>>536
>結果に合わせて論理をコロコロ変えるトンデモ論法だからです
いつ結果に合わせて論理を変えました？
画面は私が持ち出したのではないので変えたことにはなりませんよ？
レス番号示して下さいね、示せなければあなた嘘吐きになりますよ？
559:１３２人目の素数さん
20/03/21 17:45:07.66 Ysr8avom.net
>>519
ではあなたは嘘つきですね
私が言ってないことを言ったことにしたのですから
560:１３２人目の素数さん
20/03/21 17:45:26.43 H+ijo7Ie.net
>>544
そうやって画面から逃げるじゃないですか
画面だってあなたの意味では数えきれるのに
あなたの数えきれるの定義は、メーターの例にしか適用できないんですか？
画面の例には適用できないんですか？
変えてるじゃないですか、定義を
561:１３２人目の素数さん
20/03/21 17:50:18.97 XWnhFsyt.net
画面でも数えきれるでしょ
直前の数なんて存在する必要ないでしょ
562:１３２人目の素数さん
20/03/21 17:51:06.10 H+ijo7Ie.net
>>547
さる石さんは数えきれないとおっしゃるんですよ
おかしいですよねぇ？
そう思いませんか？
563:１３２人目の素数さん
20/03/21 17:53:31.88 Ysr8avom.net
>>546
>変えてるじゃないですか、定義を
>>464
>>数えるという操作を定義してください
>数えるシステムとNとの間に全単射が存在する。
>先に挙げたメータシステムの例で言えば、f:N→N, f(n)=2π(Σ[k=1,n](1/2)^k) という全単射が存在するので、このメータにより数えることは可能。
どこにも「画面表示は数えるシステムである」なんて書いてないんですど
やはり嘘でしたね、嘘はいけませんよ？
564:１３２人目の素数さん
20/03/21 17:55:59.43 H+ijo7Ie.net
>>549
あぁ、そういうことなんですか？
失礼しました
じゃ、数えるシステムの定義もはっきりさせておかなければなりませんね
数えるシステムとはどのようなものですか？
私は、言葉だけ聞くと画面の例も数えるシステムなのかな、と思いますけど
565:１３２人目の素数さん
20/03/21 17:57:47.66 XWnhFsyt.net
>>548
ID:Ysr8avomはサル石じゃないとおもうよ
「測度０の食べかすなんて無視していい」とかいって
食べかすを君の顔に吹き付けたのがサル石だろう
566:１３２人目の素数さん
20/03/21 17:59:28.14 H+ijo7Ie.net
そうなんですか？
安達さんがサル石さんみたいなこと言ってたからそうなのかと思ってました
567:１３２人目の素数さん
20/03/21 17:59:38.86 XWnhFsyt.net
>>550
＞じゃ、数えるシステムの定義もはっきりさせておかなければなりませんね
いや、君がまず「数える」の定義をはっきりさせておかなければならないんじゃね？
なんで他人に丸投げしてるの？ 安達さんそっくりだね お孫さん？
568:１３２人目の素数さん
20/03/21 18:00:15.28 Ysr8avom.net
ID:H+ijo7Ie
画面表示を持ち出したのは私ではない。
なぜ画面表示の質問を私にしてくるのか？
それはあなたの姿勢が>>504だからです。
あなたが取るべき姿勢は「数えきれない」ことを証明することです。
569: ということで証明をどうぞ。
570:１３２人目の素数さん
20/03/21 18:00:41.60 H+ijo7Ie.net
>>553
私はこの話題をあげた最初のレスであげてあるんですよ
448 名前:１３２人目の素数さん :2020/03/21(土) 14:00:35.80 ID:H+ijo7Ie
>>447
数え切る、の定義を教えてください
ここはっきりさせないと拉致があきませんね
私の定義
数える:自然数との一対一対応を考えること
数えきれる:有限集合との一対一対応を考えることが可能であること
571:１３２人目の素数さん
20/03/21 18:01:58.95 H+ijo7Ie.net
>>554
あなたが、画面表示では数えきれないと言ったり、数えるシステムではない、とおっしゃるからです
スルーするなら完全スルー決めればいいのに、こうやって結論が出せるということは、あなたなりの考えが何かしらあるというのとですよね
で、数えるシステム、とはどのようなものですか？
572:１３２人目の素数さん
20/03/21 18:04:06.97 XWnhFsyt.net
>>555
最初に云ったから、繰り返さなくていい、と思うのはあさはかだと思うよ
何度でも執拗に繰り返すべきだね
で、ついでにいうと
「数える:自然数との一対一対応を考えること
数えきれる:有限集合との一対一対応を考えることが可能であること」
は実に狭い やっぱり安達さんのお孫さんだね
573:１３２人目の素数さん
20/03/21 18:05:08.09 H+ijo7Ie.net
>>557
ならあなたの定義教えてくださいねー
574:１３２人目の素数さん
20/03/21 18:06:37.32 Ysr8avom.net
>>556
命題が真と言うためには数えるシステムをひとつ示せば十分
偽と言いたいあなたの為すべきは数えるシステムの非存在を示すこと
575:１３２人目の素数さん
20/03/21 18:07:30.24 H+ijo7Ie.net
>>559
数えるシステムの定義がないので、何を指しているのかがわからないんですけど
576:１３２人目の素数さん
20/03/21 18:08:45.32 XWnhFsyt.net
>>558
数えきれる：集合として存在する
つまり集合論におけるクラスは「数え切れない」
無限公理を採用しない集合論だと、君の>>555の定義と一致する
つまり、拡張だな
577:１３２人目の素数さん
20/03/21 18:10:19.56 Ysr8avom.net
ということでID:H+ijo7Ieさんとの会話は堂々巡りの様相を呈してきましたのでちょっくら休憩します。
言うべき新しいことが見つかったらレス願います。同じレスの繰り返しは勘弁して下さい。
578:１３２人目の素数さん
20/03/21 18:10:42.15 H+ijo7Ie.net
>>561
実数も数えきれるわけですね
納得はできないけど理解はできるってやつですね
ほら、わかりますか？
こうやって定義述べるだけでいいんですよ？
なんでイヤイヤイヤイヤって延々と逃げまくるんですか？
579:１３２人目の素数さん
20/03/21 18:12:11.07 H+ijo7Ie.net
>>562
また逃げるんですね
数えるシステムとはなんなんですか？
なぜ、画面の例は数えるシステムではないんですか？
はやく答えてください？
あなたは論理的に画面の例が数えるシステムにならないことを示す必要がありますよ？
じゃないと、感情的に排除してるだけとみなします
580:１３２人目の素数さん
20/03/21 18:14:04.34 XWnhFsyt.net
>>563
＞実数も数えきれるわけですね
そうなりますね
＞納得はできないけど理解はできるってやつですね
フォン・ノイマンは
「数学は理解するものではない。ただ慣れるだけである。」
といったそうですけどね
「納得できねぇ！」とわめく頭の悪い連中に悩まされたんだろうね
581:１３２人目の素数さん
20/03/21 18:15:01.16 Ii6OOQVX.net
>>561
すると、自然数は数え切れるというとき、
それはただ単に自然数は集合として存在すると述べているに過ぎないわけだ
それなら誰も反対する者はいないが、
わざわざ主張する意味が分からなくなるね
582:１３２人目の素数さん
20/03/21 18:15:15.11 H+ijo7Ie.net
>>565
数えられる、とは普通高々可算であることを指しますね
自然数は数えられるし数えきれる
実数は数えられないけど数えきれる
ものすごい違和感を覚えます
583:１３２人目の素数さん
20/03/21 18:17:15.28 XWnhFsyt.net
>>566
＞自然数（の全体）は数え切れるというとき、
＞それはただ単に自然数（の全体）は集合として存在すると
＞述べているに過ぎないわけだ
無限公理の設定はそういうことですよね
※勝手ながら、（の全体）を追加させていただいた
584:１３２人目の素数さん
20/03/21 18:20:04.45 BE76LEYh.net
>>564
無限を表示できる画面は必ず読めないか表示しきれないかどちらかになる、とかはどうでしょうか？
585:１３２人目の素数さん
20/03/21 18:27:15.19 Ysr8avom.net
>>564
「数えきれない」の証明から逃げてるのはあなたですね～♬
586:１３２人目の素数さん
20/03/21 18:28:32.40 H+ijo7Ie.net
>>570
私は上で、数えきれる=有限集合との全単射がある
と定義しましたね
定義より、有限集合でない自然数は数えきれません
はいお�
587:墲閧ﾅす
588:１３２人目の素数さん
20/03/21 18:28:43.34 BE76LEYh.net
あるいは1/0で未定義と表示されるとか。
589:１３２人目の素数さん
20/03/21 18:31:16.98 Ysr8avom.net
>>571
では訂正します
この問題から逃げてるのはあなたですね～♬
590:１３２人目の素数さん
20/03/21 18:32:11.58 BE76LEYh.net
これわりといい気がする。
未定義と表示されていないなら、まだ数える途中である。
数え終わったら、未定義と表示される。
どうですか？
591:１３２人目の素数さん
20/03/21 18:32:17.65 H+ijo7Ie.net
>>573
どの問題ですかー？
592:１３２人目の素数さん
20/03/21 18:33:24.71 Ysr8avom.net
>>575
自然数がすべて数えきれるか否かという問題
593:１３２人目の素数さん
20/03/21 18:34:49.84 H+ijo7Ie.net
>>576
え？
だから先ほど数えきれないことを示しましたよね？
>>571で
数えきれない、の定義が私のものと違うんですよね？
だから、まだレス返してくるんですよね？
わかりますか？
定義が大事なんですよ
結論じゃないですからね？
594:１３２人目の素数さん
20/03/21 18:39:02.95 Ii6OOQVX.net
>>557
数え切れるの定義を拡張することで、
無限集合と区別したいときに使える言葉だったのに、
集合でないものと区別するときにしか使えない言葉になってしまって、
逆に使いにくい言葉になってしまった気がするな
595:１３２人目の素数さん
20/03/21 18:44:48.94 XWnhFsyt.net
>>567
＞数えられる、とは普通高々可算であることを指しますね
それ、>>555の定義と違うね
君がいうのは
数えられる、とは有限であることを指す
だよね
それが世間一般の考え方だというのはその通りだと思うよ
しかし数学は別に世間一般じゃないからね
596:１３２人目の素数さん
20/03/21 18:46:33.02 XWnhFsyt.net
>>571
＞有限集合でない自然数（の全体）は数えきれません
さすが安達さんのお孫さんですね
※勝手ながら、（の全体）を追加させていただいた
597:１３２人目の素数さん
20/03/21 18:47:50.17 BE76LEYh.net
1/nを画面に表示するシステムを作ったら
1/0になる1つ前に止めることはできない。
なぜなら0とその1/nの間に必ず表示する数があるから。
1/0になったら未定義で画面は止まる。
だめですか？
598:１３２人目の素数さん
20/03/21 18:48:10.91 H+ijo7Ie.net
>>579
数える=数えられる
だと自分の中で思ってました
数える=数えられる
高々可算であること
数えきれる集合
有限集合であること
599:１３２人目の素数さん
20/03/21 18:49:12.05 XWnhFsyt.net
>>578
「数え切れる」という言葉、必要ですか？
有限/無限の区別があればいいし
可算/非可算の区別があればいいし
集合/クラスの区別があればいいよね
600:１３２人目の素数さん
20/03/21 18:55:35.09 H+ijo7Ie.net
>>583
今は数えきれるとはどういうことなのかを考えてるんですよ
数えきれる、は普通は数学では扱わない概念です
601:１３２人目の素数さん
20/03/21 19:05:54.15 klRPVVCB.net
返せない石が飛んで来たw
602:１３２人目の素数さん
20/03/21 19:08:50.54 XWnhFsyt.net
>>584
＞数えきれる、は普通は数学では扱わない概念です
ええ
なぜだと思いますか？
必要ないからですよ
603:１３２人目の素数さん
20/03/21 19:10:46.86 H+ijo7Ie.net
>>586
通常の数学で必要ないことと、今ここで数えきれるとはどのようなことかを考えることは全く別の話です
数えきれる、に興味がないなら、話に参加しなければいい
604:１３２人目の素数さん
20/03/21 19:14:18.90 XWnhFsyt.net
有限であることが重要な定義も当然ある
証明における推論の回数がそうですね
無限回の推論なんて認められない
そういう観点からすると
ヴィトゲンシュタインのような厳密有限主義が
全く偏狭で時代遅れのものだ、とはいえない
ちなみに野矢茂樹の「無限論の教室」は好きな本の一つです
ぜひ映画化してほしいんですがね
タカムラさん役は乃木坂４６の久保史緒里でお願いします
605:１３２人目の素数さん
20/03/21 19:17:25 XWnhFsyt.net
>>587
興味がないわけではないが、ここで議論して答えがでるとも思えない
答えがでないから議論する意味がない、とはいわないが
ただ自分の考えを他人に強制するだけの発言は
痛々しいだけだからやめたほうがいい
安達氏をみればわかるだろう
二言目には他人をバカとかアホとか罵るのは
自分に対する自信のなさの裏返し
自信なんて必要ないことに気づこう
606:１３２人目の素数さん
20/03/21 19:21:03 w2IhZo8I.net
>>433
まぁそうなんだが俺的には
1.数列の数え上げをグラフ上への点描に対応させる
2.数列の各点描を連続関数化し線画に対応させる
として「数え切れるか否か」の判断を「数学的帰納法」的な
「読んで字の通り限度が有る有限【finite】」な「手続きと結論」とする事を
「数えが『効く』なら全て数え上げ可能」の「超限帰納法」的な超脱【meta】な判断に変え
「読んで字の如し限度不問の超限【trancefinite】」な「手続きと結論」とし、手数の限度から
解脱した数学を皆には語られたい。既に 1-0.999… が 0 でなくなるのは、実数拡張最終にして
超限議論が絡む超現実数から、更に拡張し数でさえなくなるゲームからだと述べた｡
つまり超現実数が絡んで来た時点で既に有限手続きから超脱したメタ認知による超限手続きが不可欠で､
そこから更に拡張したゲームでなければ 1-0.999…≠0 なる系はならない事から、他の人等が
有限手続きでの議論完了可否を語られてる事に、異議を申し立てたい｡
この問題は超限が絡む問題であるにも関わらず此の問題は別に P問題 & NP問題 & P=NP & P≠NP を
考えなければならない程の複雑系性質が絡む問題ではないので、難しくはあるが困難ではなく、専ら
超現実数とゲームとの違い、及び超現実数から更に超脱したゲーム系であるにも関わらず
超現実数とゲームとの結果の違い・差を超現実数εで表せる不思議を語る話題だと俺は考える｡
なぜ超現実数体上で現れなかった超現実数差εがゲーム系上で超現実数換算でεの差として現れるのか？
607:１３２人目の素数さん
20/03/21 19:27:30 H+ijo7Ie.net
>>589
普通議論されないことだから、ここで自分で考えていかなければいけないですよね
教科書のコピペしようって話じゃないんですからこの話は
608:１３２人目の素数さん
20/03/21 19:31:47.31 Ii6OOQVX.net
>>581
止まる前に表示されていた数は？
609:１３２人目の素数さん
20/03/21 19:33:35.55 w2IhZo8I.net
結論 0.999…=lim[n→∞]Σ[k=1,n]9/10^k は式変換無しでの計算に於いて
有限手数では計算できないながら超限帰納法を持ち出す必要も無く単なる数学的帰納法の適用により
超限手数になるが計算でき、更に言えば最初に式変換しない直接計算する話をしたが
当式は別に式変換を禁止する定義も公理も無く lim[n→∞]1-0.1^n と有限手数の式に直せるので
「そのまま有限の数え上げで計数完了しないが単純な式変換により有限手続きで計算できる式」と言える｡
610:１３２人目の素数さん
20/03/21 19:34:08.90 BE76LEYh.net
有限の時間で終わる
数えてない要素がない
それが数え切るじゃないでしょうか
終わらなければ数え切るじゃないし
実数のように数えてない要素をいくらでもあげられたら数え切るじゃない
611:１３２人目の素数さん
20/03/21 19:35:31.55 BE76LEYh.net
>>592
止まる前に表示されている数を確認することは原理的にできない
612:１３２人目の素数さん
20/03/21 19:36:47.32 XWnhFsyt.net
>>591
君は考えてる？
例えば、アキレスが亀に追いついたとき
アキレスは
1/2,3/4,7/8,…,(2^n-1)/2^n,…
という無限個の点を通過してると認める？
613:１３２人目の素数さん
20/03/21 19:43:31.15 w2IhZo8I.net
以上。>>1の言う 0.999… と 1 の差は超現実数体上では現れずゲーム系上で始めて現れるにも関わらず
超現実数換算 ε (:最小超限順序数ωの逆数)として現れる差を指摘しているに過ぎず､
「じゃあ其れを数としての差として言えるか」と言えば、言えなくなる｡
ややこしいが此れが今の所の議論進行地点だと、俺は考える｡
614:１３２人目の素数さん
20/03/21 19:48:04.28 XWnhFsyt.net
＞
615:0.999… と 1 の差は超現実数体上では現れず いや、現れるんじゃないかな 差は 0.000…1 だね 1が立つのはω桁目 で、超現実数体の怖いところは その後ω-1桁目、ω-2桁目、と 新しい桁が出来てくるところ そのうちω/2、ω/3、… とか √ω、ω^(1/3)、ω^(1/4)、… とか いうのまでできてくる まったくシュール
616:１３２人目の素数さん
20/03/21 19:49:07.71 Ii6OOQVX.net
>>595
下記の機械で自然数を記録していく
記録された数を画面に映し出し、次の点に到達するごとに上書きして更新していくとする
スタートのとき1が、中間地点に到達したとき2が、映し出される
ただしゴールしたときには更新が行われないことをもって、「画面は止まる」とする
いま、ゴールしたときに画面を覗き込んだとして、このとき画面には何が見える？
＞無限に高速に動ける理想機械の存在を仮定してもらって結構ですよ？
＞点1/nに到達時にその機械が勝手にnを記録する、しかも時間０で>>406
617:１３２人目の素数さん
20/03/21 19:52:06.75 H+ijo7Ie.net
>>596
認めますよ
しかし、それは追いついた後に後からチェックポイントを設けて考えてますよね
チェックポインタを確認しながら進むことと、何も考えずに進むことは違います
上の方で散々議論してます
618:１３２人目の素数さん
20/03/21 19:56:03.21 BE76LEYh.net
>>599
未定義
619:１３２人目の素数さん
20/03/21 20:00:20.75 Ii6OOQVX.net
>>601
未定義の場合、画面には何が映されることになるの？
620:１３２人目の素数さん
20/03/21 20:01:53.41 BOTf1fX9.net
>>599
>>581にきちんと「未定義」と表示されると書いてあるぞ
621:１３２人目の素数さん
20/03/21 20:03:01.09 Ii6OOQVX.net
>>603
それは1/0の話であって、今の問いとは無関係
622:１３２人目の素数さん
20/03/21 20:05:26.86 BE76LEYh.net
>>604
ゴールした時1/n=0だから未定義、いや不定?不能？なんかそういうもの
623:１３２人目の素数さん
20/03/21 20:05:48.73 BOTf1fX9.net
>>604
なら、
>>599のような機械は原理的に構築できない
、でいいだろう
上でも同様なことは書いている
624:１３２人目の素数さん
20/03/21 20:10:22.34 XWnhFsyt.net
>>600
＞チェックポインタを確認しながら進むことと、
＞何も考えずに進むことは違います
チェックポイントを確認するのに
常にある一定時間ε＞０が必要なら
もちろん、無限個のチェックポイントは通過できない
ただの算数
625:１３２人目の素数さん
20/03/21 20:14:06.74 Ii6OOQVX.net
>>605
ゴールしたときに更新は行わないという前提を置いたのが>>599だ
>>606
いいよ
このような機械は存在を仮定すると矛盾する
ゆえに移動することと、通過したときの軌跡にある無限の点を数えきることは、無関係
626:酒浸り
20/03/21 20:20:48.94 w2IhZo8I.net
>>598
> いや、現れるんじゃないかな
> 差は 0.000…1 だね
> 1が立つのはω桁目
例え注意書きを添えても ε(=1/ω) をそんな書き方しては
いっかーーーーーーーーーん!!
URLﾘﾝｸ(dengekionline.com)
627:１３２人目の素数さん
20/03/21 20:22:37.39 BE76LEYh.net
>>608
一応、>>564に反論してみたつもりなので
数えるシステムと、そうでないシステムがある
それを認めたなら、話はたぶんそこで終わりです。
628:酒浸り
20/03/21 21:30:16 w2IhZo8I.net
ん？ぷっ氏って誰よ？プルス博士？
>>598
そうは言うが瀬田氏もプルス博士も猿石氏も「超現実数でも差は 0 」と考えてるだろう、何故なら
0.999… ≠ 1 ⇔ 0.999… < (1-0.999…)/2 < 1
は言えるが一方で例えば
√2-(√2の小数展開1.41413562…) と 1-0.999… は、�
629:蜿ｬ判定が付かず、全順序性を定義付けられず完備とならない｡ 全順序性が有り完備でなければ『体』ではないが、超現実数は『体』である事が数学界で公知｡ だから『 0.999... - Wikipedia 』では、わざわざハッケンブッシュゲームにまで言及している｡ 超実数ばかりか累超実数、超現実数でさえ現れず、ゲーム上でのハッケンブッシュ文字列同士で初めて 超現実数換算 ε の差が現れるからこそハッケンブッシュゲームが述べられている｡ 超現実数体上で差が現れるならハッケンブッシュゲームまで言及する必要は無い｡ しかし其のハッケンブッシュゲーム上で現れる差が超現実数換算でき尚且つεだと言うのが不思議｡ 別に、専門家に対して岡目八目的に疑う訳では無く、寧ろ天網恢々疎而不漏と思っては居るが､ 分野が分野で、内容が内容で、旨味も怪しいので、吟味し尽くされていない可能性を懸念している｡ なぜ超現実数体上でも差が現れず、ゲーム上で初めて差が現れたのに 其の差がゲーム上の非超現実数にはならず、超現実数になるのか？ それとも此の懸念の仕方が古典的なのか？ 0.999… と 1 の差が超現実数体で現れない癖に ゲームではなく、差が超現実数で現せる事に対する、この因果観念が古典的なんだろうか？ 広義超現実数である 1 との差が超現実数である数は超現実数と思うしゲームに言及する必要は無い筈が 超現実数体上では現れずゲームで初めて現れる、非超現実数のゲームではない、超現実数の差｡ 古典的な見方なのかも知れないが、不思議と思わざるを得ない｡ 俺は超現実数が全順序体でありゲームが半順序である所に理由が有ると思っている｡ 是非この私的不思議を瀬田氏やプルス博士や猿石氏に精査して頂き見解を述べて頂きたい｡
630:哀れな素人
20/03/21 21:55:04 DgS6QrDj.net
休日になるとアホがどっと湧いてくる（笑
>やっぱり安達さんのお孫さんだね
僕を質問少年のようなアホと一緒にしないでくれ（笑
言っておくが、この問題ではお前やサル石に勝ち目はないのだ（笑
最初から質問少年の勝ちと決まっているのだ（笑
>安達氏をみればわかるだろう
>二言目には他人をバカとかアホとか罵るのは
>自分に対する自信のなさの裏返し
バカ（笑
実際お前らはアホバカだからだ（笑
>0.999…=lim[n→∞]Σ[k=1,n]9/10^k
無限小数を極限値と考えているバカ（笑
質問少年とまったく同レベルのアホ（笑
それにしても超実数というアホ説を信じているバカどもの集まり（笑
アキレスと亀についても何にも分かっていない（笑
631:１３２人目の素数さん
20/03/21 22:08:58 w2IhZo8I.net
1/0 について>>18に記したWikipediaの本国版
Wheel theory - Wikipedia
URLﾘﾝｸ(en.m.wikipedia.org)
俺的には 1/0 は±不定性、∠(複素位相)不定性、多元数上位相不定性が邪魔なんで
普通「無限大全位相元を一点コンパクト化した意味で『∞』とする」方法も有るが
面倒なんで絶対値だけを考え |1/0|=∞ と考えている。だが、例えこんな |1/0=∞| と限定して
Reciprocal 0 を解釈してみた所で、wheel_theory的不定性三昧に見舞われるので何も役立てられない｡
まだ 1/0 を語りたきゃ、こちらへ
↓
1÷0ってなんで答えが定義されてないの？ [転載禁止]･2ch.net
ｽﾚﾘﾝｸ(math板)
このスレで語るべきは飽く迄も
Which is choice,
0.999…=1 or 0.999…≠1?
1-0.999…=0 or 1-0.999…=ε(=1/ω)≠0?
1-0.999…≠0 is surreal number or game?
だろう｡
632:哀れな素人
20/03/21 22:13:35 DgS6QrDj.net
>>613
0.999…≠1も、1-0.999…=εも
すでに>>1で証明されているのである（笑
>>1を読んでも理解できない質問少年その他のバカどもが
延々とこのスレでアホな議論を続けているのだ（笑
633:哀れな素人
20/03/21 22:17:44 DgS6QrDj.net
ちなみにオメガ星人の面白い証明を紹介しておこう（笑
1÷3=0 + 1/3
1÷3=0.3 + 1/30
1÷3=0.33 + 1/300
1÷3=0.333 + 1/3000
……………
1÷3=0.333… + 1/3000…
1/3＝0.33333……＋1/30000……
∴ 0.33333……<1/3
∴ 0.99999……<1
∴ 0.99999……≠1
このスレに集まっている連中はオメガ星人以下のアホだ（笑
634:哀れな素人
20/03/21 22:22:36 DgS6QrDj.net
ケーキを食べ尽くすことはできない。
1/2＋1/4＋1/8＋…は１にはならない。
0.99999……は１ではない。
自然数を数え尽くすことはできない。
こんなことは常識なのに、
2chのバカどもは誰一人として分っていないのだ（笑
635:哀れな素人
20/03/21 22:35:37 DgS6QrDj.net
ちなみにケーキの話は、僕が常駐していた古代史スレで
1/2＋1/4＋1/8＋…は１になるか否か、
という問題について議論していたときに、
祖父が内務省の官僚だったというｓが、
それはレイ・ブラッドベリが書いていた話と同じじゃないのか、
と紹介してくれたものだ。
ｓによればレイ・ブラッドベリが小説の中で、
そういう話を書いていたらしい。
もちろんレイ・ブラッドベリは
不可能なことの例え話として書いているのである（笑
常識ある人なら誰でも分る例え話として（笑
今夜はここまで（笑
636:１３２人目の素数さん
20/03/21 22:41:38 H+ijo7Ie.net
ちゃんとした数学書を読まないでそういう変な小説ばっかり読んでるからこういう安達さんみたいのが生まれるわけですね
637:１３２人目の素数さん
20/03/22 00:48:55.16 wAaSfMmo.net
安達さんまだやってたのか
何にしろ専用スレでやっていてえらい
638:酒浸り
20/03/22 04:08:04.28 rB1HtXuk.net
>>614-615
両方とも何の証明にも成ってない上に今まで碌に超現実数εどころか
其の逆元にして最小超限順序数に該当する超現実数ωも知らなかった癖にシレッと
> 0.999…≠1も、1-0.999…=εも
> すでに>>1で証明されているのである（笑
とか、よくもまぁ恥ずかしくも後ろめたくも無く抜かし喚き仰せたものだなぁ？>>1の証明なんかの
どこに超現実数体上1-0.999…とハッケンブッシュゲーム系上1-0.999…の違いをどう示せているんだ？
ほーれ見ろ、出鱈目な観念の上に、適当にデマぶっこいて取り繕って、大法螺を吹いてる事がバレた｡
デマって言葉は何でデマって言うか分かるか？
639:１３２人目の素数さん
20/03/22 04:26:38.20 rB1HtXuk.net
林修ルールで行くぜ。つまり「解答」合致だけでなく「解説」合格もしないと不正解｡
再>>614-615
おら、何で超現実数体上1-0.999…とハッケンブッシュゲーム系上1-0.999…で違いが出るか答えろ｡
>>616-617
まーだ有限手続きに捕らわれた考えに拘り固執してやがんのか｡
あのな？「線を引く」って行為は幾何学（∈数学）的に
「連続つまり最小非可算無限に点を打つ」認定なんだぞ。知らなかったのか？
未だに可能的無限だの実無限だの古い無限哲学に腐心して実無限を否定していやがってからに｡
640:酒浸り
20/03/22 04:37:20.97 rB1HtXuk.net
順序集合 - Wikipedia
URLﾘﾝｸ(ja.wikipedia.org)
> 数学において順序集合（じゅんじょしゅうごう、英: ordered set）とは「順序」の概念が定義された集合の事で､
> 「順序」とは大小、高低、長短等の序列に関わる概念を抽象化したものである。ただし､
> 順序集合内の2つの元 a, b に順序関係が定まっている（「比較可能」である）必要はなく、両者が「比較不能」であってもよい｡
>
> 比較不能のケースを許容していることを強調して順序集合の事�
641:ｼ順序集合（はんじゅんじょしゅうごう、英: partially ordered set, poset）ともいう｡ > 一方、半順序集合の中で比較不能のケースがないものを特に全順序集合 (totally ordered set) という｡ > （「半順序」という言葉が「全順序」の対義語ではない事に注意。全順序集合も半順序集合の一種である。) > > 全順序集合の簡単な例は整数の集合や実数の集合で、通常の大小比較を順序とみなしたものがある｡ > > 一方、全順序ではない半順序集合の例としては、正の整数全体の集合に整除関係で順序を入れたものや､ > （2つ以上元を含む）集合の冪集合において、包含関係を順序とみなしたものがある｡ > 例えば2元集合 S = {a, b} において {a} と {b} はいずれも他方を包含していないので S の冪集合は全順序ではない｡
642:酒浸り
20/03/22 04:56:14.38 rB1HtXuk.net
0.999…≠1 ⇒ 0.999…<(1-0.999…)/2<1 & 【{√2-(√2の小数展開1.41413562…)}と(1-0.999…)が比較不能】
超現実数は『体』である事が世界中の数学界で公知で『体』ならば全順序なので比較不能ゆえに上記に該当し得ない｡
ハッケンブッシュゲーム系は半順序である事が世界中の数学界で公知なので上記に該当し得る｡
やはり此の両者の順序性に理由が有る｡
643:酒浸り
20/03/22 06:37:44.70 rB1HtXuk.net
予測変換に任せて惰性で書いてミスった｡
× 超現実数は『体』である事が世界中の数学界で公知で『体』ならば全順序なので比較不能ゆえに上記に該当し得ない｡
○ 超現実数は『体』である事が世界中の数学界で公知で『体』ならば全順序なので比較可能ゆえに上記に該当し得ない｡
644:哀れな素人
20/03/22 08:15:27.88 uynM0ApJ.net
>>618
お前のようなアホは数学書を読んでもダメ（笑
それにレイ・ブラッドベリを読んだのはｓであって僕ではないぞ（笑
お前が文章が読めないアホであることを晒している（笑
お前がどうやってサル石を論破するか見ていたが、
お前はアホだからサル石を論破できない（笑
質問するしか能のないバカ（笑
酒浸りよ、お前がアホであることは最初から分かっているから出て来なくていい（笑
645:１３２人目の素数さん
20/03/22 09:01:18.89 OFMTPL9H.net
横レス
>>623-624
＞『体』ならば全順序なので
複素数体もｐ進体も体ですが
646:酒浸り
20/03/22 11:38:40 rB1HtXuk.net
>>626
こりゃいかん、すっかり一次元脳に陥っていた｡
重々熟知していた事と今考えている事がリンクせんで無事、死亡｡
酒もしくはアドレナリンが足りんかった模様｡
647:１３２人目の素数さん
20/03/22 11:42:36 +SjNGkOL.net
体が全順序であることと順序体であることは別でしょ
648:無事死亡
20/03/22 11:43:32 rB1HtXuk.net
所でp-進数で思ったが合成数-進数環と素数-進数体で語る0.999…の話題は既に為されたのだろうか？
649:酒浸り
20/03/22 11:49:58 rB1HtXuk.net
ん？
650:１３２人目の素数さん
20/03/22 13:25:35.37 rB1HtXuk.net
あーそういやp-進数に順序ねぇや｡
>>628
ふむ｡
最小順序体は有理数体｡
最小デデキント完備順序体は実数体｡
順序体は平方元が非負｡
あーいかん。まぁいかんのが俺のいつも通りなんだけど。相変わらず海馬が堕落化とるな｡
確り大脳には格納されとるのにリンクしとらん。呑みが足りん！
スピリタス呑んどくか｡
651:１３２人目の素数さん
20/03/22 16:06:33 OFMTPL9H.net
>>631
＞スピリタス呑んどくか｡
こちらのほうが効くんじゃないですか？
URLﾘﾝｸ(ja.wikipedia.org)
お勧めはできませんが
652:酒浸り
20/03/22 17:21:18.60 rB1HtXuk.net
>>632
何じゃそら。生来からの思考様式の癖だから治すもんでもないし､
元から数学達者でもなくブランク長い俺が、元からの勘違いにしろ滅裂を来す程の記憶劣化したにしろ
頓珍漢を言い出すのは不思議な事ではない。もし俺が達者なら何故超現実数体上とハッケンブッシュゲーム系上とで
結果が異なるのにその異なる結果の差を両方で表現できるのかを既に説明しきれているだろう｡
ハッケンブッシュゲームは大也でも等価でも小也でもないファジーと言う二項関係が有るみたいだが
当スレ議題に関しては Surreal(1-0.999…)=0 & Game(1-0.999…)=ε=1/ω≠0 と
確り大小の形でハッキリとした差として現れているからファジーも関係無い筈｡
それともゲーム特有の規則により途中でファジーを介する事が不可避な演算になるからなのだろうか？
組み合わせゲーム理論等でハッケンブッシュゲームを常用しているベテランにも質問してみたい｡
653:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/03/22 19:28:55 TMbOZsnt.net
>>625
>それにレイ・ブラッドベリを読んだのはｓであって僕ではないぞ（笑
哀れな素人さん、どうも。ガロアスレのスレ主です。
レイ・ブラッドベリか
懐かしいな
『火星年代記』を読んだ気がする
『華氏451度』が話題になったが、読まなかったな
URLﾘﾝｸ(ja.wikipedia.org)
レイ・ブラッドベリ
レイ・ダグラス・ブラッドベリ（Ray Douglas Bradbury, 1920年8月22日 - 2012年6月5日[1]）は、アメリカ合衆国の小説家（SF作家、幻想文学作家、怪奇小説作家）、詩人。
作品リスト
長編
『華氏451度』(Fahrenheit 451)
『火星年代記』(The Martian Chronicles)
『たんぽぽのお酒』(Dandelion Wine)
北山克彦訳 晶文社、1971
『ハロウィーンがやってきた』(The Halloween Tree)
伊藤典夫訳 晶文社、1975
『何かが道をやってくる』 (Something Wicked This Way Comes)
大久保康雄訳 創元推理文庫、1964
『死ぬときはひとりぼっち』 (Death is a Lonely Business)
小笠原豊樹訳 サンケイ出版、1986 のち文藝春秋
『黄泉からの旅人』(Graveyard for Lunatics: Another Tale of Two Cities)
日暮雅通訳 福武書店、1994 のち文藝春秋
『塵よりよみがえり』(From the Dust Returned)
中村融訳 河出書房新社、2002 のち文庫
『さよなら、コンスタンス』(Let's All Kill Constance)
越前敏弥訳 文藝春秋、2005
『緑の影、白い鯨』(Green Shadows, White Whale)
川本三郎訳 筑摩書房、2007
『さよなら僕の夏』(Farewell Summer)
北山克彦訳 晶文社、2007
654:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/03/22 19:50:57 TMbOZsnt.net
>>633
超準解析って面白いね
URLﾘﾝｸ(ja.wikipedia.org)
超準解析
1+1次元時空のディラック方程式の経路積分に基づく解法は超準解析を用いて測度論的に正当化できることが知られている。
この超準的な解法において、光速度 c を正の無限大超実数と置くことで、非相対論的極限である1+1次元時空のシュレーディンガー方程式の解が得られる。
この解法において 2^N0-飽和性が本質的に用いられる[20][21]。
655:１３２人目の素数さん
20/03/22 20:35:40 OFMTPL9H.net
>>635
>2^N0
2^aleph0ね
君 面白いね 数学 始めて？