17/09/17 11:48:46.11 G3z4gq8k.net
>>32
>D=1は確率的にありえない。D=2も確率的にありえない・・・D=nも確率的にありえない
サルはここで終わるからダメなんだなw
発展A(別名 測度バカ一代)
「Dはいかなる自然数の値も取れないから矛盾
つまり同値類の代表元がとれるとすると矛盾
したがって「関数は全て可測」という測度原理主義
は選択公理と矛盾するから選択公理は否定」
発展B(別名 ∞バカ一代」
「Dはいかなる通常の自然数の値も取れない
つまりいかなる通常の自然数よりも大きい∞を
”最大の拡大自然数”として認めざるを得ない
決定番号が∞をとる確率は1である
そしていかなる同値類の数列もほとんどすべて
”∞番目の箱の中身”のみがいわば”共通の尻尾”
として一致する。要するにペアノの公理は間違ってる!」
サルがどちらのバカになるかは随意だが、
バカになった時点で、ヤフ男と同じく”異教徒”として放置w
50:132人目の素数さん
17/09/17 11:51:15.54 wspDCEr0.net
>>44
> これは定義じゃなく定理か?定理なら証明せよ。
これ は
>「有限個」≠「いくらでもあるが有限個」はお前の主張の根幹をなす大定理だろうがw
のことなw
51:132人目の素数さん
17/09/17 11:53:19.56 wspDCEr0.net
>>45
> 普通の意味で1と2は違う、
> ということくらい子供でも分るのだ(笑
あれれ逃げるの?WW
お前もうちょっと気張れや
子どもでも分かるとか普通の意味だとか何の説明もしてないジャン。
数学は定義から始まるんですよ。分かる?
定義のないところに数学なし。
お前がやってるのは数学でなく修辞学。言葉のお遊び。哲学者かぶれの中学生。
52:哀れな素人
17/09/17 11:54:22.40 pUchQE5w.net
ID:wspDCEr0のアホ
>>45を読め(笑
53:132人目の素数さん
17/09/17 11:58:54.66 wspDCEr0.net
>>49
あれれれまだ逃げるの?WW
お前もうちょっと気張れや
子どもでも分かるとか普通の意味だとか何の説明もしてないジャン。
数学は定義から始まるんですよ。分かる?
定義のないところに数学なし。
お前がやってるのは数学でなく修辞学。言葉のお遊び。哲学者かぶれの中学生。
>>43
哀れな素人への宿題1:
集合の要素数について
1.「有限個」とは何か?定義せよ
2.「いくらでもある」とは何か?定義せよ
まずはこの定義な。その定義から
「いくらでもあるが有限個」
が説明されるだろ?きっとなw
それで「有限個」≠「いくらでもあるが有限個」が証明されるんだろ?お前によればw
さあ頼むわ。がんばれよ修辞学者クン
54:哀れな素人
17/09/17 11:58:59.83 pUchQE5w.net
スレ主への助言
一石(ピエロ)のようなアホと何年議論しても無駄だ(笑
なにしろこのバカは普通の者なら誰でも理解できるようなことが
理解できないバカなのだ(笑
ケーキを食べ尽くすことはできない、、
ということすら未だに理解できないバカなのである(笑
そんなバカと何年議論しても無駄なのだ(笑
55:132人目の素数さん
17/09/17 12:04:38.49 VAZlk2VL.net
>>32
>>Dは、そういう範囲の数ですねということ
そういう範囲とは具体的にどんな範囲を指している?
56:132人目の素数さん
17/09/17 12:05:46.87 VAZlk2VL.net
ボケ老人は”定義”、”定理”の意味を学ぶところからだな
57:哀れな素人
17/09/17 12:34:18.04 pUchQE5w.net
ID:wspDCEr0
ID:VAZlk2VL
この二人は度し難いアホである(笑
要するに
1 有限個しかない。
2 いくらでもあるが有限個しかない。
の違いが理解できないのだ(笑
さらにいえば、
2 いくらでもあるが有限個しかない。
の意味が理解できないのだ(笑
こんなのは常識なのに、常識的理解力がないアホだから、
延々と「有限個」「いくらでもある」
の意味を定義せよと述べているのだ(笑
ったくアホとは付き合っていられない(笑
ちなみにID:wspDCEr0は自称京大卒だが、それは嘘だろう(笑
なぜなら、じゃん、という言葉を使っている(笑
関東人ならいざ知らず、関西人はじゃんは使わない(笑
尤も、関東生まれのくせに
京大にしか入れなかったアホかもしれないが(笑
58:132人目の素数さん
17/09/17 12:41:28.21 wspDCEr0.net
>>54
あれれれれまだ逃げるの?WW
お前もうちょっと気張れや
子どもでも分かるとか普通の意味だとか何の説明もしてないジャン。
数学は定義から始まるんですよ。分かる?
定義のないところに数学なし。
お前がやってるのは数学でなく修辞学。言葉のお遊び。哲学者かぶれの中学生。
>>43
哀れな素人への宿題1:
集合の要素数について
1.「有限個」とは何か?定義せよ
2.「いくらでもある」とは何か?定義せよ
まずはこの定義な。その定義から
「いくらでもあるが有限個」
が説明されるだろ?きっとなw
それで「有限個」≠「いくらでもあるが有限個」が証明されるんだろ?お前によればw
さあ頼むわ。がんばれよ修辞学者クン
59:哀れな素人
17/09/17 12:47:54.07 pUchQE5w.net
例によってID:wspDCEr0のアホが登場(笑
このアホは自分で考える力がないから
こうやって人に説明ばかり要求するのだ(笑
「有限個」≠「いくらでもあるが有限個」
こんなことは常識なのに、こいつには理解できないのだ(笑
お前のようなアホに説明してやるかバカ
自分で考えろ(笑
自分で考えることから逃げ続けている低知能馬鹿(笑
60:
17/09/17 12:53:16.85 P8alUFBN.net
スレリンク(math板:654番)
いや,表記法は定義ですから,そういうことにする,とすれば,どう書こうといいだけなんです.パンピーに認められるかどうかは別にして
1/2+1/4+1/8+‥‥ の収束値が1であると「イプシロンデルタ」を使って説明できれば,
あとそれをどう記述しようと問題ない
収束する,という概念を認めているならば,我々一般人とあなたとに論理上の差はありません
カントールの対角線論法を胡散臭いと思っている点など,私とよく似通っているじゃありませんか?
61:132人目の素数さん
17/09/17 12:55:29.87 wspDCEr0.net
>>56
あれれれれれまだ逃げるの?WW
お前もうちょっと気張れや
子どもでも分かるとか普通の意味だとか何の説明もしてないジャン。
数学は定義から始まるんですよ。分かる?
定義のないところに数学なし。
お前がやってるのは数学でなく修辞学。言葉のお遊び。哲学者かぶれの中学生。
>>43
哀れな素人への宿題1:
集合の要素数について
1.「有限個」とは何か?定義せよ
2.「いくらでもある」とは何か?定義せよ
まずはこの定義な。その定義から
「いくらでもあるが有限個」
が説明されるだろ?きっとなw
それで「有限個」≠「いくらでもあるが有限個」が証明されるんだろ?お前によればw
さあ頼むわ。がんばれよ修辞学者クン
62:哀れな素人
17/09/17 12:59:37.46 pUchQE5w.net
「有限個」≠「いくらでもあるが有限個」
この例を僕はこれまでしつこいほど説明してきた(笑
五月にこのスレに参加したときから、
延々とそれを説明してきた(笑
ところがID:wspDCEr0のようなアホは
全然理解しなかったのだ(笑
だから2の意味を説明せよ、とか
有限個、いくらでもある、を定義せよ、とか
アホ丸出しのことをさも得意げに書いている(笑
アホは死ななきゃ治らないとはこのことだ(笑
63:哀れな素人
17/09/17 13:06:19.33 pUchQE5w.net
>>57
表記法などはどうでもいいのである。お前が、
1/2+1/4+1/8+……は1になる、
というなら、それは間違いで、
1/2+1/4+1/8+……は1に近づくが、1にはならない、
というのが高校数学の常識なのである。
ID:wspDCEr0がアホの一つ覚えで
同じレスを貼り続けている(笑
こんなアホはほっとくしかない(笑
一生やってろバカ(笑
こいつは一種の変質者だろう(笑
64:132人目の素数さん
17/09/17 13:14:01.85 wspDCEr0.net
>>58
あれれれれれまだ逃げるの?WW
お前もうちょっと気張れや
子どもでも分かるとか普通の意味だとか何の説明もしてないジャン。
数学は定義から始まるんですよ。分かる?
定義のないところに数学なし。
お前がやってるのは数学でなく修辞学。言葉のお遊び。哲学者かぶれの中学生。
まずは定義。すべてはそれからだ。
>>43
哀れな素人への宿題1:
集合の要素数について
1.「有限個」とは何か?定義せよ
2.「いくらでもある」とは何か?定義せよ
まずはこの定義な。その定義から
「いくらでもあるが有限個」
が説明されるだろ?きっとなw
それで「有限個」≠「いくらでもあるが有限個」が証明されるんだろ?お前によればw
さあ頼むわ。がんばれよ修辞学者クン
65:132人目の素数さん
17/09/17 13:15:32.07 wspDCEr0.net
>>59-60
そのとおり。このやり取りはお前が生きているかぎり続くだろうwww
定義がなければ定義を要求されるのである。
それが数学というのものだ。
定義ができなければ数学ではない別の何かだ。
66:132人目の素数さん
17/09/17 13:27:01.30 wspDCEr0.net
>>58
> 有限個、いくらでもある、を定義せよ、とか
> アホ丸出しのことをさも得意げに書いている(笑
オレはお前に説明を要求しているのではない。
定義を要求している。
集合の要素が「有限個」とはどのように定義されるのか?
集合の要素が「いくらでもある」とはどのように定義されるのか?
定義は自由だ。心置きなく言え。
「普通の意味で」「小学生でも分かる」では定義になっていないw
お前は自分が使う単語すら定義できないのか?
であればお前は自分自身が何を喋っているのか分からないのであるw
それは数学ではない。単語の定義をきちんとしなかったために生じる人間同士の齟齬。
お前は哲学者かぶれの中学生。修辞学の怨霊みたいなもんだw
67:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 13:34:49.32 xdoHcTHE.net
>>32 >>52 (ピエロ余録>>35 >>46)
補足しておく
(>>11より)
"38 スレリンク(math板:360番) <ステップ3>「無限を考える基本は有限からの極限」 時枝記事の解法の不成立の証明"
"38 スレリンク(math板:360番) <ステップ4>:有限モデルでの確認 時枝記事の解法の不成立の証明"
で以前、有限モデルを考えるべきと書いた
そこで
”41 スレリンク(math板:622-623番) しっぽの共通部分(co-tail)の存在と一致番号が有限範囲に留まることはありえないことの説明”
に則って有限の場合を考えてみると
数列のしっぽによる同値類の一つの集合S'で
S'={s',s'',s''',・・・} で、有限数列を考えて
s = (s1,s2,s3 ,・・・,sk,・・・,sn),s'=(s'1, s'2, s'3,・・・,s'k,・・・,sn )∈R^n
(sとs'とは、snは共通、それ以外は、必ずしも等しくない数列である)
数列sを代表とすると、決定番号をdとして、1<=d<=n は、明らか。
d=1となるためには、1~nまで全ての箱の数の一致を要するから、出現確率は低い
同様に考えて、1< k< n で、d=kが小さいほど、多くの箱の数の一致を要するから、出現確率は低い
そして、結局、d=nとなる確率が、圧倒的に多いことが分る
ここで、n→∞の極限をとって、数列を有限から無限
68:数列に伸ばすと、 極限で無限数列を考えても、1<= d <= k(有限)の範囲に決定番号が入る確率は0(ゼロ)が言える QED つづく
69:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 13:36:04.73 xdoHcTHE.net
>>64 つづき
この無限の話は下記が参考になるだろう(^^
(参考資料)
URLリンク(ch.nic)
ovideo.jp/hayashi/blomaga/ar1128632
「無限」とは実在するのか 超作業法のパラドックス ハヤシングエルス 20161028
(抜粋)
1秒で、自然数を数えるという「無限回の作業」は「完了」してしまいます。
しかしながらこれはおかしい。
なぜなら自然数は無限個存在しそれはつまり「定義的に数え尽くすことが不可能」であるからです。
全ての自然数を順番に数え終えたのなら、最後に数えた自然数が偶数なのか奇数なのか答えられなければおかしいですが、「最後の自然数」なんてものは存在しません。
これが「超作業法のパラドックス」です。
端的にいうと「無限回の作業を完了するという事は全ての自然数を数え終えるという事と同義であり、不可能であるはずなのに有限の時間で完了してしまう」という問題です。
(「超作業法」というのは要するに「無限回の作業」ということです)
可能無限の立場では、パラドックスを解消することが出来ます。
しかし、「可能性としての無限」なんてものは式で表すことなどできません。
「人は延々と足し算を続けることが可能ではあるがそれは決して完結しない」という考えは、無限級数とは明らかに異なります。
可能無限は、もはや数学の領域を離れ哲学の領域といっていいでしょう。
少し過激な言い方するならば、
実無限の立場からすれば可能無限なんてものは本物の無限ではなく、可能無限からすれば実無限なんてものは空想の産物でしかないわけです。
『無限とは何か』を議論する際、このような実無限と可能無限の2つの立場の対立は避けられません。
(引用終り)
以上
70:
17/09/17 13:40:30.13 P8alUFBN.net
>>60
>1/2+1/4+1/8+……は1に近づくが、1にはならない、
というのを
>1/2+1/4+1/8+……は1になる、
と呼んでいるだけですよ,後者の定義を前者とするのです.
収束を認めないのなら問題ですが,収束するという概念を共有しているのであれば,あとは定義/言葉の使い方の問題にすぎない
71:132人目の素数さん
17/09/17 13:52:26.14 G3z4gq8k.net
>>64
サルは有限モデルで考えるからバカになる
有限モデルで「snは共通、それ以外は、必ずしも等しくない」
という共通部分(co-tail)snがあるからといって、
無限モデルでも全く同様に存在する筈と発狂した瞬間
サルは正真正銘のバカになった
無限モデルには共通部分(co-tail)など無いのだよ
何故なら、最後の箱s∞がないのだから
ありもしないものをあると思い込んで発狂し
ウソをデッチ上げようとするから
人間失格の畜生であるサルに成り下がる
72:132人目の素数さん
17/09/17 13:56:07.77 G3z4gq8k.net
>>65
>全ての自然数を順番に数え終えたのなら、
>最後に数えた自然数が偶数なのか奇数なのか
>答えられなければおかしい
いいえw
「数え終える」と「最後に数えた自然数がある」は同値ではない
後者から前者はいえるが、前者から後者はいえない
ちなみに対偶をとれば
「数え終わらない」から「最後に数えた数は存在しない」はいえるが、
逆は言えない
サルの無限に対する無理解ぶりはヤフ男と同程度であり
この意味で工学部も文学部なみに文系だといってよいw
73:132人目の素数さん
17/09/17 13:59:12.47 G3z4gq8k.net
>>66
説明になってないな
正しくは
「1/2+1/4+1/8+…の有限和で
いくらでも1に近いものがあるが
1を超えることはない」
これを
「無限級数1/2+1/4+1/8+……は1になる、」
という
74:132人目の素数さん
17/09/17 14:02:12.11 G3z4gq8k.net
>>57
>カントールの対角線論法を胡散臭いと思っている
Nより2^Nが「多い」という言い方が与える感覚を否定するのは構わないが
Nと2^Nの全単射が存在すると矛盾する、という言明は否定できない
75:132人目の素数さん
17/09/17 14:06:07.08 VAZlk2VL.net
>>56
>このアホは自分で考える力がないから
>こうやって人に説明ばかり要求するのだ(笑
世間一般とは異なる独自の言葉遣いをしているのはお前。
よってお前に定義を要求するのは筋が通っている。
逆に独自の言葉遣いをしておきながら定義を示さないお
前は筋が通ってない。
76:132人目の素数さん
17/09/17 14:08:32.53 VAZlk2VL.net
>>57
>カントールの対角線論法を胡散臭いと思っている
具体的に
77:132人目の素数さん
17/09/17 14:14:47.12
78: ID:G3z4gq8k.net
79:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 14:35:24.27 xdoHcTHE.net
>>40
哀れな素人さん、どうも。スレ主です。
>>ギャハハハハハハハハハハハハハハハハハハハハハハハハハハハハハハハハハハハハ
>>サル
>こういう文章は一石の特徴だから、
>ID:G3z4gq8k
>は間違いなく一石である(笑
>ところがこいつは俺は一石ではない、と嘘を書いている(笑
>平気で嘘を書く奴なのである(笑
サービス情報ありがとう
こちらからも、うそつきサイコパス情報提供します(下記)(^^
ピエロは、サイコパスだよ(^^
URLリンク(blog.goo.ne.jp)
サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
(抜粋)
平気で、病的に嘘をつく。
嘘ネタで人をだまし 吹聴、人を陥れ、
その人の 人生をも狂わし 支配ゲームを常に仕掛け、
人々を苦しめても 良心の呵責を感じないサイコパスとは
何でも、自己中心的で 罪悪感のない人間のことである。
(引用終り)
80:132人目の素数さん
17/09/17 15:14:22.90 VAZlk2VL.net
数学で勝てないからって人格攻撃、誹謗中傷は良くないな
81:132人目の素数さん
17/09/17 15:32:06.44 G3z4gq8k.net
>>74
私が見る限り、>>1こそサイコパス(psychopath、精神病質者)である
(※ちなみに精神病は英語でPsycosisという)
精神病質
URLリンク(ja.wikipedia.org)
上記のページで、エミール・クレペリンの定義による
「空想虚言者」が紹介されているが、まさに>>1に当てはまるw
「空想虚言者」の特徴
・想像力が異常に旺盛で、空想を現実よりも優先する
一見才能があり博学で、地理・歴史・技術・医学など、
何くれとなく通じていて話題が豊富であるが、
よく調べるとその知識は他人の話からの寄せ集めである。
・弁舌が淀みなく、当意即妙の応答がうまい
難解な外来語や人を驚かす言説を好んでなす。
・人の心を操り、人気を集め、注目を浴びることに長けている
自己中心の空想に陶酔して、他人の批判を許さない。
82:132人目の素数さん
17/09/17 15:43:08.66 G3z4gq8k.net
>>75
いいよ サルがいくらわめいたって痛くも痒くもないからw
83:132人目の素数さん
17/09/17 15:53:47.02 G3z4gq8k.net
・サイコパスの多い職業の上位10位
CEO
弁護士
テレビやラジオのジャーナリスト
小売業者
外科医
新聞記者
警察官
聖職者
コック
軍人
・サイコパスが多いと推測されている職業
金融商品関係者(金融商品仲介業者) (stock promoter)
政治家
警察関係者
中古車営業
傭兵 (mercenary)
弁護士
さもありなん
84:132人目の素数さん
17/09/17 15:56:48.93 VAZlk2VL.net
どの決定番号も自然数である。決して∞になることはない。
選択公理を使って代表系を定めたからには必ずそうなる。
何故こんな簡単なことが理解できないのかを理解できない。
85:132人目の素数さん
17/09/17 16:09:47.47 G3z4gq8k.net
>>79
>>1は真っ先に決定番号の分布を考えようとしたから間違った
86:哀れな素人
17/09/17 16:46:53.72 pUchQE5w.net
例によってアホレス満載(笑
ID:wspDCEr0
ID:VAZlk2VL
定義が知りたければ国語辞典を引け(笑
それから、僕の言っていることの意味が知りたければ、
僕の過去レスを全部読め(笑
僕は5月3日からこのスレに参加している。
そして「いくらでもあるが有限個しかない」
ということを延々と説明している(笑
誰も理解しなかったが(笑
>>66
何度もいうが、お前が
1/2+1/4+1/8+……は1に近づくが1にはならない、
ということを理解しているなら、それでいいのである。
ところがペン男やおっちゃんは、そうではなく、
1/2+1/4+1/8+……は1になる、と言っているのである(笑
一石というアホもそうだ(笑
>>69
ドアホ(笑
1を超えることはない、と書くと、まるで1には達するが
それを超えない、みたいな印象を与えるではないか(笑
このバカはたぶん1には達すると思っているのだ(笑
>>73
これも一石というアホ(笑
>「現在、人間が書き表せる自然数の全体」だけが存在し、
>それは有限個だ、ということだろう
そんな意味ではない(笑
こいつが何も分っていないことが丸分りだ(笑
87:132人目の素数さん
17/09/17 17:01:01.11 VAZlk2VL.net
>>81
>定義が知りたければ国語辞典を引け(笑
国語辞典にはお前の独自解釈は乗ってないよ
と何度言えば
88:132人目の素数さん
17/09/17 17:07:33.37 wspDCEr0.net
国語の辞書を引け、か(笑)
89:哀れな素人
17/09/17 17:16:05.28 pUchQE5w.net
>>82-83
独自解釈でも何でもない、と何度言えば分るのか(笑
こんなことは常識なのだ(笑
90:132人目の素数さん
17/09/17 17:31:05.44 wspDCEr0.net
集合の要素が「有限個」とはどのように定義されるのか?
集合の要素が「いくらでもある」とはどのように定義されるのか?
定義は自由だ。心置きなく言え。
「普通の意味で」「小学生でも分かる」「国語の辞書を引け」では定義になっていないw
お前は自分が使う単語すら定義できないのか?
であればお前は自分自身が何を喋っているのか分からないのであるw
それは数学ではない。単語の定義をきちんとしなかったために生じる人間同士の齟齬。
お前は哲学者かぶれの中学生。修辞学の怨霊みたいなもんだw
91:132人目の素数さん
17/09/17 17:35:33.37 wspDCEr0.net
>>84
常識ねえ(笑)
お前の本は国語辞典の内容が書かれてるだけなのか?
ならゴミだな。それは数学じゃなく、国語辞典だからな(笑)
92:心置きなく言う哀れな素人
17/09/17 17:38:39.31 pUchQE5w.net
>>85
ぽまいはふんとにパカだな(笑
有限とは限りがあること、
無限とは限りがないこと、である(笑
元の数が有限である集合を有限集合、
元の数に限りがない集合を無限集合という(笑
ところが、限りがない、といっても実際は有限個なのである(笑
分るか?(笑
93:132人目の素数さん
17/09/17 17:43:19.56 VAZlk2VL.net
”実際”の定義を述べよ
いや述べなくていい、どうせアホなことしか言わんからボケ老人は
94:132人目の素数さん
17/09/17 18:12:23.51 G3z4gq8k.net
>>81
>そんな意味ではない(笑
じゃ、ヤフ爺、あんたが間違ってる
ついでにいうと、私は一石ではないから
そこもまったく間違ってる
統失はだれでもかれでも同一人物と思い込む
困ったものだ
95:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 18:15:03.81 xdoHcTHE.net
>>67
>有限モデルで「snは共通、それ以外は、必ずしも等しくない」
>という共通部分(co-tail)snがあるからといって、
>無限モデルでも全く同様に存在する筈と発狂した瞬間
>サルは正真正銘のバカになった
>
>無限モデルには共通部分(co-tail)など無いのだよ
>何故なら、最後の箱s∞がないのだから
ピエロの今日の大爆笑はこれか?(^^
「コンパクト性定理」を教えてやったのに、理解できないらしい(^^
そもそも、ピエロの無限に対する理解が「幼い」と思うんだよね~(^^
<再掲説明>
スレ41 スレリンク(math板:625番)
(引用)
625 自分返信:現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日:2017/09/16(土) 15:47:21.64 ID:KRHwrxLG [18/27]
>>620 関連事項
良い機会だから、関連事項を説明しておく
”35 スレリンク(math板:15番) 時枝問題(数学セミナー201611月号の記事)”(>>11)
より
「確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義される」という記述
これも、>>620 コンパクト性定理
「一階述語論理の文の集合がモデルを持つこと(充足可能であること)と、その集合の任意の有限部分集合がモデルを持つことが同値
96:」 「つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理」 と類似だ つまり、無限集合について、なにか言いたいとき、「任意の有限部分が○○」と表現する これは、調べると、結構出てくる記法だね(^^ (引用終り) つづく
97:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 18:15:42.28 xdoHcTHE.net
>>90 つづき
<関連資料補足1>
URLリンク(sokrates7chaos.hatenablog.com)
コンパクト性定理とTychonoffの定理 Sokratesさんの備忘録ないし雑記帳 2016-02-22
(抜粋)
今回は数学基礎論サマースクール2015にて, 教えてもらった「(命題論理の)コンパクト性定理」を「Tychonoffの定理」から証明する話です. 部屋の大掃除をしていたら, 数学基礎論サマースクール(以下基礎論SS)のときのノートが出てきたので, 自分用のまとめも兼ねて書くことを思い立ちました.
[コンパクト性定理]
理論TTに対して次の(1), (2)は同値である.
(1)「TTはモデルを持つ」
(2)「どんなTTの有限部分集合もモデルを持つ」
Thyconoffの定理からコンパクト性定理を証明しよう.
[証明]
(1)→→(2)は自明.
(2)→→(1) を示す.
真理値の集合I={T,F}I={T,F}に離散位相が入っているものとして扱うこととする.
ふぅ, 疲れた.
自分の知らない分野同士のつながりが見えた時の感動は素晴らしいですね. 逆にコンパクト性定理からTyconoffの定理が証明されるかとても気になりますが, まだ考え中です.
(引用終り)
つづく
98:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 18:16:40.13 xdoHcTHE.net
>>91 つづき
<関連資料補足2>(ご存知ゼルプスト殿下 藤田博司先生 愛媛大 )
URLリンク(tenasaku.com)
命題論理と素イデアル定理 (「第1回関西すうがく徒のつどい」講演) PDF版準備ノート 藤田博司 愛媛大 2012
(抜粋)
数理論理学と他分野の交流の一端を示す例として命題論理のコンパクト性とその周辺の話題を紹介します.
2 ストーン位相
集合X に
論理式の真理値によって定まる位相を入れて位相空間にしてしまう.
定義2.3. 解釈の集合U ⊂ X が次の条件をみたすとき, これを(ストーン位相の) 開集合とよぶ: 任意の要素
I ∈ U に対してある論理式A が存在してI ∈ N_A ⊂ U となる.
4 まとめ
本稿では
? 命題論理のコンパクト性
? 一般カントール空間のコンパクト性
? 可換環の素イデアルの存在
? ブール代数の超フィルターの存在
? ハウスドルフ空間に制限したチコノフの定理
といった数学的命題のそれぞれが, 互いに他の別表現と考えることができ, また, 選択公理のない集合論の
もとでは互いに同値な命題となることを確かめた. この同値な命題のことを素イデアル定理(Prime Ideal
Theorem) と呼ぶ.
数理論理学は数学の論理構造の分析を目的とした論理学の分野として出発したが, それを数学に先立って数
学の基礎づけをする営みと考えるよりも, 数学全体のなかにあって他領域とinteract する一領域と考えるほう
が実り多いだろうと, 筆者は考える. 命題論理と素イデアル定理の絡みあいは, 筆者のそうした考えを支持する
ひとつの状況証拠である.
(引用終り)
URLリンク(www.tenasaku.com)
藤田 博司 愛媛大
URLリンク(tenasaku.com)
なげやり
99:アカデミア 命題論理と素イデアル定理 (「第1回関西すうがく徒のつどい」講演) 手書きドラフト PDF版準備ノート 発表スライド(Keynote)?ファイルがデカい(13MB弱)ので注意!! つづく
100:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 18:17:39.65 xdoHcTHE.net
>>93 つづき
(関連)
URLリンク(kansuu.client.jp)
・第1回関西すうがく徒のつどい前半戦(3/6)の記録を見る
・第1回関西すうがく徒のつどい後半戦(3/31)の記録を見る
URLリンク(kansuu.client.jp)
第1回関西すうがく徒のつどい後半戦(3/31)の記録を見る【開催日時】2012年3月31日(土)
@tenapiさん『命題論理と素イデアル定理』
手書きドラフト(外部サイト・pdf形式) / PDF版準備ノート(外部サイト・pdf形式) / 発表スライド(外部サイト・keynote形式)
つづく
101:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 18:19:16.37 xdoHcTHE.net
>>93 つづき
それに、<時枝数列の同値類のしっぽの共有部分が空集合でないことについて>証明(下記)で、数学的帰納法を使ったが、これも理解できないみたいだね(^^
”41 スレリンク(math板:583-585番) <時枝数列の同値類のしっぽの共有部分が空集合でないことについて>証明と説明”
そもそも、ピエロの無限に対する理解が「幼い」と思うんだよね~(^^
<補足説明>
可算無限数列の”しっぽによる同値類”の一つの集合S'で
S'={s, s',s'',s''',・・・} で、
s = (s1,s2,s3 ,・・・,sk,・・・,sn),s'=(s'1, s'2, s'3,・・・,s'k,・・・,sn )∈R^N
(sとs'とは、snは共通、それ以外は、必ずしも等しくない数列である)
S'の任意の有限部分集合{s'''',・・・,s'''''''''} (まあ、ここにm個の元が表現されていると思って下さい(^^ )
は、同じ”しっぽ”を共有する。(∵ ”しっぽによる同値類”から従う)
これで、上記のスレ41に示した通り、数学的帰納法で、一つの同値類の集合全体としても、同じ”しっぽ”を共有することは証明済みだよ
ああ、数学的帰納法は小学生には難しいわな(^^
まあ、下記のバートランド・ラッセルでも、読んでみなよ(^^
(参考資料:数学的帰納法について、バートランド・ラッセル 「無限公理」(1904) より)
URLリンク(www.geocities.jp)
データベースエンジニアの仕事をしているミックです。著作や記事の紹介ページです。
つづく
102:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 18:20:35.43 xdoHcTHE.net
>>94 つづき
URLリンク(www.geocities.jp)
バートランド・ラッセル Mick's Page
ラッセルの著作
「無限公理」(1904) 初出は The Hibbert Journal, Vol.2。
論理主義を支える公理の一つ「無限公理」についてのラッセル自身による解説。この論文を書いた時点で、ラッセルは無限集合の存在は証明可能だと考えていました。従ってこの論文でのラッセルの認識は、「無限公理」ではなく「無限定理」です。
(英) URLリンク(www.geocities.jp) 原文
(和) URLリンク(www.geocities.jp) 訳:ミック 作成日:2004/09/01 最終更新日:2005/12/30
(抜粋)
まず私たちは、数学的帰納法の原理2を証明する。帰納法の原理は、この分野においては、等々以外からはほとんど期待できないような役割を果たす。
この原理が述べるのは、0が任意の性質を持ち、かつ、n がその性質を持っているときに n + 1 もそれを持っているなら、全ての有限数がその性質を持つ、ということである。
この原理を使って、n が任意の有限数であるとき、0から n までの数の[個]数(両端を含む)は、n + 1 であることが証明される。すると結論として、n が実在するなら、n + 1 も実在することになる。
そして0は実在するのだから、数学的帰納法の原理から、全ての有限数が実在することが帰結する。あるいは、m と n が0以外の有限数であるならば、m + n は m とも n とも異なることも証明できる。
もし n が任意の有限数であるなら、n は [ n までの] 有限数の[個]数ではない。なぜなら、0から n までの数の[個]数は n + 1 であり、n + 1 は n とは異なるからである。ゆえに、いかなる有限数も、その数までの[個]数ではない。
従って、基数の定義3より有限数の[個]数である[有限]数が実在することは明らかであることから、この数 n は無限数である。こうして、論理学の抽象の原理だけから、無限数の実在が厳格に論証された[1]。
訳註
[1] 後にラッセルはこの証明を誤りとみなすようになります。『数学の原理』第2版序文 URLリンク(www.geocities.jp) および「世界には何個のものがあるのか」URLリンク(www.geocities.jp) を参照
(引用終り)
以上
103:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 18:45:51.66 xdoHcTHE.net
>>75
>数学で勝てないからって人格攻撃、誹謗中傷は良くないな
お言葉なれど
1)誹謗中傷ではない。事実を書いている。下記を読んでみな。一石の”異常性格”が分るだろう。下記のカキコと、ここのID:G3z4gq8kのカキコとに、類似点を見いだすのは容易だろう
URLリンク(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets (このスレでのあだ名は、不遇な「一石」)
2)実際に、一石はしばしばウソをつく。哀れな素人さんのいう通りだ。具体的例はここでは>>74記載の通り。また、今後もしばしば、ウソ吐きが出てくるだろうから、そのときどきで指摘するよ
( 補足 哀れな素人さん記載 >>40 「ID:G3z4gq8k は間違いなく一石である(笑 ところがこいつは俺は一石ではない、と嘘を書いている(笑 平気で嘘を書く奴なのである」
に対応する箇所は、下記
スレ41 スレリンク(math板:696番)
(抜粋)
696 名前:132人目の素数さん[sage] 投稿日:2017/09/17(日) 09:35:33.54 ID:G3z4gq8k [8/10]
>>693
私は、ヤフ男の”友達”の一石とやらではない
(引用終り)
3)数学については、私の勝ちだよ。私は証明を書いた。ピエロ(=一石)は、それに対して数学的な証明ギャップを指摘することができず、全く別のことを勝手に作文して論点ずらしをしているだけのこと。数学の作法を無視した行為だ。よって、私の勝ちだよ
以上
104:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 18:48:54.42 xdoHcTHE.net
>>89
また、平気で、すぐばれるウソを吐く (^^
サイコバス!(^^
105:132人目の素数さん
17/09/17 18:57:16.96 VAZlk2VL.net
>>94
命題
ある同値類 S の全ての元が共通のしっぽ co-tail={s_n, s_(n+1),...} を持つことはない。
証明
ある同値類 S の全ての元が共通のしっぽ co-tail={s_n, s_(n+1),...} を持つと仮定する。
数列 t={t_1,...,t_n,s_(n+1),s_(n+2),...}(但し t_n≠s_n)
は、S の任意の元と第 n+1 項以降が等しいから、同値関係の定義より t∈S である。
しかし t_n≠s_n であるから t は co-tail を持たない。
これは矛盾であるから仮定は偽である。
106:132人目の素数さん
17/09/17 19:14:34.58 IjNK0Rw/.net
>>32
> >それでは自然数しか入っていない袋からスレ主は一体何を取り出すことができるの?
> 上記の話は、時枝の決定番号Dと絡めて、初めて意味を持つ
> 「時枝の決定番号Dは、どんな範囲の数ですか?」と
> D=1は確率的にありえない。D=2も確率的にありえない・・・D=nも確率的にありえない
> Dは、そういう範囲の数ですねということ
スレ主がここで書いている「数」は何?
(a) 自然数である
(b) 自然数でない
スレ主は以前にこのように書いていた
URLリンク(rio2016.2ch.net)
> A.答えは箱の中にある。なので、出題者の登場は不要。つまり、第三者の審判が居れば良い。
> 審判は、答えを知らないが、箱を開ける権限があるとする。
> 審判が箱を開けて答え合わせ可能。それでこの話は終わり。
解答側にとっては代表元と一致するかどうかは「箱を開けて答え合わせ可能」であるので
「確率的にありえない」とか「時枝の決定番号Dは、どんな範囲の数ですか?」は関係ない
スレ主が書いている「数」が自然数であれば良い
スレ主が書いている「数」が自然数 = 出題された数列がR^Nの元である
107:132人目の素数さん
17/09/17 19:39:06.10 wspDCEr0.net
>>87
きちんと番号をつけてい�
108:アう 1.有限とは限りがあること、 2.無限とは限りがないこと、である(笑 「限りがある」が無定義だな。 ほとんど言葉を言い換えただけに過ぎないが、まあ今は不問にする。 1と2より「有限ではない」とは「限りがない」ことと同値であり、それを「無限である」という。 3.元の数が有限である集合を有限集合、 4.元の数に限りがない集合を無限集合という(笑 これは1と2に矛盾しない定義であり、問題ないだろう。 「有限=限りがない」と「無限=限りがない」だからな。 5.ところが、限りがない、といっても実際は有限個なのである(笑 これは意味が分からないな。 1によれば、限りがないものを有限と呼ぶのだった。 4によれば、元の数に限りがない集合を無限集合と呼ぶのだった。 5で言っているのは『無限集合(≡元の数に限りがない集合)の元の数は有限(≡限りがある)個である』ということだ。 つまり 「無限集合に含まれる元の数は有限個である」 お前の定義に基づいて言えば 「元の数に限りがない集合に含まれる元の数は限りがある」 と言っていることになるな。
109:132人目の素数さん
17/09/17 19:40:04.16 wspDCEr0.net
>>100
> 「有限=限りがない」と「無限=限りがない」だからな。
「有限=限りがある」と「無限=限りがない」だからな。
110:132人目の素数さん
17/09/17 19:41:54.92 wspDCEr0.net
>>100は「ある、ない」がところどころ間違えているので差し替えておく。
>>87
きちんと番号をつけていこう
1.有限とは限りがあること、
2.無限とは限りがないこと、である(笑
「限りがある」が無定義だな。
ほとんど言葉を言い換えただけに過ぎないが、まあ今は不問にする。
1と2より「有限ではない」とは「限りがない」ことと同値であり、それを「無限である」という。
3.元の数が有限である集合を有限集合、
4.元の数に限りがない集合を無限集合という(笑
これは1と2に矛盾しない定義であり、問題ないだろう。
「有限=限りがある」と「無限=限りがない」だからな。
5.ところが、限りがない、といっても実際は有限個なのである(笑
これは意味が分からないな。
1によれば、限りがあるものを有限と呼ぶのだった。
4によれば、元の数に限りがない集合を無限集合と呼ぶのだった。
5で言っているのは『無限集合(≡元の数に限りがない集合)の元の数は有限(≡限りがある)個である』ということだ。
つまり
「無限集合に含まれる元の数は有限個である」
お前の定義に基づいて言えば
「元の数に限りがない集合に含まれる元の数は限りがある」
と言っていることになるな。
「元の数に限りがない集合に含まれる元の数は限りがある」
これは矛盾だろうな。
111:132人目の素数さん
17/09/17 19:49:00.26 wspDCEr0.net
>>87
> ところが、限りがない、といっても実際は有限個なのである(笑
> 分るか?(笑
>>102に整理したとおり、お前は
元の数に限りがない集合に含まれる元の数には限りがある
と言っているのであり、矛盾である。
お前の矛盾をはらんだ修辞学はもう結構だ。
分かるか?といわれても「矛盾である」と答えるのみだ。
112:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 21:09:04.57 xdoHcTHE.net
>>98
>命題
>ある同値類 S の全ての元が共通のしっぽ co-tail={s_n, s_(n+1),...} を持つことはない。
その命題は正しい。
co-tailを{s_n, s_(n+1),...}と書くことはできない。
それは、スレ41 スレリンク(math板:622-623番) に示した通り
なお、補足説明としては、下記ペアノの公理 "2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する(suc(a) は a + 1 の "意味")"ご参照
これは、自然数の特性として常に後者を取ることができるためである
なお、「5番目の公理は、数学的帰納法の原理である。」との記載にも、ご注意願いたい。(”常に後者を取ることができる”との関連で)
URLリンク(ja.wikipedia.org)
ペアノの公理
(抜粋)
定義
ペアノの公理は以下の様に定義される。
自然数は次の5条件を満たす。
1.自然数 0 が存在する。
2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する(suc(a) は a + 1 の "意味")。
3.0はいかなる自然数の後者でもない(0 より前の自然数は存在しない)。
4.異なる自然数は異なる後者を持つ:a ≠ b のとき suc(a) ≠ suc(b) となる。
5.0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
5番目の公理は、数学的帰納法の原理である。
(引用終り)
113:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 21:10:59.11 xdoHcTHE.net
>>99
Dは自然数である
が、”40 スレリンク(math板:597-598番)時枝記事そのままの入れ方で、決定番号が、1からnの間に来る確率は、0(ゼロ)の証明”(>>11)
に示したように、「1からnの間に来る確率は、0(ゼロ)」である
(念押ししておくが、1,2,・・・、n が生じないということではない。生じるが、生じる確率が数学的には0(ゼロ)だということ)
ご理解頂けて無いようなので、補足説明をする
1.一つは、上記 >>xx でも説明したように、上記ペアノの公理 "2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する(suc(a) は a + 1 の "意味")"から、自然数の特性として常に後者を取ることができるためである。
(上記に記されているように、自然数は数学的帰納法の原理によって構成されるゆえ、常に後者を生じていると動的に理解する場面も必要なのだ。
勿論、無限公理により、自然数集合Nが完成されたと理解する場面も必要なのだが、ここでは前者の理解が必要だ。
なお、「5番目の公理は、数学的帰納法の原理である。」との記載にも、ご注意願いたい。(”常に後者を取ることができる”との関連で))
2.もう少し具体例で説明しよう。
1)そうだな、超越数πを用いて、箱の列の先頭から、3,1,4,1,5,9,・・・・とπの小数表現の数を入れたとする。簡便に、これを代表の数列としπと名付ける
2)下記では”2016年の時点では、�
114:~周率は小数点以下22兆4591億5771万8361桁まで計算されている”という 3)いま、22兆4591億5771万8361桁目を基準として、一つ前の22兆4591億5771万8360桁目の箱を考える 4)22兆4591億5771万8360桁目の数が、0<= m <=9 の整数だとしよう。 5)同値類の中のある数列sを取ると、22兆4591億5771万8360桁目の数をyとして、yは任意の実数と考えられるから、”y=m”となる確率は0(ゼロ) 6)∴ 決定番号が、”D <= 22兆4591億5771万8360” となる確率は0(ゼロ) つづく
115:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 21:11:48.76 xdoHcTHE.net
>>105 つづき
7)ところで、決定番号 Dは自然数であり、常にその後者が存在する。よって、22兆4591億5771万8361桁目より先にどんどん計算が進めば、この数を大きくすることができる。限りなく大きくすることができる。
説明は以上です。
URLリンク(ja.wikipedia.org)
円周率
(抜粋)
2016年の時点では、円周率は小数点以下22兆4591億5771万8361桁まで計算されている[9]。
(引用終り)
116:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 21:13:30.07 xdoHcTHE.net
>>105 訂正
1.一つは、上記 >>xx でも説明したように、
↓
1.一つは、上記 >>104 でも説明したように、
117:132人目の素数さん
17/09/17 21:16:00.50 VAZlk2VL.net
>>104
>co-tailを{s_n, s_(n+1),...}と書くことはできない。
じゃあどう書けるの?
否定じゃなく肯定で答えて
118:132人目の素数さん
17/09/17 21:29:56.53 6qULUwtB.net
まだやってたのか工学バカが!
119:132人目の素数さん
17/09/17 21:33:05.57 IjNK0Rw/.net
>>105-106
> 「1からnの間に来る確率は、0(ゼロ)」
> 決定番号 Dは自然数であり、常にその後者が存在する
それは自然数(決定番号)全体の集合(正確には無限部分集合でもよい)を考えているから
出題された数列の決定番号の集合は {D} であってこの集合の中にDの後者は存在しない
100列(有限個)に分けても{D1, D2, ... , D100}であってこの集合の中に常にその後者が存在することはない
> よって、22兆4591億5771万8361桁目より先にどんどん計算が進めば、この数を大きくすることができる。
> 限りなく大きくすることができる。
これは出題する数列自体を変えないと大きくできない
全ての自然数(決定番号)のみが袋に入っているとすると分かりやすいと思うが
D=22兆4591億5771万8361を一度袋に戻してから別のD'=22兆4591億5771万8362を取り出す必要がある
解答者が数列を100列に分けて選ばなかった99列を全て開けて決定番号の最大値Dを求めた時点で
出題者は別の数列に入れ替えることはできない
120:哀れな素人
17/09/17 23:01:50.24 pUchQE5w.net
>>103
もしかしてお前は閉区間男(ペンタコ男、互除法男)か?(笑
限りがない、とは要するに、いくらでもある、という意味であって、
いくらでもある、ということは無限個ある、ということではない(笑
いくらでもある、ということは、いくらでもあるが有限個である、
ということである(笑
すっきり分かる説明をしてしまうと面白くないから、
示唆するに止めておこう(笑
121:哀れな素人
17/09/17 23:08:27.01 pUchQE5w.net
自然数は無限だが、有限である(笑
自然数は有限ではないが、有限なのである(笑
自然数は限りがないが、有限である(笑
自然数は有限ではないが、有限である(笑
このことはギリシャ以来の常識だ(笑
122:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 23:15:02.45 xdoHcTHE.net
>>94 まず、ちょっと訂正
s = (s1,s2,s3 ,・・・,sk,・・・,sn),s'=(s'1, s'2, s'3,・・・,s'k,・・・,sn )∈R^N
(sとs'とは、snは共通、それ以外は、必ずしも等しくない数列である)
↓
s = (s1,s2,s3 ,・・・,sk,・・・,sn,・・・),s'=(s'1, s'2, s'3,・・・,s'k,・・・,s'n,・・・ )∈R^N
とします(^^
123:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 23:16:07.62 xdoHcTHE.net
>>108
どう書けるか知らない
が、しっぽの共有部分は存在する。それは証明で示した通りだ
なお、下記ご参考
スレリンク(math板:626番)
626 自分:現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日:2017/09/16(土) 15:53:17.66 ID:KRHwrxLG [19/27]
(抜粋)
開区間(0,1)の有理数の集合は可算無限だが、通常の距離を入れて整列させると、先頭の有理数に番号を付けることはできないと言うが如しだ
しかし、厳然と、開区間(0,1)の有理数の集合は、存在する
(引用終り)
124:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/17 23:22:10.81 xdoHcTHE.net
>>110
”問題勝手改造おじさん”か?!(^^
>>105に書いたように
”4)22兆4591億5771万8360桁目の数が、0<= m <=9 の整数だとしよう。
5)同値類の中のある数列sを取ると、22兆4591億5771万8360桁目の数をyとして、yは任意の実数と考えられるから、”y=m”となる確率は0(ゼロ)
6)∴ 決定番号が、”D <= 22兆4591億5771万8360” となる確率は0(ゼロ)”
これは、勝手に無視ですかね~?(^^
>出題された数列の決定番号の集合は {D} であってこの集合の中にDの後者は存在しない
それは、勝手な言い分でしょ。数学では、独善解釈はだめです
問題文は”35 スレリンク(math板:12-13番) 時枝問題(数学セミナー201611月号の記事)”(>>11)
「同値関係を使う.・・
~は R^N を類別するが,各類から代表を選び,代表系を袋に蓄えておく.・・
任意の実数列S に対し,袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.・・」
・・
問題に戻り,閉じた箱を100列に並べる.
・・
これらの列はおのおの決定番号をもつ.」だった
ですから、100列中のある1つの列が属する同値類 S において、その中の2つの数列の関係が問題となる
s = (s1,s2,s3 ,・・・,sk,・・・,sn,・・・)、s'=(s'1, s'2, s'3,・・・,s'k,・・・,s'n,・・・ )∈R^N
ここに、代表が数列s、問題が数列s'とする
一般に、選ばれた二つの数列のどこから一致するのか? 一致するところが決定番号dだが、これが的中できる箱の位置として問題となる。
箱は可算無限だから、>>105-106に例示したように、「決定番号は、”D <= 22兆4591億5771万8360” となる確率は0(ゼロ)
22兆4591億5771万8361桁目より先にどんどん計算が進めば、この数を大きくすることができる。限りなく大きくすることができる。」ということ
これは数列π以外でも、同様の議論が可能だよ
125:132人目の素数さん
17/09/17 23:24:31.28 wspDCEr0.net
>>111
> 限りがない、とは要するに、いくらでもある、という意味であって、
> いくらでもある、ということは無限個ある、ということではない(笑
矛盾している。お前は>>87で
> 有限とは限りがあること、
> 無限とは限りがないこと、である(笑
と定義している。
馬鹿に繰り返すw
> 無限とは限りがないこと
と定義している。
よって「限りがない」は「無限」を意味する。
> いくらでもある、ということは無限個ある、ということではない
は矛盾している。
>>102に整理したとおり、お前は
元の数に限りがない集合に含まれる元の数には限りがある
と言っているのであり、矛盾である。
126:132人目の素数さん
17/09/17 23:28:30.95 wspDCEr0.net
結局>>111がやっているのは文学であり数学ではない。
単語の定義すらまともにできない。
そして定義されたかと思えば1レスで矛盾が導ける脆弱な論理。
お前がやっているのは数学ではない。言葉遊び。曖昧な哲学。文学に過ぎない。
127:132人目の素数さん
17/09/17 23:43:05.36 wspDCEr0.net
>>111
おいお前。お前の本は何ていうタイトルだ?ここで宣伝してみろ。
俺の気が向いたらきっちり公の場でさらし上げてやるよ。
こんな掲示板じゃなく各段にアクセス数の多いところでな。
本望だろ?有名になれるのは。心配なら今から増刷しとけw
128:132人目の素数さん
17/09/17 23:55:43.84 VAZlk2VL.net
>>114
>どう書けるか知らない
>が、しっぽの共有部分は存在する。それは証明で示した通りだ
つまりお前は「どう書くかすら分からない何ものか」の存在を証明したと言うんだな?
OK、もういいよ
129:132人目の素数さん
17/09/18 00:53:02.01 WP9yXypF.net
>>114の引用がなんだっての?(笑)
130:132人目の素数さん
17/09/18 01:02:11.28 WP9yXypF.net
>>114の引用がなんだっての?(笑)
こいつは何を言ったつもりなの?(笑)
> 開区間(0,1)の有理数の集合は可算無限だが、通常の距離を入れて整列させると、先頭の有理数に番号を付けることはできないと言うが如しだ
> しかし、厳然と、開区間(0,1)の有理数の集合は、存在する
何が如しなの?
存在するから何なの?
あほ?
131:132人目の素数さん
17/09/18 01:22:30.49 arEfcQrN.net
>>115
> > 出題された数列の決定番号の集合は {D} であってこの集合の中にDの後者は存在しない
> それは、勝手な言い分でしょ。数学では、独善解釈はだめです
> 各類から代表を選び,代表系を袋に蓄えておく
> 問題に戻り,閉じた箱を100列に並べる.
と実際に書いてあることからも分かるように
閉じた箱に入っている数列と代表系は変化しないので箱を閉じた時点で決定番号がDならそれ以降は変化しない
スレ主の反論は解答者が選ばなかった列の決定番号の最大値を箱を開けて求めた後でも
「決定番号は (略) 限りなく大きくすることができる」だが
閉じた箱に入っている数列の決定番号や求めた決定番号の最大値をどうやって「限りなく大きく」するの?
「決定番号は (略) 限りなく大きくすることができる。」
これは箱を閉じる前に出題者は決定番号全体{1, 2, ... , n, ... }から決定番号を選ぶことが可能である
ということしか意味しない (数字の入れ方は自由だから)
132:132人目の素数さん
17/09/18 06:49:07.89 5+bHlNic.net
小3女児はねられ重体 スイミング送迎バス下車直後(2017/09/16 11:56)
15日午後7時ごろ、三芳町の路上で「バンと歩行者の事故があった」と近所に住む人から110番通報がありました。
この事故で小学3年の女の子が頭を強く打ち、意識不明の
133:重体です。 警察はワンボックスカーを運転していた増田哲也容疑者を過失運転傷害の疑いで現行犯逮捕しました。 http://news.tbs.co.jp/newseye/tbs_newseye3159090.html
134:132人目の素数さん
17/09/18 08:05:45.29 KkC8TkeY.net
>>90
>「コンパクト性定理」を教えてやったのに、理解できないらしい(^^
>>1の言い分
「Nはコンパクトだ!
だ・か・ら、集合{1、・・・、n}の任意有限個で、Nを被覆できないなら
集合{1、・・・、n}全部でも、Nを被覆できないっ!」
私の反論
「そもそもNがコンパクトだと、いつ・どこで・だれが云った?
今・ここで・貴様が吠えただけだろが!
む・し・ろ、集合{1、・・・、n}の任意有限個で、Nを被覆できないなら
それこそがNがコンパクトでない証拠だろが!」
>そもそも、ピエロの無限に対する理解が「幼い」と思うんだよね~(^^
>>1のコンパクトに対する理解が「間違ってる」と断言できるw
>無限集合について、なにか言いたいとき、
>「任意の有限部分が○○」と表現する
>これは、調べると、結構出てくる記法だね(^^
コンパクトでないときにコンパクトを前提するのは
数学知らないサルが粋がってやることだよなwwwwwww
135:132人目の素数さん
17/09/18 08:13:15.30 KkC8TkeY.net
>>94
>S'の任意の有限部分集合{s'''',・・・,s'''''''''} は、同じ”しっぽ”を共有する。
>これで数学的帰納法で、一つの同値類の集合全体としても、
>同じ”しっぽ”を共有することは証明済みだよ
数学的帰納法で、証明できるのは
「同値な数列有限個について、共通の尻尾が存在する」
まで
一致番号が異なる無限個の数列の場合は不可能だよ
なぜなら、最大の一致番号がとれないからw
いやぁ、>>1って無限が全く分かってないね まさにidiot まさにサルw
136:132人目の素数さん
17/09/18 08:17:24.63 KkC8TkeY.net
>>95
>>1よ 貴様が引用したラッセルの誤りは貴様自身が今ここでやらかした誤りだぞw
数学的帰納法では無限公理を証明できない
だ・か・ら、公理的集合論では、わざわざ無限公理を公理として採用しているんだぞw
つまり任意の有限集合{1,・・・,n}が存在すると証明できても
集合{1,・・・}が存在すると証明したことにはならないぞ
137:132人目の素数さん
17/09/18 08:24:52.49 KkC8TkeY.net
>>104
>>命題
>>ある同値類 S の全ての元が共通のしっぽ co-tail={s_n, s_(n+1),...} を持つことはない。
>その命題は正しい
ハイ!>>1負けた、>>1死んだ!
>co-tailを{s_n, s_(n+1),...}と書くことはできない。
したがってペアノの公理により、co-tailは存在しないw
もしco-tailを、{s_∞}と考えているのなら、ペアノの公理に反する
なぜなら∞+1が存在しないからだ
おサルの>>1はNの定義すら知らず、必死に
「∞はNの最大の要素として存在しなければならないんDEATH」
と絶叫してるようだ
そんな君にこの曲を送ろう
URLリンク(www.youtube.com)
138:132人目の素数さん
17/09/18 08:28:22.30 KkC8TkeY.net
>>104 >co-tailを{s_n, s_(n+1),...}と書くことはできない。
>>108 >じゃあどう書けるの?
>>114 >どう書けるか知らない
____
/ \ /\ キリッ
. / (ー) (ー)\ <「co-tailは存在する。ただ、どう書けるかは知らない。」
/ ⌒(__人__)⌒ \
| |r┬-| |
\ `ー’´ /
ノ \
/´ ヽ
| l \
ヽ -一””””~~``’ー–、 -一”””’ー-、.
ヽ ____(⌒)(⌒)⌒) ) (⌒_(⌒)⌒)⌒))
____
/_ノ ヽ、_\
ミ ミ ミ o゚((●)) ((●))゚o ミ ミ ミ <だっておwww
/⌒)⌒)⌒. ::::::⌒(__人__)⌒:::\ /⌒)⌒)⌒)
| / / / |r┬-| | (⌒)/ / / //
| :::::::::::(⌒) | | | / ゝ :::::::::::/
| ノ | | | \ / ) /
ヽ / `ー’´ ヽ / /
| | l||l 从人 l||l l||l 从人 l||l バンバン
ヽ -一””””~~``’ー–、 -一”””’ー-、
ヽ ____(⌒)(⌒)⌒) ) (⌒_(⌒)⌒)⌒))
139:132人目の素数さん
17/09/18 08:44:35.12 KkC8TkeY.net
ランダムに自然数を選ぶとして
>>1は「ある特定の自然数nが選ばれる確率は0」
とナイーブに言ってるが、これは
140:具体的にいえば 「ランダムに自然数を選ぶ試行を無限回実施したとして そこである特定の自然数nが選ばれる回数は高々有限回」 という程度のことである し・か・し、それは 「だからランダムに自然数を選ぶ試行で、 本当に自然数が選ばれる確率は0である」 という意味ではない どの数nについても選ばれる回数がたかだか有限回だとしても 自然数はそもそも無限にあるのだから、全体として無限回になり得る したがって 「だからランダムに自然数を選ぶ試行で、 本当に自然数が選ばれる確率は当然1である」 と考えても何の矛盾もないw
141:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 08:51:43.05 OusaV1qu.net
>>119-121
>>どう書けるか知らない
>>が、しっぽの共有部分は存在する。それは証明で示した通りだ
>つまりお前は「どう書くかすら分からない何ものか」の存在を証明したと言うんだな?
「どう書くかすら分からない何ものか」の存在は、自然数の本性だ。可算無限の”しっぽ”は、必然そうなる
例えば、下記命数法で、仏典の最大の命数である不可説不可説転 10^(7*2^122)=10^37218383881977644441306597687849648128。しかし、可算無限大に比しては、これも無限小にすぎない
可算無限の”しっぽ”の先は、名前が付けられない。名前が付けられないが、存在する。
それが、自然数の本性だ。後者を一つずつ積み上げる構成法だからでもある。
URLリンク(ja.wikipedia.org)
命数法(めいすうほう)とは、数詞を用いて数を表す命数(めいすう)の方法であり、言語により異なる。例えば 10000 を、日本語では「一万」、英語では ten thousand と呼ぶ。命数法のうち、数字を用いて数を表す方法を記数法という。
(抜粋)
漢数字 ((抜粋)「塵劫記」、無量大数(むりょうたいすう)10^68)
仏典の数詞
華厳経の巻第四十五、阿僧祇品第三十には、上記の命数法とは異なる命数が記述されている。10^5 を洛叉(らくしゃ)、百洛叉 (= 10^7) を倶胝(くてい)とし、倶胝以上を上数として123の命数が列挙されている。最大の命数である不可説不可説転は
10^(7*2^122)=10^37218383881977644441306597687849648128
という巨大な数となる。もっとも、これらは実用のものではなく、計算もできないほど大きな数を示して悟りの功徳の大きさを表したものである。
URLリンク(ja.wikipedia.org)
西洋の命数法
(抜粋)
10^18(百京) trillion (10^6)^3
142:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 08:51:59.67 OusaV1qu.net
>>122
それは、論点ずらしの典型では?
いま、>>105の説明で、問題にしていることは、
代表数列πに対し、数列作成者が、代表数列πの属する同値類から、ある数列 s'=(s'1, s'2, s'3,・・・,s'k,・・・,s'n,・・・ )∈R^N をランダムに選んだとき
決定番号Dがどうなりますかってこと
決定番号Dは、”D <= 22兆4591億5771万8360” となる確率は0(ゼロ)だと
まず、ここを認めたらどうですか?? その後は次のステップとして・・
「閉じた箱に入っている数列と代表系は変化しないので箱を閉じた時点で決定番号がDならそれ以降は変化しない」>>122
とか意味わからん
それって、時枝記事の”35 スレリンク(math板:15番) 時枝問題(数学セミナー201611月号の記事)”(>>11)より
"「もうちょっと面白いのは,独立性に関する反省だと思う.
確率の中心的対象は,独立な確率変数の無限族
X1,X2,X3,…である."
とある、「確率変数」という概念を否定する意図なのかな?
143:132人目の素数さん
17/09/18 09:05:25.87 KkC8TkeY.net
>>131
>それは、論点ずらしの典型では?
おまえが論点外してんだよw
例えば99列分の決定番号をとってその最大値がDだとする
で、100列目をとったとき、その決定番号dについて、おまえは
「d<Dになる確率は0だ!」
とわめいてるわけ
これに対して
「そもそも100列とったときの最大値D'について
D'(=d)>Dとなる確率が1/100だろ」
といってるわけだ
100列のうちどの列の決定番号が最大値になるかは同じ確率1/100だろ
違うならどういう理由で違ってくるのか説明して見ろよ
できるものならなwwwwwww
144:哀れな素人
17/09/18 09:25:19.45
145:HJThN6W0.net
146:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 09:28:11.88 OusaV1qu.net
ピエロ、朝から出勤ご苦労。今日も、みなの笑いを取っておくれ(^^
>>124
ピエロは小学生で、分ってないみたいだが(^^
「コンパクト性定理」を直接使っているわけではないよ
(>>90より)”無限集合について、なにか言いたいとき、「任意の有限部分が○○」と表現する”言い回しが、
時枝記事”「確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義される」という記述”と同じだよということ
錯誤、ご苦労さん(^^
147:哀れな素人
17/09/18 09:29:38.23 HJThN6W0.net
「解析学の大錯誤」は以下を批判したもの
デデキントの切断
ワイエルシュトラスの定理
有界な単調数列の収束
区間縮小法
コーシーの収束判定法
コーシー列による実数の構成
ε-δ論法
カントールの対角線論法
「すべてのパラドックスは詐欺である」は以下を批判したもの
「私は嘘つきである」
「この文は偽である」
「次の文は真である」「前の文は偽である」
床屋のパラドックス
ラッセルのパラドックス
図書目録のパラドックス
批判したという意味は、
これらはすべて間違いであると指摘したという意味である。
148:132人目の素数さん
17/09/18 09:29:43.96 arAx3/4k.net
>>130
>「どう書くかすら分からない何ものか」の存在は、自然数の本性だ。
自然数は厳密に定義されていますが?ちょっと何言ってるかわかりません
149:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 09:30:08.11 OusaV1qu.net
>>125
>数学的帰納法で、証明できるのは
>「同値な数列有限個について、共通の尻尾が存在する」
>まで
錯誤、ご苦労さん(^^
まあ、小学生では、数学的帰納法の理解は難しよね(^^
>一致番号が異なる無限個の数列の場合は不可能だよ
>なぜなら、最大の一致番号がとれないからw
"最大の一致番号がとれないから”って・・、一致番号dの集合は、重複する番号dがあるとしてもそれを1つに纏めるとして、それは可算無限集合だと思うのだが?
可算無限集合で、”最大の一致番号がとれない”のは当然だろ
決定番号の集合も同じ
そこらがさ、おまえの無限の理解が”幼い”と思うゆえんだ
150:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 09:30:39.06 OusaV1qu.net
>>126
ピエロ、面白いよ、それ
今日の大爆笑は、これだろうな!
私の引用の意図を、全く逆にとったわけだね(^^
笑えるな~(^^
151:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 09:31:32.91 OusaV1qu.net
>>127-128
ピエロは、小学生なのに、作文とお絵かき、頑張るね。えらいね~(^^
でも、せめて、数学的帰納法は、理解しようね~
あと、>>130も漢字が難しいが、読んでみて(^^
152:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 09:33:03.26 OusaV1qu.net
>>132
まあ、下記の引用でもどうぞ
数学的帰納法さえ理解できないレベルでの小学生の作文に、何をかいわん
(引用)
スレ41 スレリンク(math板:643番)
643 自分返信:現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日:2017/09/16(土) 20:00:27.90 ID:KRHwrxLG
>>633-635
ピエロ必死だな(^^
独自説、ご苦労さんだ
まあ、小学生の作文だな
百歩譲って、小学生の作文が成り立つとしましょう
”38 スレリンク(math板:355-381番) 時枝記事の解法の不成立の証明”(>>11)
で、スレリンク(math板:357番) 「<ステップ2>「現代数学 ZFC下で、一見異なる結論が導かれることがある」(反例になる場合もある)」
を入れておいて良かったなと、つくづく思うよ(^^
小学生の妄想作文をめぐって、議論する気はない
ピエロが、小学生レベルの脳内作文が成り立つというなら、それで良いんじゃない?(^^
おれはおれで、”こっちの証明が成り立つよ
153:”というだけのこと(^^ おれの証明が潰せなければ、そうなるだけのこと(^^
154:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 09:39:57.33 OusaV1qu.net
>>136
>>「どう書くかすら分からない何ものか」の存在は、自然数の本性だ。
>自然数は厳密に定義されていますが?ちょっと何言ってるかわかりません
自然数は厳密に定義されていますよ。>>104に示した通り、ペアノの公理(下記)、帰納法の原理でね(ZFCも同じだよ)
”帰納法の原理”で、というところを、しっかり考えてみてください
<再録>(>>104)
URLリンク(ja.wikipedia.org)
ペアノの公理
(抜粋)
定義
ペアノの公理は以下の様に定義される。
自然数は次の5条件を満たす。
1.自然数 0 が存在する。
2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する(suc(a) は a + 1 の "意味")。
3.0はいかなる自然数の後者でもない(0 より前の自然数は存在しない)。
4.異なる自然数は異なる後者を持つ:a ≠ b のとき suc(a) ≠ suc(b) となる。
5.0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
5番目の公理は、数学的帰納法の原理である。
(引用終り)
155:哀れな素人
17/09/18 09:40:02.83 HJThN6W0.net
>>116
限りがない、ということは、無限個ある、ということではない(笑
無限にあるが、無限個あるわけではない(笑
無限個あるが、無限個あるわけではない(笑
>元の数に限りがない集合に含まれる元の数には限りがある
その通り(笑
元の数に限りがない集合に含まれる元の数は有限個である(笑
お前は新参者だから知らないだろうが、僕は
無限小数は実際は有限小数である。
無限級数は実際は有限級数である。
無限集合は実際は有限集合である。
ということを延々と主張してきたのである、
誰にも理解されなかったが(笑
156:132人目の素数さん
17/09/18 09:56:48.32 KkC8TkeY.net
>>134
>「コンパクト性定理」を直接使っているわけではないよ
分かってる サルの毎度恒例のハッタリは、今度も不発だったってことだw
>”無限集合について、なにか言いたいとき、「任意の有限部分が○○」と表現する”言い回しが、
>時枝記事”「確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義される」
>という記述”と同じだよ
で、独立⇔「他の情報から情報が得られず予測不能」、ではないってことだ
有限族について同値でも、無限族についてはそうならない
ま、「コンパクト」馬鹿のサルには死んでも分からんかwwwwwww
157:132人目の素数さん
17/09/18 10:00:31.42 KkC8TkeY.net
>>137
>"最大の一致番号がとれないから”って・・、
>一致番号dの集合は、可算無限集合だと思うのだが?
>可算無限集合で、”最大の一致番号がとれない”のは当然だろ
だろ?だったらco-tailは存在しない
サルは幼いとかいう以前に愚か
ま、人間には死んでもなれない畜生だから仕方ないなw
158:132人目の素数さん
17/09/18 10:02:25.97 KkC8TkeY.net
>>138
笑えるのは、サル、おまえだよw
いいかげん自分のクソを全身に塗りたくるクソ芸はやめろ
堪え難くクサい!!!!!!!
159:132人目の素数さん
17/09/18 10:03:44.69 arAx3/4k.net
>>115
>箱は可算無限だから、>>105-106に例示したように、「決定番号は、”D <= 22兆4591億5771万8360” となる確率は0(ゼロ)
>22兆4591億5771万8361桁目より先にどんどん計算が進めば、この数を大きくすることができる。限りなく大きくすることができる。」ということ
戦略不成立を主張したいなら、決定番号が自然数でないことを示さないとダメ。兆だの京だのナンセンス。
しかし代表系が定まっている状況では、定義から直ちに自然数であることが従うよ。
未だ理解できない?
160:132人目の素数さん
17/09/18 10:03:53.27 KkC8TkeY.net
>>139
>せめて、数学的帰納法は、理解しようね~
サル。貴様がねw
数学的帰納法では「最大の自然数∞」の存在なんか証明できないゾwwwwwww
161:132人目の素数さん
17/09/18 10:09:10.76 KkC8TkeY.net
>>140
>おれはおれで、”こっちの証明が成り立つよ”というだけのこと(^^
サルのクソ証明なんか書いた瞬間から潰れてるよwwwwwww
あのな、99列分の決定番号をとって、その最大値がDだとして
100列目をとったとき、その決定番号dについて、サルの貴様は
「d<Dになる確率は0だ!」
とキャッキャ吠えてるわけ
これに対してニンゲン様の私は
「そもそも100列とったときの最大値D'について
D'(=d)>Dとなる確率が1/100だろ」
といってるわけだ
100列のうち、どの列の決定番号が最大値になるかは同じ確率1/100
確率が違うならどういう理由で違ってくるのか説明して見ろよ
できるものならな、サル!!!
162:132人目の素数さん
17/09/18 10:11:31.24 KkC8TkeY.net
>>139
命数法の話なら岩波科学ライブラリー「巨大数」でも読みやがれ
算数しかわからんサルでも読めるだろwwwwwww
163:132人目の素数さん
17/09/18 10:23:43.97 arAx3/4k.net
>>137
>まあ、小学生では、数学的帰納法の理解は難しよね(^^
数学的帰納法で言えるのは
「∀n∈N について命題 P(n) が真」
であって、
「P(∞) が真」
ではないよ
164:132人目の素数さん
17/09/18 10:24:34.97 KkC8TkeY.net
>>140
>おれの証明が潰せなければ、
おまえさあバカザルのくせにニンゲン面すんなよ
おまえみたいなバカザル、何百匹何千匹死のうが
ニンゲン様には痛くも痒くもねえんだよ
いいかげん身の程知って匿名になれよバカザル
おまえみたいなバカザルがHN使うなんざ一万年早ぇよw
165:132人目の素数さん
17/09/18 10:29:32.58 KkC8TkeY.net
>>140
>議論する気はない
そもそもサルの貴様が間違ってることについて、議論の余地などないw
文系の貴様がインチキ引用を多用してディベートしたがってるだけだw
貴様なんか理系じゃねえ このサイコパスサギ師野郎w
166:132人目の素数さん
17/09/18 10:38:19.75 WP9yXypF.net
>>142
宣伝ありがとう。
amazonには残り1冊となってるな。なんでだ?
これじゃあ客のニーズに耐えられんぞ。
> 限りがない、ということは、無限個ある、ということではない(笑
167:> 無限にあるが、無限個あるわけではない(笑 > 無限個あるが、無限個あるわけではない(笑 AならばA(A⇒A)が必ずしも成り立たない、ってわけだ。 これが宗教でも文学でも哲学でもなく数学だっていうなら逆にすごいよ。 お前はたしかに新しい数学を作り出してるよ。自信をもって増刷しなさい。
168:哀れな素人
17/09/18 11:37:08.98 HJThN6W0.net
>>153
アマゾンの倉庫に全在庫を置くわけにはいかない。
なぜならアマゾンの倉庫はすべての本の
すべての在庫を置けるほど広くはないからだ。
そこで一冊か二冊ほど置いておいて、
売れたら、その都度、出版社に連絡して、
出版社がまた一冊か二冊アマゾンに送る、
という仕組みになっている。それだけ(笑
169:132人目の素数さん
17/09/18 11:56:36.93 sUE9Al38.net
>>154
なるほど
170:132人目の素数さん
17/09/18 12:00:25.39 sUE9Al38.net
>>148
> 100列のうち、どの列の決定番号が最大値になるかは同じ確率1/100
証明も否定もできないものを豪語するのはやめとけ
証明できるのは100個の決定番号からサイコロで1つを選んだときそれがMaxである確率が1/100ということ
お前の主張とは全然違う。
171:哀れな素人
17/09/18 12:36:19.76 HJThN6W0.net
ID:WP9yXypF
ID:sUE9Al38
この二人はもしかしたら新参者かもしれないから、たとえば
無限小数は実際は有限小数である。
ということを説明しておこう。
0.999 ←これは有限小数である。
0.99999 ←これも有限小数である。
0.9999999 ←これも有限小数である。
……………………
どこまでいっても同じである。
どこまでいっても有限小数である。
決して無限小数にはならない。
他にもいろいろな仕方で、
僕はこのことをこのスレで説明してきた。
しかし誰も理解しなかった(笑
もしこの二人が上の説明で理解したとしたら、
この二人は他の常連より利口である(笑
いくらでもあるが有限である、
というのは上のようなことなのである。
無限級数でも無限集合でも同じだ。
無限というのはいくらでもある、ということであって、
いくらでもあるというのは無限個あるということではない。
いくらでもあるということは、いくらでもあるが有限個にすぎない、
ということである。
172:132人目の素数さん
17/09/18 12:39:29.68 arAx3/4k.net
>>157
自然数は何個ある?
173:132人目の素数さん
17/09/18 12:40:02.49 Ff1auLLW.net
>>142
>限りがない、ということは、無限個ある、ということではない(笑
>無限にあるが、無限個あるわけではない(笑
>無限個あるが、無限個あるわけではない(笑
これは、数学的には全く同じ性質を持つ対象どうしで考えたら、同一律とかいう
哲学というか形式論理の基礎の1つのお約束にすら反することになるが、そのあたりはどうするんだ?
まあ、>>135を見る限り、中間値の定理とかも含めて解析を全否定しているようだから、
全く同じ性質を持つ対象どうしでは考えないようなことでもしない限り、それ程のビジネスにはならないだろうけどね。
まあ、お前さんはいわゆる数学の小説でも書くのかい?
174:哀れな素人
17/09/18 12:46:10.33 HJThN6W0.net
>>158-159
>>157を読め(笑
自然数はいくらでもあるが有限個しかない(笑
これは何も僕独自の特殊説でも何でもない(笑
これはギリシャの昔からの常識だ(笑
こういう常識をカントールを始めとする近代以降の
数学者は知らなかったのである。
175:132人目の素数さん
17/09/18 12:48:04.59 4C8yGAnW.net
マジ卍
176:哀れな素人
17/09/18 12:57:33.67 HJThN6W0.net
>>161のような反応を見れば、
現代人の多くが自然数は無限個あると思っていることが分る(笑
しかしアレストテレスやニコラウス・クザーヌスを読んでみればいい。
そうしたら僕の言っていることが正解だと分る(笑
だから僕はこのスレで何度も書いてきた、
ギリシャ人が生きていたら無限小数も無限級数も
無限集合も否定しただろう、と。
ギリシャ人だけではない。
クロネッカーはカントールを否定したし、
ガウスも無限を数学に持ち込むことには反対した。
ヴィットゲンシュタインもカントールの無限集合論を
笑止千万、ナンセンス、間違っていると言ったのだ。
177:132人目の素数さん
17/09/18 13:09:32.70 arAx3/4k.net
>>160
>自然数はいくらでもあるが有限個しかない(笑
有限個とは具体的に何個?
178:132人目の素数さん
17/09/18 13:27:46.40 h+QTi+CW.net
>>123
増田哲也就職したのか
179:132人目の素数さん
17/09/18 14:21:11.96 KkC8TkeY.net
>>156
いかなる列もその決定番号は自然数であるから同じことである
180:132人目の素数さん
17/09/18 15:28:47.88 arAx3/4k.net
>>141
>「どう書くかすら分からない何ものか」の存在は、自然数の本性だ。
「自然数の本性」って何ですか?
「どう書くかすら分からない何ものか」の存在とか「自然数の本性」とか
あなたはオカルトかファンタジーの類を語っているのですか?
181:132人目の素数さん
17/09/18 15:37:10.18 arAx3/4k.net
もっと端的に質問しましょうか?
「「どう書くかすら分からない何ものか」が存在する」
⇒これは命題か? Y/N
182:132人目の素数さん
17/09/18 15:54:22.47 sUE9Al38.net
>>165
> いかなる列もその決定番号は自然数であるから同じことである
答えになってない。
自然数かどうかではない。
1) どの列もMaxになる確率は1/100
2) Maxの列を選ぶ確率はサイコロで決まる確率1/100
この2つは明確に異なる。
これを区別せずに1)が成り立つと豪語するお前は、1)も2)も成り立たないと言うスレ主と同レベル。
183:132人目の素数さん
17/09/18 15:57:34.11 KkC8TkeY.net
>>168
答えになっている
もし、最新列の決定番号が必ず最大値になる
というなら、貴様こそサルと同じ畜生
184:132人目の素数さん
17/09/18 16:00:02.97 sUE9Al38.net
>>160
お前は人をトゲと読む数学
俺たちは人をヒトと読む数学
お前はお前の世界で生きていけ。
185:132人目の素数さん
17/09/18 16:01:21.56 KkC8TkeY.net
サルの主張
決定番号diに関して
d1<d2<d3<d4<d5<d6<d7<d8<d9<・・・
人間様の主張
決定番号diに関して
di>dj (j<i) となる確率は1/i
186:132人目の素数さん
17/09/18 16:02:03.73 sUE9Al38.net
>>169
> もし、最新列の決定番号が必ず最大値になる
というなら、貴様こそサルと同じ畜生
言ってないけど。
1)の確率1/100は証明できないと言っている。
お前も証明できないことは前に認めたじゃんw
また未定義の確率論を持ち出すのか?
であれば、お前も哀れな素人も明確に同レベル。
187:132人目の素数さん
17/09/18 16:03:47.96 KkC8TkeY.net
>>172
>1)の確率1/100は証明できないと言っている。
>お前も証明できないことは前に認めたじゃんw
いいや、一切認めていない 貴様の妄想だな
>また未定義の確率論を持ち出すのか?
今の確率論で証明できる
貴様が馬鹿だから証明できないだけ
188:132人目の素数さん
17/09/18 16:04:57.81 sUE9Al38.net
>>173
お前可測関数の定義域を間違えた男じゃん。
またぶり返したいの?
189:132人目の素数さん
17/09/18 16:06:47.57 KkC8TkeY.net
>>174
貴様もサル同様、決定番号の分布に固執する畜生かw
1/100の計算に、決定番号の分布は一切必要ない
190:132人目の素数さん
17/09/18 16:06:53.15 sUE9Al38.net
>>173
じゃあ証明してみろよ。
測度論なら測度論にのっとれ。
今度は定義域を間違えるなよw
測度論でないならお前独自の確率をきちんと定義してからにしろ。
お前しか知らないからな、お前の確率論は。
しっかりかけよ。
191:132人目の素数さん
17/09/18 16:08:03.63 sUE9Al38.net
>>175
馬鹿じゃねえの?
問題設定分かってる?w
ほれ。まず問題を書いてみろ。
確率空間を書いてみな。
192:132人目の素数さん
17/09/18 16:09:02.99 KkC8TkeY.net
>>176
100個の列から100個の決定番号が得られる
このうち他の列の決定番号より大きい決定番号をもつ列は高々1個だ
ゆえに1/100 バカでもわかるw
193:132人目の素数さん
17/09/18 16:11:31.19 sUE9Al38.net
>>178
それはサイコロをふる(2)じゃねえか(笑)
100個の決定番号が確定しているときの話な。
お前の主張はどの列も確率1/100という(1)だろ?
問題設定が違うんだよ馬鹿
194:132人目の素数さん
17/09/18 16:13:25.09 KkC8TkeY.net
>>177
バカは貴様
事象はi=1~100について
di>dj (not(j=i))
の100個
どの事象も等確率である
ゆえに確率1/100
195:132人目の素数さん
17/09/18 16:14:31.81 KkC8TkeY.net
>>179
貴様が(1)と(2)が違うと思い込んでるだけ
問題設定が違わねえんだよ 妄想狂
196:132人目の素数さん
17/09/18 16:16:07.75 sUE9Al38.net
>>180-181
早く確率空間を書いてみろよ。
また可測出ない関数に定義域外の値を放り込んだりするんだろ?(笑)
はやく書け。
197:132人目の素数さん
17/09/18 16:19:07.51 KkC8TkeY.net
>>182
>早く確率空間を書いてみろよ。
>>180で書いたぞ
100個の背反事象を書いてやった
100個の事象の確率が皆
198:同じだから1/100
199:132人目の素数さん
17/09/18 16:20:16.81 sUE9Al38.net
>>180-181
しばらく留守にするけど、反論できないように丁寧に書いとけ。
前に論破されてることも忘れるなよ。
定義域の件はきちんと読み返しとけ(笑)
200:132人目の素数さん
17/09/18 16:22:43.96 KkC8TkeY.net
>>184
永遠に来なくていいぞ
>前に論破されてることも忘れるなよ。
妄想だろw
貴様が決定番号の分布に固執するのが間違ってる
論破されたのは貴様だw
おまえ>>1だろ? ほんと卑怯卑劣な畜生だな
おまえみたいなサイコパス、首掻き切られて死ねよ クソ野郎
201:132人目の素数さん
17/09/18 16:23:11.64 sUE9Al38.net
>>183
diは確定しているのか?
202:132人目の素数さん
17/09/18 16:24:42.74 KkC8TkeY.net
>>1のなりすましの自称「確率論の専門家」は
自分の必殺技wが全く通用しないのに泡食って
尻尾巻いて退散するとさwwwwwww
クタバレ、卑怯卑劣なチキン野郎!
203:132人目の素数さん
17/09/18 16:24:51.57 QeUEFMAZ.net
>>164
年齢が違うから同姓同名ですな
204:132人目の素数さん
17/09/18 16:27:28.14 KkC8TkeY.net
>>186
diは存在する
di、dj間の不等式の真偽値も確定する
205:132人目の素数さん
17/09/18 16:32:14.58 sUE9Al38.net
>>189
存在するって何だよ?(笑)
もう一度聞くが、各diは確定した自然数なのか?
206:哀れな素人
17/09/18 16:34:12.46 HJThN6W0.net
>>163
>>157を読め(笑
いくらでもあるのである(笑
いくらでもあるが有限個なのである(笑
分るか?(笑
お前だけではない、このスレの全員が
>>157が理解できないのだ(笑
こんなことは、どんな子供でも、分る子には分るのに(笑
207:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:41:42.81 OusaV1qu.net
>>146
>>箱は可算無限だから、>>105-106に例示したように、「決定番号は、”D <= 22兆4591億5771万8360” となる確率は0(ゼロ)
>>22兆4591億5771万8361桁目より先にどんどん計算が進めば、この数を大きくすることができる。限りなく大きくすることができる。」ということ
>
>戦略不成立を主張したいなら、決定番号が自然数でないことを示さないとダメ。兆だの京だのナンセンス。
>しかし代表系が定まっている状況では、定義から直ちに自然数であることが従うよ。
ナンセンスと言うのはご勝手にだ
つまり、戦略不成立を直接示すのは、いろいろ難しいところがある
だから、間接的に、数列の先頭からある有限部分について、的中する確率が0(ゼロ)をいうことで、時枝記事
時枝記事 ”35 スレリンク(math板:13番) 時枝問題(数学セミナー201611月号の記事)”
より、”列r のD番目の実数r(D)を見て, 「第k列のD番目の箱に入った実数はS^k(D)=r(D)と賭ければ,めでたく確率99/100で勝てる.”とあるけれど
決定番号Dが、有限の範囲に来る確率は、著しく低く、それは0(ゼロ)だと
その有限範囲は、まずは、「決定番号は、”D <= 22兆4591億5771万8360” となる確率は0(ゼロ)」
次に、最大の命数である不可説不可説転 ”D <= 10^(7*2^122)=10^37218383881977644441306597687849648128” となる確率は0(ゼロ)
ここまでを、認めて貰えれば良い。それで、我々が普通に使う数の範囲の箱は的中確率0(ゼロ)だ
208:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:42:18.89 OusaV1qu.net
>>150
>>まあ、小学生では、数学的帰納法の理解は難しよね(^^
>数学的帰納法で言えるのは
>「∀n∈N について命題 P(n) が真」
>であって、
>「P(∞) が真」
>ではないよ
ピエロよりレベルが高いね(^^
正解だ
それで十分だし、それ当然だ
209:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:43:48.47 OusaV1qu.net
>>166
>「自然数の本性」って何ですか?
>「どう書くかすら分からない何ものか」の存在とか「自然数の本性」とか
>あなたはオカルトかファンタジーの類を語っているのですか?
理解できていないようですね。>>141の通り”自然数は、数学的帰納法の原理そのものであり、その後者 (successor)( a + 1)によって、一つずつ構成されるもの”ってことですよ
(再録)
URLリンク(ja.wikipedia.org)
ペアノの公理
(抜粋)
定義
ペアノの公理は以下の様に定義される。
2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する(suc(a) は a + 1 の "意味")。
5.0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
5番目の公理は、数学的帰納法の原理である。
(引用終り)
210:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:44:23.59 OusaV1qu.net
>>167
>「「どう書くかすら分からない何ものか」が存在する」
>⇒これは命題か? Y/N
Y
例
1)超越数の集合:実数の集合Rから、代数的数の集合Aを除いた集合としか定義できない。具体的には書けない例
2)超越数πのしっぽ:>>106 より”2016年の時点では、円周率は小数点以下22兆4591億5771万8361桁まで計算されている”とある。22兆4591億5771万8361桁の先は、まだ計算されていないが、ずっと(無限に)存在する
211:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:45:00.84 OusaV1qu.net
>>143
"(>>90より)”無限集合について、なにか言いたいとき、「任意の有限部分が○○」と表現する”言い回しが、
時枝記事”「確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義される」という記述”と同じだよということ"
これは結構重要だよ
まあ、また後で説明してやるよ、小学生(^^
212:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:45:19.96 OusaV1qu.net
>>144
213:co-tailの存在証明は数学的帰納法で終わっているので、数学的帰納法を理解できない小学生には難しいということを自白したってことだな(^^
214:132人目の素数さん
17/09/18 16:45:23.07 KkC8TkeY.net
>>191
存在しないというのかね?w
事象は既に示した
diとやらの値が分かっている必要はない
そもそもどの列siについても
P(∀j.not(j=i)⇒di>dj)
の確率が同じであると認める限り
列の数がn個であるなら、
その確率はたかだか1/n
215:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:45:39.40 OusaV1qu.net
>>145
>>94-95で引用した数学的帰納法についてのバートランド・ラッセルの説明を読んで理解できない(>>126)ということね
数学的帰納法は、小学生には難しいということを自白したってことだな(^^
216:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:45:54.98 OusaV1qu.net
>>147
>数学的帰納法では「最大の自然数∞」の存在なんか証明できないゾwwwwwww
微笑ましいねー、小学生・・(^^
217:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:46:09.68 OusaV1qu.net
>>148
数学的帰納法を理解できない小学生の作文、おつ(^^
218:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:46:26.30 OusaV1qu.net
>>151-152
>>おれの証明が潰せなければ、
>おまえさあバカザルのくせにニンゲン面すんなよ
小学生は微笑ましいね。「証明は潰せません」と自白したわけだな(^^
219:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:46:43.18 OusaV1qu.net
>>185
ピエロ妄想おつ(^^
ID:sUE9Al38さんは、別人だよ(^^
>永遠に来なくていいぞ
おびえているのか?(^^
220:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 16:47:13.64 OusaV1qu.net
>>163
どうも。スレ主です。
>>123を見落としていたが、”容疑者を過失運転傷害の疑いで現行犯逮捕しました”か
最近の¥さんのご無沙汰と合うね~
221:132人目の素数さん
17/09/18 16:47:38.25 KkC8TkeY.net
>>197
>co-tailの存在証明は数学的帰納法で終わっているので・・・
>>1の証明は数学的帰納法の誤用であるので
>>1は数学的帰納法を全く理解できてないってことだな
結論:>>1は数学的帰納法すら理解できないサルwwwwwww
222:132人目の素数さん
17/09/18 16:50:32.49 KkC8TkeY.net
>>202
>「証明は潰せません」と・・・
自分の初歩的な誤りを決して認めることができないバカには数学は理解できないwww
223:132人目の素数さん
17/09/18 16:51:52.14 sUE9Al38.net
>>198
だから存在するって何だよ(笑)
おれは存在するか?と聞いたんじゃない。
確定しているのか?と聞いたんだ。
> そもそもどの列siについても
> P(∀j.not(j=i)⇒di>dj)
> の確率が同じであると認める限り
誰が認めたんだ?
siってなんだ?
きちんと確率空間を書けって言ってるんだよ。
224:132人目の素数さん
17/09/18 16:51:55.82 KkC8TkeY.net
>>203
同一人物か別人かはどうでもいいw
ああいうつまらぬ言い掛かりは、二度と通用しないと思い知らせてやったまで
バカはクタバレ バカには生きる価値も資格もない
225:132人目の素数さん
17/09/18 16:54:00.60 arAx3/4k.net
>>191
>いくらでもあるが有限個なのである(笑
>分るか?(笑
ちょっと何言ってるか分かりません
226:132人目の素数さん
17/09/18 16:55:36.53 KkC8TkeY.net
>>207
あらかじめ分かっている必要はない
つまり貴様の質問は無意味だ
>きちんと確率空間を書けって言ってるんだよ。
背反事象を100個書いてやった
サイコロの目がn(n=1~6)
というのと全く同じ表現だ
貴様が論理式も読めないバカだというだけだろう
やっぱ、おまえ>>1だろw
バカっぷりが>>1そっくりだw
227:132人目の素数さん
17/09/18 16:59:28.55 sUE9Al38.net
>>210
罵詈雑言じゃなくて確率空間を書け。
各diは確定しているのか?
質問に答えられないのか?
228:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 17:01:09.50 OusaV1qu.net
>>204
>>123 URLリンク(news.tbs.co.jp)
より
「警察は、ワゴン車を運転していた富士見市の会社員、増田哲也容疑者(52)を過失運転傷害の疑いで現行犯逮捕しました。」
なので、年齢が合わないし、
別人のような気がしてきたな(^^
229:哀れな素人
17/09/18 17:01:15.92 HJThN6W0.net
>>209
君は真面目に質問しているのか?
真面目に質問しているなら説明するが、
皮肉で書いているなら説明しない。
ちっとも難しいことではないのだ。
子供でも分ることである。
>>157を読めば、分かる者には分るはずである。
230:132人目の素数さん
17/09/18 17:02:41.00 arAx3/4k.net
>>195
超越数も円周率も明確な定義がある。
co-tail を明確に定義して下さい。
「命題である」と答えたからには明確な定義があるはずですよね?
231:132人目の素数さん
17/09/18 17:10:20.76 arAx3/4k.net
>>197
>co-tailの存在証明は数学的帰納法で終わっているので・・・
レス番号教えて、あるいは改めて書いて
232:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 17:13:03.85 OusaV1qu.net
>>205
>>co-tailの存在証明は数学的帰納法で終わっているので・・・
>
>>>1の証明は数学的帰納法の誤用であるので
あれあれ、ピエロ言い方が変わってきたよ~(^^
(>>125より)”数学的帰納法で、証明できるのは
「同値な数列有限個について、共通の尻尾が存在する」”
だったよね~
数学的帰納法の理解が少しだけ進んだのかも・・(^^
233:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 17:22:24.60 OusaV1qu.net
>>206
ピエロ必死だな(^^
234:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 17:22:40.12 OusaV1qu.net
>>208
>ああいうつまらぬ言い掛かりは、二度と通用しないと思い知らせてやったまで
ピエロ必死だな(^^
小学生レベルで、なにいきがっているだろうね(^^
235:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/18 17:22:59.12 OusaV1qu.net
>>214-215
co-tail の定義と証明は下記だな
(>>11より)
"41 スレリンク(math板:580-589番) <時枝数列の同値類のしっぽの共有部分が空集合でないことについて>証明と説明
41 スレリンク(math板:622-623番) しっぽの共通部分(co-tail)の存在と一致番号が有限範囲に留まることはありえないことの説明"
236:132人目の素数さん
17/09/18 17:34:34.79 KkC8TkeY.net
>>211
>確率空間を書け
もう書いた
2列の場合
d1>d2
d2>d1
の二つの事象
(正確にはd1=d2もあるが、除く)
237:132人目の素数さん
17/09/18 17:38:11.77 KkC8TkeY.net
>>216
>ピエロ言い方が変わってきたよ~(^^
サルの国語の理解が間違ってるんだろw
>”数学的帰納法で、証明できるのは
> 「同値な数列有限個について、共通の尻尾が存在する」”
貴様は「同値類全体について共通の尻尾が存在する」
とウソついただろうが!
貴様は間違ってるんだよ サルに数学がわかるわけねえだろwww