スレタイ 箱入り無数目を語る部屋17

1 名前：１３２人目の素数さん [2024/03/05(火) 08:04:40.23 ID:FscjMFDQ.net] 前スレが1000近く又は1000超えになったので、新スレを立てる https://rio2016.5ch.net/test/read.cgi/math/1708680610/ 前スレ スレタイ 箱入り無数目を語る部屋16 (参考)時枝記事 https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 https://rio2016.5ch.net/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などは下付添え字 つづく 709 名前： 「見えないものは確率変数でなければならない」は正しいですか？ 「箱入り無数目における出題列は確率変数でなければならない」は正しいですか？ [] [ここ壊れてます] 710 名前：１３２人目の素数さん [2024/03/12(火) 13:32:26.33 ID:wpIVsM5P.net] アホが何を書こうが ダメなものはダメ じゃないの？　；ｐ） 711 名前：１３２人目の素数さん [2024/03/12(火) 13:53:35.12 ID:pMrLmsKB.net] >>674 答えに窮して発狂しましたか？ 712 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 15:10:21.06 ID:ipHRQNQh.net] >>664 だからこれだとだめなんだって この命題は正しいけど、この命題が成り立つから攻略法があるって主張はできない ＞∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=99/100 そもそも ∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=1 だって証明できるんだから、上ので攻略法があるって主張できるんなら、こっちの命題からは必勝法があるって主張ができる 713 名前：１３２人目の素数さん [2024/03/12(火) 15:23:56.96 ID:pMrLmsKB.net] >>676 >この命題は正しいけど、この命題が成り立つから攻略法があるって主張はできない 君が主張できないとする理由はx_iが分からないとy_iも分からないからでは？ しかしそれは間違い x_iのある項以降が分かればx_iが属す同値類が分かり従って代表列が分かり従って決定番号y_iが分かる 箱入り無数目ではひとつの箱を除いて開封してよいルールだから上記は成立する 君の得意の問題における知見を無理やり箱入り無数目に適用しようとしても、問題が違うのだから適用できる保証が無いし、実際できない 未だ理解できないようだね 714 名前：１３２人目の素数さん [2024/03/12(火) 15:31:09.99 ID:pMrLmsKB.net] 君が理解できない最大の理由は記事を読んでないから だから言ってるよね？ 記事を読んで理解しなさいと 記事を読んだ上で理解できない部分があるならここへ書きなさい　教えてあげるから 715 名前：１３２人目の素数さん [2024/03/12(火) 15:34:26.25 ID:pMrLmsKB.net] ていうか君、同値関係、同値類、選択公理を理解してる？ まずそこだよｗ 716 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 15:36:50.48 ID:ipHRQNQh.net] >>677 違う ∃になってるyたちを具体的な式に展開して命題に書かないとだめって言ってるの ∀x_1,…,x_100∈R^N.P(回答者が選んだ列iに対してxi[f(x1,...,x100,i)]=r(xi)[f(x1,...,x100,i)])=99/100 みたいになってりゃ別に文句言わねーよ 717 名前：１３２人目の素数さん [2024/03/12(火) 16:09:03.30 ID:pMrLmsKB.net] >>680 >yたちを具体的な式に展開して命題に書かないとだめ 選択公理を仮定すれば 任意の類 ∀[s]∈R^N/〜 に対して代表列 r=f([s])∈[s] を与える選択関数 f:R^N/〜 → R^N の存在が保証される。 関数 g:R^N → R^N/〜 を g(s)=[s] で定義すれば、合成関数 f・g:R^N → R^N は、任意の実数列 ∀s∈R^N に対しその代表列 r=f・g(s) を与える。 ある実数列sの第D+1項から先すべてが分かっているなら、D+1より前の項を0で埋めた実数列s'はs〜s'を満たすから、f・g(s')=f・g(s)=r はsの代表rを与える。 y_iを次で定義する：∀n≧y_i ⇒ x_i[n]=f・g(x_i')[n] ここでx_i'はx_iのある項より前を0で置換した実数列 以上で、x_i→x_i'→f・g(x_i')→y_i　の対応関係が定義されるので、関数d:R^N→N が定義できて、y_i=d(x_i)=d(x_i')　と書ける。 ∀x_1,…,x_100∈R^N.∃d(x_1)=d(x_1'),…,d(x_100)=d(x_100')∈N.P(回答者が選んだ列xと対応するd(x)に対してx[d(x)]=r(x)[d(x)])=99/100 はい、yたちを具体的な式に展開して命題に書きました。 718 名前：１３２人目の素数さん [2024/03/12(火) 16:18:07.54 ID:wpIVsM5P.net] >>680 >∃になってるyたちを具体的な式に展開して命題に書かないとだめって言ってるの >∀x_1,…,x_100∈R^N.P(回答者が選んだ列iに対してxi[f(x1,...,x100,i)]=r(xi)[f(x1,...,x100,i)])=99/100 ありがとうございます スレ主です 当てられないに賛成なのです お気に召すかどうかは不明だが、ご一読ください ・例えば、「箱入り無数目」出題(下記)で 　列a=(a1,a2,・・・)なる実数の無限列を作った（a1,a2,・・・たちはすべて箱の中） ・その隣に、回答者が 　列b=(b1,b2,・・・)なる無限列を作った （当然列bは、列aとは何の関係もない） ・回答者は、列b=(b1,b2,・・・)を見て、決定番号dbを得る（決定番号は下記「箱入り無数目」に従う） 　回答者は、列aでdb+1番以降の箱を開けて、列aの代表raと決定番号daを得る （ra=(ra1,ra2,・・・)とする） 　回答者は、代表raのdb番目 すなわちradbが、出題列のdb番目 719 名前：adbと等しい すなわち ”adb＝radbだ！”と叫ぶ 　２列なので、da<dbの確率は1/2なので、確率1/2の的中が得られる さて、これでおかしなところは下記です ・列bは、回答者が出題と無関係に作った列なのに これはどうしたことか？ ・その列を使って、確率1/2の的中とはこれいかに？ ・同様に、99列作れば 確率99/100の的中ですし ・同様に、確率1-εの的中もあり やっぱり、デタラメさんでしょ 「箱入り無数目」 なので、”当てられない”！ですよね (参考)時枝記事>>1 https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 [] [ここ壊れてます] 720 名前：１３２人目の素数さん [2024/03/12(火) 16:18:14.56 ID:pMrLmsKB.net] まあこんな小難しい書き方しなくても 記事をちゃんと理解していれば、任意の実数列sに対してその決定番号を与える関数d(s)が存在することは理解できるはず 君が決定番号を式で書かないとダメと難癖つけたということは君は記事を理解していない証拠 721 名前：１３２人目の素数さん [2024/03/12(火) 16:36:43.29 ID:pMrLmsKB.net] >>682 >２列なので、da<dbの確率は1/2 はい、大間違い 正しくは　確率1でda≦db　または　確率1でda≧db 一方 da,dbのいずれかをランダム選択した方をx、他方をyと書くと、x≦yの確率は1/2 は正しい。 君全然分かってないね　何度も教えたはずなのに >確率1/2の的中が得られる これも大間違い なぜなら、的中するためには、2列のいずれかのランダム選択で列aが選択され、且つ、da≦db　である必要があるが、 da≦dbの確率は上記の通り不明だから結局的中確率も不明。 君ズタボロなんだけど　頭悪いにも限度ってものがあるよ 722 名前：１３２人目の素数さん [2024/03/12(火) 16:51:35.36 ID:pMrLmsKB.net] >da,dbのいずれかをランダム選択した方をx、他方をyと書くと、x≦yの確率は1/2 正確には da,dbのいずれかをランダム選択した方をx、他方をyと書くと、x≦yの確率は1/2以上 （da=dbの場合確率1でx≦yだから） 723 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 17:16:04.05 ID:upjnOnB4.net] >>681 だーかーらー そこに∃をつけるな意味が変わるだろ 724 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 17:20:37.69 ID:upjnOnB4.net] ∀x.∃y.p(x,y)と ∀x.p(x,f(x))では違うからちゃんと後者で書いて 725 名前：１３２人目の素数さん [2024/03/12(火) 17:26:43.30 ID:pMrLmsKB.net] >>687 どう違うと？ 726 名前：１３２人目の素数さん [2024/03/12(火) 17:31:32.60 ID:pMrLmsKB.net] >>687 関数の定義から∀x∈(fの定義域)に対してf(x)は必ず存在するけどその時 ∀x.p(x,f(x)) と ∀x.∃f(x).p(x,f(x)) とでどう違うと？ 727 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 17:36:52.61 ID:upjnOnB4.net] >>689 まず∃の後ろに変数以外を書くなよ 728 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 17:44:07.57 ID:upjnOnB4.net] >>689 ∀x∈ℕ.∃y∈ℕ.x<y と ∀x∈ℕ.x<x+1 だと後者の方が強い主張をしてるでしょ 箱入り無数目の定式化では関数の形も主張に必要なんだから後者の形で命題を書かないと 729 名前：１３２人目の素数さん [2024/03/12(火) 18:14:42.16 ID:pMrLmsKB.net] >>691 そんなことは聞いてない ∀x∈ℕ.x<x+1 と ∀x∈ℕ.∃(x+1).x<x+1 の違いを聞いている おまえは∃の後ろに変数以外を書くなと言ったが、x+1は変数ではないと？じゃ何？ 730 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 19:37:50.92 ID:upjnOnB4.net] >>692 ∃の後ろに変数じゃないものを書いてるのは君だろ、∃(x+1)ってなんだよ ふざけて書いてるだろ 731 名前：１３２人目の素数さん [2024/03/12(火) 19:38:47.26 ID:MuuApGTu.net] >>676 >>∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=99/100 >だからこれだとだめなんだって >この命題は正しいけど、 >この命題が成り立つから攻略法があるって主張はできない >∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=1 >だって証明できるんだから、 >上ので攻略法があるって主張できるんなら、 >こっちの命題からは必勝法があるって主張ができる なるほど >>680 >∃になってるyたちを具体的な式に展開して命題に書かないとだめって言ってるの >∀x_1,…,x_100∈R^N.P(回答者が選んだ列iに対してxi[f(x1,...,x100,i)]=r(xi)[f(x1,...,x100,i)])=99/100 >みたいになってりゃ別に文句言わねーよ なんだ、それでいいんなら書けるよ ∀x_1,…,x_100∈R^N. P(回答者が選んだ列xiに対して 　x_i[max(d(x_1),…,d(x_(i-1)),d(x_(i+i)),…,d(x_100))] =r(x_i)[max(d(x_1),…,d(x_(i-1)),d(x_(i+i)),…,d(x_100))])=99/100 なぜなら ∀x_1,…,x_100∈R^N.(d(x_i)<=max(d(x_1),…,d(x_(i-1)),d(x_(i+i)),…,d(x_100))でないx_iはたかだか1つ) だから 732 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 19:45:36.33 ID:ipHRQNQh.net] >>694 そうそうそんな風に書けば記事の主張と一致するんだよ 733 名前：１３２人目の素数さん [2024/03/12(火) 19:54:36.74 ID:MuuApGTu.net] >>682 >・例えば、「箱入り無数目」出題で >列a=(a1,a2,・・・)なる実数の無限列を作った >（a1,a2,・・・たちはすべて箱の中） うむ >その隣に、回答者が >列b=(b1,b2,・・・)なる無限列を作った >（当然列bは、列aとは何の関係もない） ダウト１！ 出題者が列を二つ作る 回答者は二つの列から一つ選ぶだけ なんでそれがわからない？ 🐎🦌なのか？🌲違いなのか？ ということで、出題者がa,b二列を 734 名前：つくり 回答者はa,bの中からaを選んだ、と言い換える １もアタマ切り替えろ、🐎🦌 >回答者は、列b=(b1,b2,・・・)を見て、決定番号dbを得る >（決定番号は下記「箱入り無数目」に従う） うむ >回答者は、列aでdb+1番以降の箱を開けて、列aの代表raと決定番号daを得る >（ra=(ra1,ra2,・・・)とする） ダウト２! 回答者は代表raは得られるが、 この段階では決定番号daは得られない （代表だけ分かればいいので決定番号は知る必要もないが） >回答者は、代表raのdb番目 すなわちradbが、出題列のdb番目adbと等しい すなわち ”adb＝radbだ！”と叫ぶ うむ >２列なので、da<dbの確率は1/2なので、確率1/2の的中が得られる 然り > さて、これでおかしなところは下記です > ・列bは、回答者が出題と無関係に作った列なのに これはどうしたことか？ はいダメこれダメ全然ダメ 出題者が２列つくる　回答者が別の列をつくるのではない なんでそんなことがわからない？　🌲違いなのか？ >その列を使って、確率1/2の的中とはこれいかに？ 出題者が２列つくり、回答者がどちらか選ぶ　 はずれはどちらか一方　だから確率1/2 >同様に、99列作れば 確率99/100の的中ですし >同様に、確率1-εの的中もあり 何度でも繰り返すが、回答者が99列作るのではない 出題者が100列作って、回答者が1列選ぶ はずれは1列のみ、だから当たる確率は1-1/100=99/100 出題者が何列作っても、はずれは1列しかない だから回答者が1列選んで当たる確率は1-1/n 1/nはいくらでも0に近づけられる [] [ここ壊れてます] 735 名前：１３２人目の素数さん [2024/03/12(火) 19:55:49.07 ID:MuuApGTu.net] >>695 >そうそうそんな風に書けば おまえが書けよ　この中卒ド素人 736 名前：１３２人目の素数さん [2024/03/12(火) 19:58:56.41 ID:MuuApGTu.net] １は「スマリヤンの錯覚」に陥ってますな the-apon.com/coffeedonuts/illusions-have-same-root.html 737 名前：１３２人目の素数さん [2024/03/12(火) 20:18:08.85 ID:MuuApGTu.net] ところで、100列の決定番号のうち最大の列は唯一、として モンティ・ホールもどきをやってみよう つまり、回答者が1列選んだ段階で司会者が残り99列のうち 決定番号が最大でない98列を箱も開けずに片付ける さて、回答者は残り1列と交換したほうが得か損か（ニヤニヤ） 738 名前：１３２人目の素数さん [2024/03/12(火) 20:28:34.77 ID:PJm9SO46.net] >>695 スレ主です 教育的ご指導 ご苦労さまです ようやくスタート地点ですか？ 論理式で書いて終わりならば 確率論不要です 例えば、リーマン予想を論理式で書いたとて それは、リーマン予想の証明ではありませんよね 739 名前：１３２人目の素数さん [2024/03/12(火) 20:32:55.96 ID:MuuApGTu.net] >>700 >ようやくスタート地点ですか？ １はスタートラインに立ててないけどね >論理式で書いて終わりならば確率論不要です 確率論学んでも、違う問題解いちゃ無意味 １は「スマリヤンの錯覚」に陥ってますな the-apon.com/coffeedonuts/illusions-have-same-root.html 740 名前：１３２人目の素数さん [2024/03/12(火) 20:33:10.80 ID:pMrLmsKB.net] >>700 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なんで黙殺しようとするんですか？ 741 名前：１３２人目の素数さん [2024/03/12(火) 20:36:47.14 ID:MuuApGTu.net] 1は「回答者が100列から1列選ぶ」という問題文が理解できず 「出題者が99列作ってシミュレーションする」と誤読する 独善的な🌲違いですからね 742 名前：１３２人目の素数さん [2024/03/12(火) 20:39:35.94 ID:MuuApGTu.net] 「出題者が99列作ってシミュレーション」という誤読の背景には 「出題列は確率変数でなければならない！」という独善的な思いこみがある 完全に狂っている　正常でない　異常そのもの 743 名前：１３２人目の素数さん [2024/03/12(火) 20:40:33.37 ID:MuuApGTu.net] >>703-704 誤　「出題者が99列作ってシミュレーションする」 正　「回答者が99列作ってシミュレーションする」 744 名前：１３２人目の素数さん [2024/03/12(火) 21:12:44.94 ID:PJm9SO46.net] >>682 補足 さて １）前記の決定番号の大小比較について 　試験の点数の場合と比較してみよう 　多数の答案から 2枚選び その点数をTa,Tbとして比較する 　試験の成績は、正規分布で平均点50点、標準偏差10点とする 　試験結果の最低0点、最高100点 ２）2枚の答案は裏向けで、点数は不明とする 　Ta>Tbの確率1/2 　逆に Ta<Tbの確率1/2 (同じ値の場合は頻度が小さいとして無視するとする) つづく 745 名前：１３２人目の素数さん [2024/03/12(火) 21:19:27.55 ID:PJm9SO46.net] つづき ３）いま、試験の点数の場合には 点数分布で全体の位置が分かる（下記） ４）ところが、決定番号は >>575に書いたが 上限がなく発散しているので 非正則分布を成す（下記） 　このような場合、ある列の決定番号dx＝mを得て 開けていない dyとmとの比較をすると 　dyは N（自然数)で全体を渡るので、dy<mは有限だが m<dyは無限 　強いて形式的に書けばP(m<dy)＝1 （∵m<dyの領域は無限） 　つまり、P(m<dy)≠1/2。「箱入り無数目」不成立！ ５）さらに、全体が発散しているので、P(dx=dy)＝1/2 が疑問になる 　つまり、全体が∞に発散しているとき、∞/∞ の不定形になり 　”P(dx=dy)＝1/2”は 単純には言えない！ つづく 746 名前：１３２人目の素数さん [2024/03/12(火) 21:20:49.40 ID:PJm9SO46.net] つづき (参考) https://ja.wikipedia.org/wiki/%E5%81%8F%E5%B7%AE%E5%80%A4 偏差値 (参考)>>7より https://ai-trend.jp/basic-study/bayes/improper_prior/ AVILEN Inc. 2020 2020/04/14 非正則事前分布とは？〜完全なる無情報事前分布〜 ライター：古澤嘉啓 https://en.wikipedia.org/wiki/Indeterminate_form Indeterminate form（不定形） 例 ∞/∞ (参考)時枝記事>>1より https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 (引用終り) 以上 747 名前：１３２人目の素数さん [2024/03/12(火) 22:13:41.38 ID:pMrLmsKB.net] >>693 答えになってない なぜxは変数でx+1は変数でないのか、変数でないなら何なのか？ 748 名前：１３２人目の素数さん [2024/03/12(火) 22:15:56.18 ID:pMrLmsKB.net] >>706 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 749 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 23:19:43.91 ID:G8Z10h33.net] >>709 お前がどうしてもx+1を変数だと言うなら ＞そんなことは聞いてない ＞∀x∈ℕ.x<x+1 ＞と ＞∀x∈ℕ.∃(x+1).x<x+1 ＞の違いを聞いている ＞おまえは∃の後ろに変数以外を書くなと言ったが、x+1は変数ではないと？じゃ何？ これの後者はα変換したら ∀x∈ℕ.∃y.x<y と同じだろ ∀x∈ℕ.x<x+1 とは明らかに違うだろ あと、お前はd/d(x+1)みたいに(x+1)で微分とか普段からしてんのかよ 750 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 23:22:14.52 ID:G8Z10h33.net] ＞∀x∈ℕ.∃(x+1).x<x+1 ていうか、こいつ相手にする必要ある？ ふざけてやってるとしか思えない 751 名前：１３２人目の素数さん [2024/03/12(火) 23:46:29.35 ID:pMrLmsKB.net] >>711 答えになってない おまえはxが変数でなぜx+1が変数でないのか答えてない おまえはx+1が何か答えてない おまえは ∀x∈ℕ.x<x+1 と ∀x∈ℕ.∃(x+1).x<x+1 が明らかに違うとしか言っておらずどう違うか答えてない 答えないくせになぜかまったく関係無い微分の話を持ち出している ていうか、こいつ相手にする必要ある？ ふざけてやってるとしか思えない 752 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 00:00:41.45 ID:ascKCvNK.net] >>713 別にお前がそれを変数のつもりで使ってるなら勝手にやっててくれていいから 753 名前：１３２人目の素数さん [2024/03/13(水) 00:04:11.91 ID:5iS9phMp.net] >>714 また逃げたｗ おまえ答えられなくなるといつも逃げるね 754 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 00:16:26.77 ID:ascKCvNK.net] >>715 別に勝手に使うぶんには構わないよ 好きにして 755 名前：１３２人目の素数さん [2024/03/13(水) 00:25:17.61 ID:5iS9phMp.net] >>716 答えられないってことは君の独善持論ってことだよね？ そんなの聞いてもしかたないので無理に出てこなくていいよ 756 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 00:32:31.50 ID:ascKCvNK.net] >>717 x+1を変数だと言うやつとは話しないから 757 名前：１３２人目の素数さん [2024/03/13(水) 00:37:03.59 ID:5iS9phMp.net] >>718 なぜ変数でないのか 変数じゃなきゃ何なのか 答えられないってことは君の独善持論ってことじゃん 758 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 00:50:39.26 ID:ascKCvNK.net] >>719 君の中では変数なんでしょ それで首尾一貫してれば好きにすればいいじゃん 759 名前：１３２人目の素数さん [2024/03/13(水) 00:58:49.14 ID:5iS9phMp.net] ちなみに https://web.sfc.keio.ac.jp/~hagino/logic16/07.pdf のP4には • 「もの」の集まり 　• 整数 　• 人間 • 「もの」の集まりを動く変数 　• 対象変数（object variable） 　• 𝑥, 𝑦, 𝑧, . . . と書かれてる xが「もの」の集まりである自然数を動く変数であるなら xの後者であるx+1もやはり自然数を動くので変数の 760 名前：定義を満たす 頑なに変数でないと言い張る人もいるようだけどどうやら独善持論のようですね [] [ここ壊れてます] 761 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 01:13:49.25 ID:ascKCvNK.net] >>721 自分で調べて解決したならそれでいいじゃん 好きにして 762 名前：１３２人目の素数さん [2024/03/13(水) 01:21:16.03 ID:5iS9phMp.net] ものの集まりとはつまり集合のことだし ものの集まりを動く変数とはつまり集合の不定元のことだね ∀x∈N.(xは不定) ⇒ x+1∈N ∧ (x+1は不定) であるから変数の定義に従い xはNを動く変数 ⇒ x+1はNを動く変数 が成立 >>720 君の中では非変数なんでしょ それで首尾一貫してれば好きにすればいいじゃん 763 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 01:27:59.96 ID:ascKCvNK.net] >>723 そうだねx+1は変数だね すごいすごい 764 名前：１３２人目の素数さん [2024/03/13(水) 01:34:59.38 ID:5iS9phMp.net] >>724 あれ？認めちゃったんだｗ じゃあ ∀x∈ℕ.∃(x+1).x<x+1 はOKってことね？∃の後ろは変数なんでしょ？ すると ∀x∈ℕ.x<x+1 と ∀x∈ℕ.∃(x+1).x<x+1 の違いは何だと言ってるの？ 765 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 01:41:23.20 ID:ascKCvNK.net] >>725 変な論理式書くやつにはどうせわからん 766 名前：１３２人目の素数さん [2024/03/13(水) 01:43:02.61 ID:5iS9phMp.net] >>726 変とは？ また独善持論ですか？ 767 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 01:51:52.05 ID:ascKCvNK.net] >>727 xが変数だからx+1も変数とかいいだす人間に記号論理学ができるわけないだろ 家庭教師でも雇って教えてもらえ 768 名前：１３２人目の素数さん [2024/03/13(水) 02:07:50.38 ID:5iS9phMp.net] >>728 あれ？認めたんじゃなかったの？ｗ じゃあ>>723のどこに欠陥があるのか具体的にどうぞ 769 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 02:12:43.16 ID:ascKCvNK.net] >>729 君が問題ないと思ってるならそれでいいじゃん 全く住んでる星が違うんだから好きにやっていいよ 770 名前：１３２人目の素数さん [2024/03/13(水) 02:41:05.48 ID:5iS9phMp.net] >>730 はい、また逃げたｗ 771 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 03:28:16.22 ID:ascKCvNK.net] >>731 勝手に数学もどきでもやってろ 772 名前：１３２人目の素数さん [2024/03/13(水) 05:45:56.61 ID:in9dXeLi.net] >>707 >　dyは N（自然数)で全体を渡るので、dy<mは有限だが m<dyは無限 >　強いて形式的に書けばP(m<dy)＝1 （∵m<dyの領域は無限） はい、誤り P(m<dy)＝１　とはいえません >つまり、P(m<dy)≠1/2。「箱入り無数目」不成立！ dy∈[1,n]の場合も　一般にP(m<dy)は1/2ではない 問題はdx,dy∈[1,∞)に対して、P(dx<dy)=1/2か、ということ そして、キミのいう非正則分布では、それは導けない （注：そうならない、という意味ではない） １は「スマリヤンの錯覚」に陥ってますな the-apon.com/coffeedonuts/illusions-have-same-root.html 773 名前：１３２人目の素数さん [2024/03/13(水) 05:52:37.60 ID:in9dXeLi.net] >>733 一般に d_1 , … , d_n ∈ [1,∞) に対して P( max( d_1 , … , d_(n-1) ) < d_n )=1/n　か？ d_1 , … , d_n ∈ [1,m) で、みな一様分布かつ相互に独立ならそうなるが 774 名前：１３２人目の素数さん [2024/03/13(水) 06:48:56.74 ID:in9dXeLi.net] >∀x∈ℕ.∃(x+1).x<x+1 >はOKってことね？ わざわざ∃(x+1).とつける必要はないけどね 775 名前：１３２人目の素数さん [2024/03/13(水) 08:19:23.89 ID:5iS9phMp.net] >>735 はい、ペアノの公理を前提とするなら ∀x∈N ⇒ x+1:=s(x)∈N なので、∃(x+1).と付ける必要無しは同意です。 但し付けても間違いではなく、付けない式 ∀x∈ℕ.x<x+1 と比較して意味が変わる訳でもないと思ってますが如何でしょう。 776 名前：１３２人目の素数さん [2024/03/13(水) 12:23:46.26 ID:NwNjK2/r.net] >>736 >∃(x+1).と付ける必要無しは同意です。 >但し付けても間違いではなく、付けない式 ∀x∈ℕ.x<x+1 と比較して意味が変わる訳でもないと思ってますが如何でしょう。 ・論理式なんだから 　不要ならつけないのが本当と思うよ ・例えば、数式で x^2+1 と書くとき 　x^2 -x+x +1 と書いて、意味は x^2+1 というがごとし 　”-x+x”の部分は、簡約できるなら書かないのが普通だろう？（中学数学ならバツではないが、減点される。大人ならアホかと言われる） 777 名前：１３２人目の素数さん [2024/03/13(水) 14:12:36.74 ID:NwNjK2/r.net] >>733 >１は「スマリヤンの錯覚」に陥ってますな それ面白いね 「スマリヤンの錯覚」は、下記の”この二つを区別できない心理を私は スマリヤンの錯覚 と呼んでいます” で、下記著者の造語ですね the-apon.com/coffeedonuts/smulyan-two-envelope.html モンティ・ホール問題好きのホームページ2015/01/11 スマリヤンの二つの文のパラドックス スマリヤンのパズル本に出てくる二つの封筒問題を題材とした二つの文 (あるいは二つの命題) とその証明が新たなパラドックスを醸し出しています。 スマリヤンの二つの文 Smullyan, Raymond (1992). の翻訳本や Smullyan, R.: 1997, の翻訳本に書かれているスマリヤンの二つの文とは、次のようなものです。 文1と文2 ・文1 封筒を交換して増額する場合の増額は封筒を交換して半減する場合の減額を上回る。 ・文2 それらの金額（増額と減額）は等しい。 文1の証明 交換前の金額を x とすると、封筒を交換して増額する場合の増額は x で、 封筒を交換して半減する場合の減額は x/2 なので、文1 が成り立つ。 文2の証明 二つの封筒の金額の差を d とすると、封筒を交換して増額する場合の増額は d で、 封筒を交換して半減する場合の減額も d なので、文2 が成り立つ。 命題2の証明で封筒の金額の差に着目しているのは、うまいトリックです。差が決まれば金額の組み合わせも決まってしまうことをうまく隠しています。 スマリヤンの二つの文のパラドックス 次のような矛盾を感じる錯覚現象がスマリヤンの二つの文のパラドックスです。 ・スマリヤンの二つの文はどちらも正しい。 ・スマリヤンの二つの文は両立しない。 スマリヤンのパラドックスの解明 スマリヤンの二つの文が両立することがあることは具体例を考えると一発でわかります。 千円札1枚の封筒と千円札2枚の封筒の組み合わせと、 千円札2枚の封筒と千円札4枚の封筒の組み合わせがあるときに、 封筒を一つ選んだときのことを考える。 ← 2015/01/11 に訂正 選んだ封筒の金額を特定した場合 選んだ封筒が 2千円だったとする。 封筒を交換して半減したら千円の損で得したら 2千円の得で得の方が大きい。 二つの封筒の金額の組み合わせを特定した場合 選んだ封筒の一方は千円で他方が 2千円だったとする。 選んだ封筒が 2千円だったら交換して千円損し、選んだ封筒が千円だったら交換して千円得するので損と得は等しい。 次の点がポイントです。 ・文1 の場合、選んだ封筒の金額を特定して、その範囲に絞って場合分けを考えている。 ・文2 の場合、二つの封筒の金額の組み合わせを特定して、その範囲に絞って場合分けを考えている。 この二つを区別できない心理を私は スマリヤンの錯覚 と呼んでいます。 778 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 17:26:19.99 ID:ascKCvNK.net] ∃x+1.は普通は構文エラーだろ、なくてもいいとかそういう次元じゃない x+1が変数だというなら、他の人が読めるようにα変換して普通の変数で書き直せよ 779 名前：１３２人目の素数さん [2024/03/13(水) 17:36:44.52 ID:5iS9phMp.net] 君x+1が変数でないことを示せなかったじゃん 780 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 17:54:49.02 ID:ascKCvNK.net] お前が変数だと主張するなら勝手にすればいいよ x+1が変数ではないってのは一般常識の話なんだから 数学では普通は変数はアルファベット一文字が常識で、たまに長い単語を使うことがあるし、君はその延長でx+1も変数に入れたかったんだろ勝手にしろよ 781 名前：１３２人目の素数さん [2024/03/13(水) 18:10:43.89 ID:5iS9phMp.net] じゃ黙ってろよｗ 782 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 18:13:15.13 ID:ascKCvNK.net] x+1が仮に変数だとして ＞∀x∈ℕ.∃(x+1).x<x+1 これをα変換したら ∀x∈ℕ.∃y.x<x+1 なのか ∀x∈ℕ.∃y.x<y なのかすら不明瞭な状態で ＞すると ＞∀x∈ℕ.x<x+1 ＞と ＞∀x∈ℕ.∃(x+1).x<x+1 ＞の違いは何だと言ってるの？ こんなのに答えろっていうのが馬鹿げてる 783 名前：１３２人目の素数さん [2024/03/13(水) 18:50:41.96 ID:5iS9phMp.net] >x+1が仮に変数だとして 仮とは？　変数か変数でないかどちらか　君は変数であるとの主張に反論できなかった >＞∀x∈ℕ.∃(x+1).x<x+1 >これをα変換したら >∀x∈ℕ.∃y.x<x+1 >なのか >∀x∈ℕ.∃y.x<y >なのかすら不明瞭な状態で じゃα変換しなきゃいいじゃん 784 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 19:09:26.68 ID:ascKCvNK.net] >>744 α変換しないと最後のx+1が変数なのかxに1を足したのかどっちなのか曖昧だろ どっちとも取れる状態で質問しないでくれますか？ 785 名前：１３２人目の素数さん [2024/03/13(水) 19:22:12.59 ID:in9dXeLi.net] >>736 何か付けるなら ∃+:N✕N→N.∀x∈ℕ.x<x+1 だろうな 786 名前：１３２人目の素数さん [2024/03/13(水) 19:26:22.14 ID:in9dXeLi.net] >>738 >>　１は「スマリヤンの錯覚」に陥ってますな >それ面白いね わかりもせずに「面白いね」と脊髄反射で言う奴、いるよね >「スマリヤンの錯覚」は、下記著者の造語ですね だから？ なんかリコウぶってつまんないこという奴、いるよね 787 名前：１３２人目の素数さん [2024/03/14(木) 00:16:18.46 ID:Wqp8i7yx.net] >>747 アホがしゃしゃり出るねｗ １）「スマリヤンの錯覚」の定義は？ 　それを明確にしたのが>>738だぞ ２）もう一人のアホが『「スマリヤンの錯覚」に陥ってますな』 　� 788 名前：ﾆ宣うから、「スマリヤンの錯覚」が一般化されていると思ったのだが 　あに図らんや 単にブログの筆者の造語じゃないかよｗｗ リコウぶってるのは、おまえだ！ ・定義の確認しないで、議論するやつが数学科出身だって？　わらかすな ・用語を勝手に使って議論する？ どこかの大学の教授が造語するならともかく 　チンピラがうれしがってワケワカ用語で議論して何になるんだ？ｗ [] [ここ壊れてます] 789 名前：１３２人目の素数さん mailto:sage [2024/03/14(木) 03:06:10.51 ID:Wz/uoV5i.net] 結局これは書いてる本人でもどっちなのか分からない状態で書いてたってことと理解したんでいいんかね？ x+1が仮に変数だとして ＞∀x∈ℕ.∃(x+1).x<x+1 これをα変換したら ∀x∈ℕ.∃y.x<x+1 なのか ∀x∈ℕ.∃y.x<y なのかすら不明瞭 790 名前：１３２人目の素数さん [2024/03/14(木) 05:37:52.63 ID:bNpw3CSv.net] >>748 🐎🦌、怒り●う >・・・の定義は？ 🐎🦌は知らん言葉を聞くと脊髄反射で「定義は？」と絶叫 そもそもリンク貼ってあったんだから、そこに書いてあるって悟れよ >『・・・に陥ってますな』と宣うから、 >・・・が一般化されていると思ったのだが 🐎🦌はなんでも勝手に思い込む　完全な🌲違いですな >定義の確認しないで、議論するやつが数学科出身だって？　わらかすな >用語を勝手に使って議論する？ どこかの大学の教授が造語するならともかく >チンピラがうれしがってワケワカ用語で議論して何になるんだ？ 🐎🦌は中身がなにか分かってないものが確率変数、とか身勝手定義をでっち上げる ま、大学入試に四度落ちて諦めた数学ド素人じゃしゃあない 関数のリーマン積分可能条件も、線形写像の正則性の条件も知らん 数学界ではまったくの”土人”だな　ど・じ・ん 791 名前：１３２人目の素数さん [2024/03/14(木) 10:31:39.93 ID:IoTgOBI5.net] >>750 >>・・・の定義は？ >知らん言葉を聞くと脊髄反射で「定義は？」と絶叫 >そもそもリンク貼ってあったんだから、そこに書いてあるって悟れよ 影山 利郎氏の著書「素人と玄人」（下記）に ”プロ（玄人）は基本が身についている”みたいな教えが書いてあった 『知らん言葉を聞くと脊髄反射で「定義は？」と絶叫』は 数学やるなら普通だろ？ｗ >>『・・・に陥ってますな』と宣うから、 >>・・・が一般化されていると思ったのだが >なんでも勝手に思い込む　完全な🌲違いですな 定義なしで、「スマリヤンの錯覚」と出してきた 普通は一般化された学術用語（例えば「数学辞典」に載っているなど） と思うだろうよ なんのために学術用語が決められているのか、分かってないんか 数学の基本が身についていない ど素人だな (参考) https://ja.wikipedia.org/wiki/%E5%BD%B1%E5%B1%B1%E5%88%A9%E9%83%8E 影山 利郎（かじやま としろう、1926年6月21日 - 1990年7月31日）は、日本の囲碁棋士である。静岡県出身[1][2]。 師匠 安永一 概要 1926年（大正15年）6月21日、静岡県に生まれる。16歳になった1942年（昭和17年）から囲碁を習い始め、1948年（昭和23年）の全日本素人本因坊戦で優勝し、翌年の秋にプロ入り（初段）を果たした[1][2]。 執筆家としての側面も持ち、多数の著書がある[2]。 主な書籍 影山利郎 (2013年). 素人と玄人: 徹底分析、これだけ違う両者の視点. 日本棋院. ISBN 9784818206113 1971年初版の本の再刊 792 名前：１３２人目の素数さん [2024/03/14(木) 10:39:44.18 ID:mL8LcQVb.net] >>751 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 793 名前：１３２人目の素数さん [2024/03/14(木) 19:11:58.15 ID:bNpw3CSv.net] >>751 なんか🌲違いがぐだぐだ喚いてるが肝心のページの文章読んだか？ the-apon.com/coffeedonuts/illusions-have-same-root.html 金額だけ見た場合、それは少額のほうかもしれんし高額のほうかもしれん しかしそれぞれの確率が1/2ずつだと決めつける理由はなにもない 2つの封筒から1つを選んでそれが少額が高額か、の確率とは全く違う 違うものを同じと妄想するのが「スマリヤンの錯覚」 794 名前：１３２人目の素数さん mailto:sage [2024/03/14(木) 23:40:23.51 ID:mKpj542N.net] 結局これはどっちなんや？ x+1が仮に変数だとして ＞∀x∈ℕ.∃(x+1).x<x+1 これをα変換したら ∀x∈ℕ.∃y.x<x+1 なのか ∀x∈ℕ.∃y.x<y なのかすら不明瞭 795 名前：１３２人目の素数さん [2024/03/15 ] [ここ壊れてます] 796 名前：(金) 05:51:24.65 ID:ATM0vb6x.net mailto: >>754 自分でα変換いうてるやん 定義しってんなら ∀x∈ℕ.∃(x+1).x<x+1　が ∀x∈ℕ.∃y.x<y　になるしかないやん [] [ここ壊れてます] 797 名前：１３２人目の素数さん [2024/03/15(金) 05:55:10.72 ID:ATM0vb6x.net] >>753 （２つの封筒で） >金額だけ見た場合、それは少額のほうかもしれんし高額のほうかもしれん >しかしそれぞれの確率が1/2ずつだと決めつける理由はなにもない >2つの封筒から1つを選んでそれが少額が高額か、の確率とは全く違う モンティ・ホールも同じ ３つのドアのうち１つしかない賞品のドアを選ぶ確率と １つ１つのドアの後ろに賞品がある確率は同じではない 違うものを同じと妄想するのが「スマリヤンの錯覚」 798 名前：１３２人目の素数さん [2024/03/15(金) 07:42:24.54 ID:xEd6gXjp.net] 箱入り無数目も同じ 100個の箱のうち１つしかないハズレの箱を選ぶ確率と １つ１つの箱がハズレである確率は同じではない 違うものを同じと妄想するのが「スマリヤンの錯覚」 799 名前：１３２人目の素数さん [2024/03/15(金) 07:57:44.82 ID:sYXmV0f/.net] >>756 >違うものを同じと妄想するのが「スマリヤンの錯覚」 君のは、全然説明になってないと思うよ ；ｐ） 下記の 彼の”私の造語”「スマリヤンの錯覚」の説明 『封筒を交換したらどうなるかを考えるときに、選んだ封筒の金額を条件として考えるやり方と、二つの封筒の金額の組み合わせを条件として考えるやり方が、同じ問題を考えているという錯覚です』 を読んで意味分かるか？ 他人に分かる用語解説になってないと思うよ 錯覚だから、何かの”思い違い 勘違い”なのは当然だが（下記） たぶん、これは 人の推論の一般のやり方と、二つの封筒問題やモンティ・ホール問題での正解とが、ちょっと違うんだろう ”人の推論の一般のやり方”を、まず解説しないと、「錯覚」の説明にならないと思うよ (参考) the-apon.com/coffeedonuts/illusions-have-same-root.html モンティ・ホール問題好きのホームページ 二つの封筒問題の錯覚とスマリヤンの錯覚の源は一つか 2014/03/23 用語解説 スマリヤンの錯覚 私の造語です。 封筒を交換したらどうなるかを考えるときに、選んだ封筒の金額を条件として考えるやり方と、二つの封筒の金額の組み合わせを条件として考えるやり方が、同じ問題を考えているという錯覚です。 この錯覚に罹った人は、二封筒問題のおまじないの王様を唱えたり、スマリヤンの二つの文のパラドックスに罹ったりします。 https://ja.wiktionary.org/wiki/%E9%8C%AF%E8%A6%9A#:~:text=%E5%90%8D%E8%A9%9E&text=(%E5%BF%83%E7%90%86%E5%AD%A6)%20%E3%81%82%E3%82%8B%E7%89%A9%E3%81%AB%E5%AF%BE%E3%81%99%E3%82%8B,%E5%8B%98%E9%81%95%E3%81%84%E3%80%82 錯 覚（さっかく） 1.(心理学) ある物に対する知覚が実際の物と異なること。 2.思い違い。勘違い。 https://ja.wikipedia.org/wiki/%E9%8C%AF%E8%A6%9A 錯覚 心理学でいう錯覚とは、間違いや誤りの類いでは無い。注意深く観察しても、予備知識があっても生じてしまう、人間の感覚・知覚特性によって作り出される現象を指す[1]。 錯覚の種類 錯覚はその原因により大きく4つに分けることができる。 ・不注意性錯覚 　対象物への注意が不十分のために起こる錯覚。見間違い、聞き違い、人違いなど、われわれが日常経験する多くの間違いを含んでいる。 ・感動錯覚 　暗くて怖い場所を歩いていると、物の影が人影に見えたり、何でもない物音を人の気配に感じることがある。恐怖や期待などの心理状態が知覚に影響を与えるものである。 ・パレイドリア 　雲の形が顔に見えたり、しみの形が動物や虫に見えたりと、不定形の対象物が違ったものに見える現象に代表される。対象物が雲やしみであることは理解しており、顔や動物ではないという批判力も保っているが、一度そう感じるとなかなかその知覚から逃れられない。熱性疾患の時にも現れやすい。 ・生理的錯覚 　数多く知られている幾何学的錯視や、音階が無限に上昇・下降を続けるように聞こえるシェパード・トーンなどのように、対象がある一定の配置や状態にあると起こる錯覚。誰にでもほぼ等しく起こる。 800 名前：１３２人目の素数さん [2024/03/15(金) 08:10:17.15 ID:sYXmV0f/.net] 時枝の錯覚も、同様に説明� 801 名前：ﾅきる １）人は、二つの決定番号 daとdb で、確率 P（da>db）=1/2 と思ってしまう ２）ところが、決定番号 daとdbは、自然数N全体を渡り、自然数N全体は無限集合だから 　∞/∞ の不定形になり、確率計算 1/2 は正当化できない こういうことでしょうね ；ｐ） [] [ここ壊れてます] 802 名前：１３２人目の素数さん [2024/03/15(金) 08:55:09.63 ID:8QDMDRfQ.net] 日本棋院アーカイブの続刊が楽しみ 803 名前：１３２人目の素数さん [2024/03/15(金) 09:01:01.85 ID:xEd6gXjp.net] >>759 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 804 名前：１３２人目の素数さん [2024/03/15(金) 10:02:56.06 ID:tFlszaLY.net] >>755 >>>754 >自分でα変換いうてるやん >定義しってんなら >∀x∈ℕ.∃(x+1).x<x+1　が >∀x∈ℕ.∃y.x<y　になるしかないやん またまた ずさんなことを言うｗ ∀x∈ℕ.∃(x+1).x<x+1 　↓ ∀x∈ℕ.∃y.x<y にするためには、y=x+1と定義しないと。その定義が必要でしょ？ 一般に ・∀x∈ℕ.∃(x+1).x<x+1 ・∀x∈ℕ.∃y.x<y この二つの式は意味違うし、そもそも”∃y∈ℕ”とかも要りそうに思うけど まあ、ともかくあんたの思考は、ずさんそのものだね　；ｐ） (参考)（α-変換） https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97 ラムダ計算 ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。 歴史 元々チャーチは、数学の基礎となり得るような完全な形式体系を構築しようとしていた。彼の体系がラッセルのパラドックスの類型に影響を受けやすい（例えば論理記号として含意 → を含むなら、λx.(x→α) にYコンビネータを適用してカリーのパラドックスを再現できる）ということが判明した際に、彼はそこからラムダ計算を分離し、計算可能性理論の研究のために用い始めた。この研究からチャーチは一階述語論理の決定可能性問題を否定的に解くことに成功した。 α-変換 アルファ変換の基本的なアイデアは、束縛変数の名前は重要ではない、ということにある。例えば、 λx. x と λy. y は同じ関数を表している。 しかし、ことはそう単純ではない。 ある束縛変数の名前を置換してもよいかどうかには、いくつかの規則が絡んでくる。例えば、ラムダ式 λx. λy. x 中の変数 x を y に置き換えると、 λy. λy. y となるが、これは最初の式とはまったく異なるものを表すことになる。 805 名前：１３２人目の素数さん [2024/03/15(金) 10:40:46.74 ID:tFlszaLY.net] ご参考 α-変換 ラムダ計算 https://scrapbox.io/mrsekut-p/%CE%B1%E5%A4%89%E6%8F%9B α変換 scrapbox mrsekut-p [/ alpha-conversion] [$ \lambda x.x]と[$ \lambda z.z]は同じだよね、 このような変換のことを[$ \alpha]変換という つまり、[束縛変数]を別のものに入れ替えて全く同じ意味のラムダ抽象を作成する操作 名前の衝突を回避するときに使う [$ \lambda x.(y\lambda y.yx)]のように、同じ`y`でも、[自由変数]と[束縛変数]が混在していて読みづらい α変換を施し、別の文字を使った同値の式にする 例えば[$ \lambda x.(y\lambda z.zx)] このとき[$ \lambda x.(z\lambda y.yx)]のように自由変数の方を置き換えない。 α変換では[* 束縛変数の方を置き換える] この状態のことを「[変数条件]を満たす」と呼ぶ 定義 略す https://web.sfc.keio.ac.jp/~hagino/mi 806 名前：15/07-ppt.pdf 情報数学第7回ラムダ計算 萩野達也 慶應義塾大学環境情報学部2015/11/10 Ｐ７ α変換と代入 略す [] [ここ壊れてます] 807 名前：１３２人目の素数さん [2024/03/15(金) 18:13:58.84 ID:ATM0vb6x.net] >>762 >・∀x∈ℕ.∃(x+1).x<x+1 >・∀x∈ℕ.∃y.x<y >この二つの式は意味違うし 意味違うとわめく根拠は、後者のｙは例えばx+2でもいいとか、そういうことかい？ じゃ、以下は同じ意味かい ∀x ∈ ℕ. x<x+1∧∀z ∈ ℕ. x<z ⇒ x+1<=z ∀x ∈ ℕ. ∃y ∈ ℕ. x<y∧∀z ∈ ℕ. x<z ⇒ y<=z 808 名前：１３２人目の素数さん mailto:sage [2024/03/15(金) 18:23:14.68 ID:Elhq9FcO.net] >>755 x+1が変数だと主張する異常な論理式相手してるんだから、どっちともとれるやろ 完全に常識の範囲外のことやってるんだから 809 名前：１３２人目の素数さん [2024/03/15(金) 19:52:49.15 ID:ATM0vb6x.net] α変換と言い切った瞬間に∀x∈ℕ.∃y.x<yにきまる それ以外はα変換でない

---

---

[ 続きを読む ] / [ 携帯版 ]

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