スレタイ箱入り無数目を語る部屋33(あほ二人の”アナグマの姿焼き"Part7ｗ)

前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります https://rio2016.5ch.io/test/read.cgi/math/1711570726/ 箱入り無数目を語る部屋19 )

https://rio2016.5ch.io/test/read.cgi/math/1786586164/
前スレ スレタイ箱入り無数目を語る部屋32(あほ二人の”アナグマの姿焼き"Part6ｗ)

(参考)時枝記事
https://imgur.com/uMqtRwr
時枝 箱入り無数目（数学セミナー201511月号の記事）の最初
https://imgur.com/YAdz2Mz
時枝 箱入り無数目（数学セミナー201511月号の記事）の後

数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.io/test/read.cgi/math/1620904362/401-406 純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

２．続けて時枝はいう
　私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
(補足)
sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字

つづく

箱の中身がわからないからって
闇雲に無条件事前分布を設定する
ニワカベイジアンが間違ってる

そういうこと

>>893
ショルツがまともじゃないって、
君マジで思ってるならヤバいよ（笑）

>>895
それは本題じゃないからどうでもいいんだけどね

ものの例えだよ

>complete consistent theory.
これ分かりますか？　Γがcomplete consistent theoryであるとは、想定している言語で書ける任意の論理式φに対し、φ∈Γ と ¬φ∈Γ のうちいずれかひとつだけが必ず成立するような無矛盾理論。つまり極大無矛盾理論

>the ultrafilter lemma
これ分かりますか？　ツォルンの補題を仮定すると任意の真フィルタに対してそれを包含する極大フィルタ（超フィルタ）が存在するという補題。ブール代数におけるBPIと同値。

>Boolean algebras
これは分かるでしょう

>the Lindenbaum algebra
これ分かりますか？　おおざっぱに言うと論理式全体の集合に φ〜ψ ⇔ |-(φ⇔ψ) という同値関係を入れたときの商集合としてのブール代数

IUTのことを誰も分からないから
どっちがマトモでどっちがゴネてるのかは
知る由がないってこと

>>896　じゃ、口にしないほうがよかったね
>>897　ここはバカばかりだから、軽口叩くと自分が焼かれるよ

>>900

>>898
そういう「初心者でも分かる事」はどうでもいいよ

君、その極大無矛盾理論を、自分が具体的に構築できる、と思ってる？

>超フィルタ補題はブール代数におけるBPIと同値。
実はこれは自明。なぜならブール代数において超フィルタと素イデアルは双対（いずれかの裏が他方の表）の関係にあるから。

存在するけど具体的に構成できないものの話しても意味ないよな

神の存在について語るようなもの　

人は狂うとそういう話しかしなくなるけど

>>900
間違えて空のレスしちゃった

やべえｗ　数学語り出すと止まんねえｗ

かの人にも数学を語って欲しいんだが誹謗中傷に終始してしまうのが残念

>>903
そういう「初心者でも分かる事」はどうでもいいよ

それ、君が具体的に構成できるの？

できないよね？

じゃ、意味ないじゃん

>>906
数学としては上っ面だね

学部の頃はそういう話をよくしたもんだけど・・・昭和時代か（笑）

>>902
>君、その極大無矛盾理論を、自分が具体的に構築できる、と思ってる？
そういう「初心者でも分かる事」はどうでもいいよ
ツォルンの補題を仮定しているのだから非構成的であることは初心者でも分かることだから

内容や経緯がよく分からないとなると態度から推測する人が多いので
態度を普通にしてないと、相手以外の他人から見てアホに見られるよ

1人との関係に固執して他の人との関係に意識がいかないのは実際視野が狭いけど。

>>909
>>君、その極大無矛盾理論を、自分が具体的に構築できる、と思ってる？
>そういう「初心者でも分かる事」はどうでもいいよ
>ツォルンの補題を仮定しているのだから非構成的であることは初心者でも分かることだから

ああ、そういう大学１年レベルの浅い話はしてない

もし、具体的に構成できるなら矛盾する、という話をしてる
まあ、これも大学３年レベルだけどな

>>903
>そういう「初心者でも分かる事」はどうでもいいよ
大口叩くわりに君、集合論の宇宙はZFCを前提にしていないこと、理解してなかったでしょ
だって ZF+¬ACがーーー とか言ってたじゃん

>>911
もう終わったスレは埋めるに限る

>>913　集合の整列にこだわってた素人がなにいってんの（笑）

>>913の903は902の誤記

選択公理を知ってればわかる大学１年レベルの話を
偉そうに語るのは１０代あるある

強く言うと変わると思いがちだけど
むしろ自分の立場を堅持する場合が多いので
永遠に終わらないと思う
それが望みならいいけど

ゲーデルの不完全性定理の系として語れることを
全部度外視するのも大学１〜２年の１０代あるある

>>918
埋めて終わりにしようぜ
おれもおまえもみんな死ぬってことさ

だから河東泰之はセミナーで間違いを指摘するのはやめて質問の形をとることにしたんじゃないかな

ゴネる学生がいるから

>>921　君、死にたくないなら、ここには書かない、ここは読まない、と決めた方がいいぜ

>>922　馬鹿になりたくなければ、５ｃｈなんて忘れるこった

馬鹿の存在は忘れてくれ
それが利口になるということ

オレは馬鹿として死ぬ
それでいいじゃないか

ゴネる側の気持ちが分かってあげられない点では、河東さんもまだ一歩浮世離れしてると思うけど。
世の中の普通の人は、間違いが分かった上で、指摘してもゴネるだろうなぁと思い、さらにゴネる側の気持ちも分かるから結果的に黙ってる場合が多い

人はみないつか死ぬんだよ

永遠に生きられるなんてことはない

>>927　君　利口になりたいなら　馬鹿のことは忘れな

馬鹿は馬鹿として死ぬ　それが馬鹿の定めさ

>>928
文脈から離れているので
何かしら普段からそう思うような尊厳の傷つきがある？

>>915
そりゃこだわるよ
順序数は整列集合に対して定義される

https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
整列集合 (A,<) に対して、A を定義域とする写像 GA,<{ を超限帰納法によって
GA,<(a)={GA,<(x)|x<a}
と定義したとき、GA,< の値域 ran(GA,<) を (A,<) の順序数といい、これを ord(A,<) と表記する。ある整列集合の順序数であるような集合を順序数と呼ぶ[2]。

なおかつ集合論の宇宙の標準モデルであるノイマン宇宙Vは順序数全体のクラスを使って定義される。
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99

なぜこだわらないと思ったの？

馬鹿とは
・書かれてないことを妄想する
・できもしないことを妄想する

何が書かれていて何が書かれてないかを理解し
何ができて何ができないかを理解したら
そいつは馬鹿の最低レベルを卒業したってこと

ここはそれすら卒業できない最低レベルの馬鹿のたまり場さ

>>931
尊厳なんてないんだよ　人間には

>なぜこだわらないと思ったの？
なぜこだわるのは妥当でない、こだわるおまえは素人だ、と思ったの？　説明してごらん　素人でないなら

>>932　初心者のコピペってどうしていつも同じなんだろうな

>>935
なんでノイマン宇宙の説明ごときで、世界の全てを理解したと思い込んだ？（笑）

人の社会的な行為はたいてい尊厳に関連して行われるが
そもそもなぜ尊厳を求めるかというと、生まれて死ぬだけの動物という恐怖から逃げるためだという説がある
そういうときに人は他人と関わったり、仕事したり、文化に溶け込もうとする
そうすると自分を肉体の外側に延長して、死を超えた存在の永続性を確認できるから
あくまで一説だが。

順序とか整列とかいうものを好むのは根本的に変質者（笑）

>>938
＞人の社会的な行為はたいてい尊厳に関連して行われるが

いつどこでそんなウソを吹き込まれた？

とはいえ、長期的な自尊心の傷つきは、自分の死や空虚さを頭にこびりつかせる効果がある、ということまでは言えそうだ

＞生まれて死ぬだけの動物という恐怖から逃げる

人間は生まれて死ぬだけの動物でない、というのは根本的に重大な誤り

＞死を超えた存在の永続性

そんなものはないよ（嘲）

>>888
君、幻聴が激しいね
言ってないことが勝手に聞こえちゃうのやばいよ

誤りか誤りでないかは重要じゃないよ
そう本人が確信することで本人が苦痛を感じるって話だから

人は動物である
永遠なんてものはない
そもそも存在なんて無意味

賢者とかいう人はそれを理解しない時点で凡人よりも愚かである

>>944
別に、君が具体的に構成できると思ってないなら、こういえばいい

「あなたの言う通りですね」

>>945　苦痛から逃れたいなら確信しないことだ

釈迦もそういっただろ？（笑）

>>939
君は順序数が変質者の玩具と思ってるんだね
てか数学そのものをそう思ってるとか？

「あなたの言う通りですね」
って言われたいんだね。承認欲求の塊なんだね。

＞自尊心の傷つき
自尊心なんてものはないんだよ

＞自分の死や空虚さ
死なんてないんだよ　生がないんだから
空虚なんてものもない　存在なんてないんだから

そういう哲学的な話をしてるわけじゃないよ
単に、社会心理的な行動がときに病的なのも含めてそうなっているときの、個々人の信念の体系は上のような格好になりがちだよねっていう
割とあるあるというか、実際的な話

>>949　順序数に固執することが異常ってことさ
>>950　自分なんて存在しない　そもそも存在なんて無意味

>>952
社会心理学には興味ない　信念なんて存在しない　実際なんて存在しない

存在なんて存在しない　存在しないことすら存在しない（笑）

なんか会社の幹部とかにも
「あなたの言う通りですね」
以外を言うとブチギレる人いるよね　そういう人の部下たちはYESマンになっていき機能しなくなるからその組織は衰退する運命なのにね

なんもかんも存在しないと思えば
議論ほど無意味なものはないとわかるさ

いつ固執したの？
重要性は語ったけどそれは固執になっちゃうの？

簡単にいうと、
尊厳が傷つくとニヒリズムになりがちだ（事実）
言い換えると、ニヒリズムにならないために社会に結びついてるのかもしれない（恐怖管理理論）

>>955
ブラック会社の経営者と戦うヤツは馬鹿
利口な奴はどうするって？

さっさとやめるだろ（笑）

>>958
ニヒリズムはまだ存在にこだわってる
何もないことすらないとわかると
ニヒリズムすら捨てることになる

イズムとつくことはなんもかんも意味がない

尊厳とかいう馬鹿語はまっさきに捨てたほうがいい

💩に尊厳を感じるか？

尊厳を感じないからと言って💩に何も価値がないか？

尊厳なんかただのオナニー

>>957
＞重要性は語ったけど

重要とか言ってる時点で中二病

数学なんて所詮ハナクソ程度の話でしかない

しかしハナクソをほじりたくなる時もある（笑）

>>960
そういうめんどくさい考えが普段から頭の中で巡ってるから
すらすら言葉が出てくるわけでしょ
それを避けるために、もっと社会と何かしら関わった方が楽なんじゃないのって
そう心配してるんだけどな

なんであれ、最も有害な考えとは
「自分がいまやってることはとても素晴らしいことである」
という妄想

>>964
まあいいじゃないの

＞もっと社会と何かしら関わった方が楽なんじゃないの

そういうのは会社の社長が社員に仕事させて儲けたいときにいう言葉（笑）

社会のために自分があるわけではない

自分の為に社会があるというつもりもないが

働けって言ってるんじゃないのよ
もっと広い意味で、何かしら自己完結してないことをやればもっと楽な気分になれるよって言ってんの

数学において順序数は重要です
って言ったら中二病なんだｗ
頭の中どうなってんのか開いて見てみたいｗ

そもそも社会と関わらずに生きれる訳無いのに
生きてこうしてアホな投稿してることが社会と関わってる証左

>>968
＞何かしら自己完結してないことをやればもっと楽な気分になれるよ

それは君のカルト宗教ね

>>969
＞数学において順序数は重要です

それも君のカルト宗教ね（笑）

＞社会と関わらずに生きれる訳無い

社会に寄生して生きる君みたいな存在にはなりたくないな

投資で生きてるヤツなんか典型的寄生虫でしょ
害悪以外の何物でもないね

楽な気分になれると思うならそうすればよい
何も人にアドバイスする必要無い　その人はそれが楽しいと思ってるからやってるのだろうから
人は楽しいことしかやらないよ　最低限は除いて

>>971
社会と関わりたくなくて、引きこもって哲学をやってるのが一番好きなんだと
自分で思うならそれでいいと思うよ

勝手に寄生と決め付けるその頭の中どうなってんのか開いて見てみたい

>>975
君はカルト宗教を信仰することが唯一の楽しみだったか

そういう人も実際居るし。

>>976
社会に寄生して、５ｃｈで他人を詰るのが一番好きってのも、なんか笑っちゃうね

ZFCの無矛盾性は信仰してるけど別にそれが楽しみではない
勝手に他人の心を決め付けるその頭の中どうなってんのか開いて見てみたい

>>977　寄生してることを隠したかったかい？

>>981
ZFCの無矛盾性なんて信仰したことがない

ZFCから矛盾が導けたら？こういうわ

「フィールズ賞ｷﾀ━━━━(ﾟ∀ﾟ)━━━━!!」

・・・冗談ですよ（笑）

>>980
いや煽ってるんじゃなくて
自分で納得してるならそのままでいいと思ってるよ
そうは見えないけど本人が納得してるというならそうなんだろう

ヴィトゲンシュタインは
数学理論の無矛盾性を証明したがる人に
こういったらしい

「矛盾しようがしまいがゲームには意味があるでしょ」

＞そうは見えないけど

俗物の君とはちがうんだよ（笑）

尊厳とか社会心理学とか社会の為とか
いっちゃう人って心底俗物だね

どこの田舎の農民？

都会に住んでるとそんな馬鹿語は口にしなくなるね

>投資で生きてるヤツなんか典型的寄生虫でしょ
>害悪以外の何物でもないね
投資が無ければ経済は回らない
経済が回るのは嫌なの？　君は原始共産主義かい？　原始時代こそユートピア！　原始時代に無かった貨幣は捨て去れ！　ってか？

人間に尊厳なんか微塵もあるわけないじゃない（嘲笑）

人間なんて所詮ゴキブリみたいなもんよ

むしろ経済が投資家に寄生してると言える

>>989
＞投資が無ければ経済は回らない
残念な時代だね
＞経済が回るのは嫌なの？
金持ちが貧乏人を毟って儲けるのはイヤだね
＞君は原始共産主義かい？　原始時代こそユートピア！　原始時代に無かった貨幣は捨て去れ！　ってか？

文明は害悪よ　人口増大は害悪　資源の浪費は害悪　何もかんも害悪

人間は動物じゃない、という思い上がりこそ最大の害悪　

>>991　金は人間を腐敗堕落させるね