[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論2 (1002ﾚｽ)

現代数学の系譜　カントル　超限集合論2 http://rio2016.5ch.net/test/read.cgi/math/1576852086/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

870: CIA [] 2020/04/03(金) 16:19:12.38 ID:2nZLtvFr >>869 http://rio2016.5ch.net/test/read.cgi/math/1582883006/597 ＞”数学の真の目的って何”という問いは、数学の中には答えが無い ＞∵ ゲーデルの不完全性定理による。 ＞つまり、数学の中では ”数学とはxx”と定義することができない ゲーデルの不完全性定理の濫用の典型例 数学の定義がなされていないのは、ゲーデルの不完全性定理とは無関係 http://rio2016.5ch.net/test/read.cgi/math/1576852086/870

871: CIA [] 2020/04/03(金) 16:48:26.20 ID:2nZLtvFr http://rio2016.5ch.net/test/read.cgi/math/1582599485/97 草房誠二郎 ( くさふさ・せいじろう ) 1950 年生まれ . 宇都宮大学大学院工学研究科修了 . 専門分野 : コンピュータ科学・離散数学、航空宇宙、 ソフトウェア科学会正会員 . 大学講師、コンピュー タ会社勤務を経て米国でコンサルティング会社起業 . 海外事業開拓支援、ジェトロ専門家 . 世界各国で講演活動多数. リタイヤ後つくばエキスポセンタでボ ランティアインストラクター. 2014 年よりつくば市産業コーディネーター. 最近の著書 : 離散数学パズル - ビリアードの定理 - ISBN978-4-990532383 http://www.expocenter.or.jp/?post_type=event&p=25381 http://rio2016.5ch.net/test/read.cgi/math/1576852086/871

872: CIA [] 2020/04/03(金) 16:57:43.69 ID:2nZLtvFr >>848の提案に対してID:h8W4tjFC氏はいまだコメントしていない スレッドを立てられない可能性がある http://rio2016.5ch.net/test/read.cgi/math/1576852086/872

873: １３２人目の素数さん [sage] 2020/04/06(月) 02:42:33.89 ID:SZuKZByO 過去スレ遡ってたら10年近く前からやってたのね 10年続けられるってスゲーと思う http://rio2016.5ch.net/test/read.cgi/math/1576852086/873

874: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/04/06(月) 07:25:47.55 ID:n8nAmtxW >>872 妄想おつｗ 可能性ないよｗｗ >>873 ありがとう 2012年からだから、まだ10年経ってないな 下記の”12年振り”さんには負けるけどね（＾＾； （参考） 0.99999……は１ではない　その７ https://rio2016.5ch.net/test/read.cgi/math/1584625377/169 169 名前：酒浸り[sage] 投稿日：2020/03/20(金) 19:17:00.71 ID:m4j018eI [10/11] 12年振りの0.999…を語るスレ住人の俺が新興同題スレに来たら人が訳分からなかったので覚書 http://rio2016.5ch.net/test/read.cgi/math/1576852086/874

875: annihilator [] 2020/04/06(月) 07:49:59.04 ID:miwYJJQx なんだまた戻ってきたのか？ IUTスレッドで匿名ではしゃいでればいいものを http://rio2016.5ch.net/test/read.cgi/math/1576852086/875

876: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/06(月) 10:43:43.17 ID:Vi++uUTK ありがとう しばらくIUT祭りだな コテも状況を見て付けるかも（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1576852086/876

877: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/06/07(日) 18:18:02.37 ID:Q0Rzcycw ＜転載＞ Inter-universal geometry と ABC予想 (応援スレ) 47 https://rio2016.5ch.net/test/read.cgi/math/1590418250/583 583 自分：現代数学の系譜 雑談 ◆yH25M02vWFhP [] 投稿日：2020/06/06(土) 09:46:06.53 ID:SrYikU2t [5/10] (参考：>>370より) 現代数学の系譜 工学物理雑談 古典ガロア理論も読む80 https://rio2016.5ch.net/test/read.cgi/math/1578091012/50-51 (抜粋) 時枝問題（数学セミナー201511月号の記事） １．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 (引用終り) ＜証明＞ 勝つ戦略はありません！ 一目ですｗ（＾＾； QED！！ http://rio2016.5ch.net/test/read.cgi/math/1576852086/877

878: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/06/07(日) 18:18:35.27 ID:Q0Rzcycw >>877 613 自分返信：現代数学の系譜 雑談 ◆yH25M02vWFhP [] 投稿日：2020/06/06(土) 19:23:27.44 ID:SrYikU2t [9/10] >>583 じゃ、もう一言ｗ 「反例の存在証明」 ＜まず確認＞ １．箱への数の入れ方は、「どんな実数を入れるかはまったく自由」である ２．したがって、”独立同分布である i.i.d. IID”（下記）で、箱に数を入れることは可能 ３．時枝記事の”勝つ戦略”なるものは 　「ある1つの箱を残して、他の箱を全て開けることを許せば、 　その1つの箱の実数を 確率99％（あるいは確率1-ε（εは任意に小さく取れる））で的中できる」 　ということだった ＜反例証明＞ １．”独立同分布 i.i.d. IID”で、箱に数を入れるとする 　（可算無限個の確率変数を扱うことは、大学レベルの確率論＆確率過程論の射程内である） ２．IIDとして、サイコロで箱に数を入れれば、的中確率は1/6である 　どの箱も例外無し。どの1つの箱も 確率99％にならないので、反例となる ３．区間[0,1]の一様分布から、任意の実数を選んで IIDで 数を入れる 　ルベーグ測度では区間[0,1]の１点ｒ( 0 =< r =< 1 ) の測度は0（∵零集合）で、的中確率0 　これも、反例となる QED （補足：”独立”だから、問題の箱以外を開けても、問題の箱の確率には 何ら影響しない。サイコロなら1/6、区間[0,1]の一様分布内の１点ｒなら的中確率0） ｗ（＾＾； この「反例証明」が分からないのは、小学生レベルの”数学落ちこぼれ”ｗｗ （参考） https://www.practmath.com/iid/ 実用的な数学を 2019年6月20日 投稿者: TAKAN 独立同分布である i.i.d. IID (抜粋) || 同じ分布のデータは互いに不干渉だよ これは「確率変数を別々に扱えるよ」という『仮定』です。 これが仮定されていると、非常に計算がしやすくなります。 相関を考えなくて良いので、共分散などを使う必要がありません。 なにせ条件付き確率の発想から分かる通り、独立性は特別なものです。 といっても、そうそうおかしなことにはならないわけですけど。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1576852086/878

879: １３２人目の素数さん [sage] 2020/06/08(月) 16:34:14.72 ID:ZNiOPlY2 >>877 誤　勝つ戦略はありません！ 正　勝つ戦略が理解できません！ 選択公理が分んない人には無理だな http://rio2016.5ch.net/test/read.cgi/math/1576852086/879

880: １３２人目の素数さん [sage] 2020/06/08(月) 16:41:00.36 ID:ZNiOPlY2 >>878 （反例の非存在の証明） 「箱入り無数目」記事に従って、１００列それぞれから１箱を選ぶ このうち、代表元と一致しない箱はたかだか１箱である なぜなら、自列の決定番号ｄが他の列の決定番号の最大値Dより 大きくなる列はたかだか１列しか存在しないからである もしｄ＞Dとなる列が2列以上あるとすると ｄｉ＞ｄｊ　かつ　ｄｊ＞ｄｉとなる 自然数ｄｉ，ｄｊが存在することになるが これは自然数の全体が全順序集合であることと矛盾する 馬鹿は、自然数が全順序集合でないといいたいようだｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/880

881: １３２人目の素数さん [] 2020/06/08(月) 22:45:15.38 ID:Qt2Gn2hJ 時枝戦略を否定する瀬田は a>b かつ a<b を満たす自然数 a, b を示さなければならない http://rio2016.5ch.net/test/read.cgi/math/1576852086/881

882: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/06/09(火) 07:44:48.53 ID:mV3b+2le 大学教程の確率論・確率過程論の単位を取れなかった バカなおサルが騒いでいる もっと、確率論・確率過程論を勉強してみな おれが正しいことが分かるからｗ（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1576852086/882

883: １３２人目の素数さん [] 2020/06/09(火) 09:06:05.46 ID:M7AMQsff >>882 いやいや、あんた、確率論も確率過程論も全く知らんでしょ 順序の公理、確認しなって あんたが間違ってることが分かるから あんた大学１年の４月でザセツしたまんまなんだよ −−− ちなみにT大数学科だと、 確率論は３年 確率過程論は４年〜大学院修士 工学部？知らんよ　そんな専門学校に行ったことないから 確率統計学Ｉ（数学科3年） 内容：確率論の基礎 確率統計学II（数学科4年）・数理統計学（大学院）： 統計推測の漸近理論について講義する。 推定量の一致性、漸近正規性、尤度比検定、多項分布の検定、モデル選択のための情報量規準を解説する。 確率統計学?（数学科4年）・確率過程論（大学院）： 確率過程、特にその重要なクラスであるマルチンゲールについて講義する。 主に離散時間の場合を論ずるが連続時間マルチンゲールにも簡単に触れ、 ブラウン運動などについても解説する。 確率統計学XA（数学科4年）・確率解析学（大学院）： 「確率過程論」に引き続き、確率積分、確率微分方程式、伊藤の公式などについての講義を行う。 http://rio2016.5ch.net/test/read.cgi/math/1576852086/883

884: １３２人目の素数さん [] 2020/06/09(火) 09:16:59.02 ID:M7AMQsff Pは集合、≦をP上で定義された二項関係とする。 反射律：P の任意の元 a に対し、a≦a が成り立つ。 推移律：P の任意の元 a, b, c に対し、a≦b かつ b≦c ならば a≦c が成り立つ。 反対称律：P の任意の元 a, b に対し、a≦b かつ b≦a ならば a＝b が成り立つ。 全順序律：P の任意の元 a, b に対し、a≦b または b≦a が成り立つ。 ≦ が反射律と推移律を満たすとき、≦ を P 上の前順序という。 ≦ が前順序でありさらに反対称律を満たすとき、≦ を P 上の半順序という。 ≦ が半順序でありさらに全順序律を満たすとき、≦ を P 上の全順序という。 自然数全体の成す集合Nは、全順序集合 http://rio2016.5ch.net/test/read.cgi/math/1576852086/884

885: １３２人目の素数さん [] 2020/06/09(火) 21:31:26.58 ID:U+nROBoy >>882 どうぞ The Riddle を確率論・確率過程論で反証してみて下さい 小学校レベルの確率すら使ってませんけどｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/885

886: ◆QZaw55cn4c [sage] 2020/06/10(水) 03:24:39.76 ID:YZJti9n0 >>884 その用語は本によりいろいろですね、 私の本では 擬順序、順序、全順序 でした http://rio2016.5ch.net/test/read.cgi/math/1576852086/886

887: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/06/10(水) 09:55:30.18 ID:7el1RmGN >>886 C++さん、どうも 細かいフォローありがとうございます。（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1576852086/887

888: １３２人目の素数さん [] 2020/06/10(水) 22:59:20.17 ID:Te7DZE/8 >>887 早く>>881に答えて下さいねー http://rio2016.5ch.net/test/read.cgi/math/1576852086/888

889: １３２人目の素数さん [] 2020/06/12(金) 11:02:08.08 ID:nCq9cu2T 瀬田、>>881 >>885から逃亡ｗ 逃亡するくらいなら最初からアホな主張しなければいいのにねー http://rio2016.5ch.net/test/read.cgi/math/1576852086/889

890: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/06/12(金) 15:04:45.14 ID:mZK3Uri8 あほサルの相手など、全く不要 　>>878は、大学教程の確率論・確率過程論を学べば ほぼ自明ですよｗｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/890

891: １３２人目の素数さん [sage] 2020/06/12(金) 17:44:00.61 ID:p3605jdn >>890 ・・・と大学で確率論・確率過程論を全く学べなかった 工学部卒の馬鹿がわめきちらす http://rio2016.5ch.net/test/read.cgi/math/1576852086/891

892: １３２人目の素数さん [] 2020/06/13(土) 22:58:29.75 ID:lOWOoBWZ >>890 >　>>878は、大学教程の確率論・確率過程論を学べば >ほぼ自明ですよｗｗｗｗ >>878の誤りが具体的に指摘されており、瀬田は指摘に答えなければならない。 にもかかわらず壊れた機械のように自明と繰り返すのみ。 安達といい瀬田といいキチガイはみな独善的。 http://rio2016.5ch.net/test/read.cgi/math/1576852086/892

893: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/06/14(日) 10:31:17.86 ID:1kqaL5Im あほサルの相手など、全く不要 　>>878は、大学教程の確率論・確率過程論を学べば ほぼ自明ですよｗｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/893

894: １３２人目の素数さん [] 2020/06/14(日) 10:48:16.91 ID:oy2zoPuc 誤　大学教程の確率論・確率過程論 正　確率変数の無限族の強力な独立性　 　　（確率論で定義される、任意の有限部分族の独立性ではなく） 上記の確率変数の無限族の強力な独立性は選択公理を否定する （予測が不能なら、選択公理による代表元の取得を否定することになる） 結論：セタ氏、選択公理を完全否定 http://rio2016.5ch.net/test/read.cgi/math/1576852086/894

895: １３２人目の素数さん [] 2020/06/14(日) 18:11:26.88 ID:5SHzdMUc >>893 ほらねｗ 言ってる傍から「自明」を繰り返してるしｗ 単に都合の悪い相手をあほサルと呼んでるだけｗ　数学でも何でもないｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/895

896: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/07/04(土) 19:41:14.10 ID:CndtYA/1 >>878 補足 ＜反例証明2＞ １．時枝の戦略で、100列並べる前のある箱 ｍ (=100d+k ：並べ変えた100列中のｋ列のｄ番目の箱） 　が、99％の確率で的中できるとして、時枝戦略による予想では、その箱の数がA0だと示されたとする ２．ところで、時枝記事では、箱に入れる数は、どの箱も出題者の自由だった ３．そこで、>>878と同じようにIIDを仮定すると、そのｍ番目に入れる数もまた、時枝記事のルール上自由だ 　よって、そのｍ番目以外を固定したとして 　・ｍ番目に コイントスで数を入れれば 数の範囲は 0 or 1 の整数で、的中確率は1/2 　 （もし、表が出れば ある実数x、裏なら別の実数ｙ を入れるとすれば、的中確率は1/2のままだが、数の範囲は実数全体） 　・ｍ番目に サイコロで数を入れれば 数の範囲は1〜6の整数で、的中確率は1/6 　・ｍ番目に 区間[0,1]の一様分布の数を入れれば 数の範囲は0〜1の実数で、的中確率は0 （上記のコイントスの実数版に類似） ４．明らかに、上記３は １の時枝の反例である（99％の確率で的中など、実現できないことは明白） ＱＥＤ （＾＾； http://rio2016.5ch.net/test/read.cgi/math/1576852086/896

897: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/07/04(土) 20:14:04.58 ID:CndtYA/1 >>896 補足 ＜時枝戦略が一見正しいように見える仕掛け＞ ・時枝戦略が不成立など、高校生でも直観で分かる ・ＩＩＤ 独立同分布なのに、あるｍ番目の箱のみ的中確率99％などなりようがない ・ＩＩＤ 独立同分布なのに、あるｍ番目の箱の数を、ｍ番目以外の他の箱を開けて、推測が出来たり、推測の手がかりが得られることはない ・そんなことは、高校生でも分かることだが、ではなぜ当たるように見えるのか？　そのトリックは？ ・おそらく、可算無限個の箱にトリックがある 　１．いま、（例えば100列の）箱の長さがｎ（個）とする 　２．決定番号d （範囲は1<=d<=n） として、dが 範囲 １〜ｊ （ｊ＜ｎ） にある確率は、ｐ＝ｊ/ｎ である 　３．さて、ｊ はある有限の自然数とし、かつ、簡単に分母ｎは自然数Ｎ全体で一様分布とすると、 時枝記事に合わせて n→∞ を考えて、lim n→∞ ｐ (ｊ/ｎ) =0 　４．つまり、決定番号dがある有限ｊ 以下である確率は0（その事象が生じないわけではない） 　　確率は0だが、その事象が生じないわけではない。が、「確率0」だということがなかなか見えない 　５．そして、簡単な計算で分かることだが、分母ｎは自然数Ｎ全体を渡るが、一様分布ではなくボトムヘビーの分布になる 　６．だから、一見当たるように見えるだけで、実は当たらない（「確率0」が効いている） 　（なお、当たらないことの数学的証明は、すでに述べたように、もっと簡単に反例の存在により、すでに示しめしている（>>896など）） （参考） https://ja.wikipedia.org/wiki/%E6%9D%A1%E4%BB%B6%E4%BB%98%E3%81%8D%E7%A2%BA%E7%8E%87 条件付き確率 (抜粋) B の測度が 0 の場合が問題である。 この方法はボレル-コルモゴロフのパラドックス（英語版）が生じる。 http://rio2016.5ch.net/test/read.cgi/math/1576852086/897

898: １３２人目の素数さん [] 2020/07/04(土) 20:16:46.43 ID:1EH0+MbP >>896 >１．時枝の戦略で、100列並べる前のある箱 ｍ (=100d+k ：並べ変えた100列中のｋ列のｄ番目の箱） >　が、99％の確率で的中できるとして だからそれが間違いだと何度言えば分かるのか？ 「ある箱」と箱を固定したら当てることはできない。なぜなら時枝戦略で当てるのは箱の中身ではなくアタリ箱だから。 「さて， 1〜100 のいずれかをランダムに選ぶ. 」と、列をランダム選択している意味がまるで分かっていない。 いい加減に学習してもらえませんかね？ http://rio2016.5ch.net/test/read.cgi/math/1576852086/898

899: １３２人目の素数さん [] 2020/07/04(土) 20:21:59.02 ID:1EH0+MbP 間違った仮定から出発して間違った結論を導いてるだけ。何の意味も無い。 しかも複数人からさんざんに教えられたのにまったく理解できない。 瀬田に数学は無理なので諦めて下さい。 http://rio2016.5ch.net/test/read.cgi/math/1576852086/899

900: １３２人目の素数さん [] 2020/07/04(土) 20:29:48.59 ID:1EH0+MbP いくら確率確率言っても無駄。 確率を一切使っていないThe Riddleを確率で否定することはできないから。 そしてThe Riddle が成立するなら時枝成立も自明。 確率確率言うくせに「さて， 1〜100 のいずれかをランダムに選ぶ. 」が確率変数を示していることも分からないアホ。 しかもさんざんに教えてもらっといて。瀬田に数学は無理。 http://rio2016.5ch.net/test/read.cgi/math/1576852086/900

901: １３２人目の素数さん [] 2020/07/04(土) 20:35:34.41 ID:1EH0+MbP >>897 >・時枝戦略が不成立など、高校生でも直観で分かる 直感に反するから大学生でも理解できる簡単な定理なのに数セミ記事になることも分からないアホ 実際大学数学を理解できない直観バカが釣れてるしなｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/901

902: １３２人目の素数さん [sage] 2020/07/04(土) 20:36:05.27 ID:iKe8zzl2 >>898 記事の日本語読まずに、自分勝手な妄想に固執する人には、数学は理解できないよね 「選べる箱が100個で、そのうち99個が当たり」というのが真相 それ以外なにもないが、記事を読まない人には永遠に理解できないだろうね http://rio2016.5ch.net/test/read.cgi/math/1576852086/902

903: １３２人目の素数さん [] 2020/07/04(土) 20:37:56.36 ID:1EH0+MbP 瀬田は数学の勉強してないのか？ 5年間全く進歩しとらんやないかい http://rio2016.5ch.net/test/read.cgi/math/1576852086/903

904: １３２人目の素数さん [sage] 2020/07/04(土) 20:40:44.59 ID:iKe8zzl2 >>903 勉強嫌いなら数学に興味持たなきゃいいのにな いったい何がしたいんだろうね？ http://rio2016.5ch.net/test/read.cgi/math/1576852086/904

905: １３２人目の素数さん [] 2020/07/04(土) 20:44:36.02 ID:1EH0+MbP >>902 はい、瀬田は記事読んでないですね。 いつも「記事のこの部分がオカシイ」ではなく、「当てられるとしたらこんな変なことになる」という論法。 しかし「当てられる」の意味をはき違えているのでまったくナンセンスｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/905

906: １３２人目の素数さん [] 2020/07/04(土) 20:48:44.90 ID:1EH0+MbP 瀬田は落ちこぼれなので読んでないというより読めないんでしょう。 仮に瀬田の云う通りマチガッテルなら記事のどこかに欠陥があるはずで、それを指摘せよと言っても瀬田は絶対に答えられないｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/906

907: １３２人目の素数さん [sage] 2020/07/04(土) 20:51:48.61 ID:iKe8zzl2 ＞あるｍ番目の箱のみ的中確率99％などなりようがない あるｍ番目の箱のみ的中確率99％になる、なんてどこにも書いてない 書いてない文章を読むのは・・・異常 http://rio2016.5ch.net/test/read.cgi/math/1576852086/907

908: １３２人目の素数さん [sage] 2020/07/04(土) 20:53:26.67 ID:iKe8zzl2 >>906 欠陥があるとすれば、それは記事ではなく読み手の精神 http://rio2016.5ch.net/test/read.cgi/math/1576852086/908

909: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/07/05(日) 22:54:51.86 ID:UyE0c9o0 >>897 ＞あるｍ番目の箱のみ的中確率99％などなりようがない あるｍは、∃ｍ まあ あるｍ番目の箱のみ的中確率99％などなりようがない 　↓ あるｍ番目の箱があって、その箱の数が的中確率99％などなりようがない とでも書けば良いのかい？（＾＾； （参考） https://ja.wikipedia.org/wiki/%E9%87%8F%E5%8C%96 量化子の記法 全称量化子は "A" を逆さにした "∀" で記述され、これは "all" に由来する。存在量化子は "E" を裏返しにした "∃" で記述され、これは "exists" に由来する。これを使った量化式は次のようになる。 ∃xP 　∀xP ここで、"P" は何らかの（論理）式を表す。他にも様々な表記方法がある。 歴史 ジュゼッペ・ペアノは、全称量化を (x) と記した。"(x)φ" は、x のあらゆる値について、式 φ が真であることを意味する。 また彼は1897年に、存在量化を表す記法として (∃x) を採用した。 アルフレッド・ノース・ホワイトヘッドとバートランド・ラッセルの『数学原理』Principia Mathematica ではペアノの記法が採用されている。 また、ウィラード・ヴァン・オーマン・クワインとアロンゾ・チャーチも生涯を通じて、ペアノの記法を使用した。ゲルハルト・ゲンツェンは1935年、ペアノの ∃ 記号からの類推で ∀ 記号を導入した。 しかし、∀ が一般に浸透したのは1950年代になってからである。 http://rio2016.5ch.net/test/read.cgi/math/1576852086/909

910: １３２人目の素数さん [] 2020/07/06(月) 00:50:07.09 ID:B0u50akG >>909 まだ分かってないｗ 時枝記事に書かれているのは、100個の箱のいずれかをランダム選択して99個以上のアタリ箱を引く確率。 （「さて， 1〜100 のいずれかをランダムに選ぶ. 」がその証拠） 一方、あるm番目の箱はm-1番目の箱でもm+1番目の箱でもなく、つまり箱が一つ特定されている。 箱を一つ特定しその中身を当てる確率なんて時枝記事には一言も書かれていない、 にもかかわらず「99/100以上」だけ記事から持ってくるからおかしな話になるだけのこと。 確率変数を誤解していると何度教えられても理解できない瀬田に数学は無理。 http://rio2016.5ch.net/test/read.cgi/math/1576852086/910

911: １３２人目の素数さん [] 2020/07/06(月) 01:05:43.19 ID:B0u50akG 確率計算には前提となる確率分布が必要。 サイコロで1の目が出る確率を1/6とできるのは一様分布の前提があるから。（小学校で「同様に確からしい」を習わなかったか？） 時枝記事における確率分布の指定は「さて， 1〜100 のいずれかをランダムに選ぶ. 」であり、それ以外に無い。 だからこの 「1〜100」以外が確率変数になることはあり得ない。確率計算ができないから。 もし反論があるなら確率分布の指定箇所を具体的に示せ。 http://rio2016.5ch.net/test/read.cgi/math/1576852086/911

912: １３２人目の素数さん [] 2020/07/06(月) 01:20:06.19 ID:B0u50akG 瀬田は「時枝の結論が正しいならこんな変なことになる」論法ばかり。 時枝記事の不備を直接指摘することは一切しない。記事を読めていない証拠。 時枝記事を読むには大学数学の知識が必要だから瀬田には読めない。 http://rio2016.5ch.net/test/read.cgi/math/1576852086/912

913: １３２人目の素数さん [] 2020/07/07(火) 01:46:24.45 ID:Rm3D2FVx 瀬田、一言も反論できず撃沈ｗ だから言ってるだろ？瀬田に数学は無理なので諦めなさいと http://rio2016.5ch.net/test/read.cgi/math/1576852086/913

914: １３２人目の素数さん [] 2020/07/07(火) 05:54:11.50 ID:xRNSanl3 乙、自分が立てたスレッドで壮烈な自爆死！ おっちゃんのスレ https://rio2016.5ch.net/test/read.cgi/math/1593920188/ 44 １３２人目の素数さん2020/07/06(月) 11:17:00.18ID:S8CqiuNh おっちゃんです。 有理数列 {q_n/p_n} について、第n項を (p_n,q_n)＝1 p_n≧1 なる有理数 q_n/p_n とする。 このとき、lim_{n→+∞}(q_n/p_n)＝q/p (p,q)＝1 p≧1 ならば、正整数列 {p_n}、整数列 {q_n} はどちらも収束し、 lim_{n→+∞}(p_n)＝p、lim_{n→+∞}(q_n)＝q。 有理数列 {q_n/p_n} の第n項 q_n/p_n (p_n,q_n)＝1 p_n≧1 について、 p_n は正整数、q_n は0でない整数だから、証明の方針は小平解析入門のデデキントの実数論の辺りと同様。 52 １３２人目の素数さん2020/07/06(月) 13:52:33.67ID:uITHUiBq 44 【反例】 q_n/p_n = 3/10, 33/100, 333/1000, 3333/10000, … = 0.3, 0.33, 0.333, 0.3333, … → 0.333333… (n → ∞) = 1/3 いったいどうやって「証明」されたのでしょうか？ 53 １３２人目の素数さん2020/07/06(月) 15:45:07.75ID:EzGiePye>>54>>64 52 整数列 {p_n} が整数pに収束することを、次のように定義する。 或る正整数Nが存在して、n≧N のとき p_n＝p となるとき、整数列 {p_n} は整数pに収束するといい、lim_{n→+∞}(p_n)＝p と表す。 あとは、小平解析入門の加法の極限や減法の極限、乗法の極限などからやり直して同じように示す。 54 １３２人目の素数さん2020/07/06(月) 15:54:07.50ID:uITHUiBq>>55 53 どうやら示せていないようですね >>52の q_n, p_n は明らかに発散するので 55 １３２人目の素数さん2020/07/06(月) 15:59:33.53ID:EzGiePye>>57 54 紙に書いたら長くなり、実際には示していない。 56 １３２人目の素数さん2020/07/06(月) 16:01:16.64ID:EzGiePye ぶっちゃけ、直観で書いただけ。 57 １３２人目の素数さん2020/07/06(月) 16:01:38.21ID:uITHUiBq 55 ちゃんと確認せずに適当なこと書き込んじゃダメでしょ http://rio2016.5ch.net/test/read.cgi/math/1576852086/914

915: １３２人目の素数さん [sage] 2020/07/07(火) 17:50:30.65 ID:bBtBWRC5 >>914 直観で「おかしい」と分からないのは確かに数学センスが皆無。 有理数の稠密性と、既約分数との1対1対応 そして、有限の区間内で分母がNを超えない分数は有限個なんだから いくらでも近づきながら分母が無限に大きくなっていく既約分数の無限列の存在は明らか。 http://rio2016.5ch.net/test/read.cgi/math/1576852086/915

916: １３２人目の素数さん [sage] 2020/07/07(火) 18:01:27.84 ID:bBtBWRC5 無理数論とか勉強しているようなこと言っておきながら、基本的なロジックが さっぱり分かってないってことだね。まぁ予想通りだが。 「無理数度」という概念 https://ja.wikipedia.org/wiki/%E7%84%A1%E7%90%86%E6%95%B0#%E7%84%A1%E7%90%86%E6%95%B0%E5%BA%A6 は基本的だけど、乙にはこういう論理は決して理解できないだろう。 言葉で言うと、逆説的なようだが "良い"近似分数列が存在するほど 無理数度が大きいってこと。 http://rio2016.5ch.net/test/read.cgi/math/1576852086/916

917: １３２人目の素数さん [sage] 2020/07/07(火) 18:35:25.32 ID:bBtBWRC5 小平解析入門なんて全然読めてないだろｗ もともと乙とセタが仲良かったのは、数学の専門書や高度な理論の話で 意気投合してたからだったと思う。 互いに全然理解してない話で盛り上がってたというｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/917

918: １３２人目の素数さん [sage] 2020/07/08(水) 08:48:25.21 ID:3+ERc/dG >>915-917 そういうことにしておいてくれ。 http://rio2016.5ch.net/test/read.cgi/math/1576852086/918

919: １３２人目の素数さん [sage] 2020/07/10(金) 08:09:51.65 ID:e3xNYXlE >>917 どっちも他人にマウントしたがるマウントヒヒだったからな ただ乙のパワーワードは岡潔と多変数関数論で セタのパワーワードはグロタンディクと圏論だった という違いがあるだけ どっちも中身が分かってない点では口先三寸の詐欺師ｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/919

920: １３２人目の素数さん [sage] 2020/07/10(金) 08:12:30.15 ID:e3xNYXlE ところで、セタは「箱入り無数目」で、いったん箱を選んだら 二度目以降は選んだ箱は変えないまま、箱の中身を入れ替える と誤読してるのかもしれないな もちろん、そんな、バカなことはないｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/920

921: １３２人目の素数さん [sage] 2020/07/10(金) 08:15:27.05 ID:e3xNYXlE 「箱入り無数目」の毎回の試行で、箱の中身を入れ替える、とすると 実は非可測性により確率が計算できない 確率が求まるのは、実は、箱の中身を入れ替えないまま、 毎回の試行で、どの列（つまり箱）を選ぶかだけ変える と想定しているから （確率の計算の仕方を見れば一目瞭然） ここまでガチガチに固めれば、そりゃほぼ自明だろ、といわれても仕方ないが http://rio2016.5ch.net/test/read.cgi/math/1576852086/921

922: １３２人目の素数さん [sage] 2020/07/10(金) 08:17:12.08 ID:e3xNYXlE 毎回の試行で選んだ箱を固定するのなら、 最初にどういうやり方で箱を選ぼうが 当たる確率はほぼ０だろう セタが馬鹿なのは、記事の文章を読めずに 自分勝手に「選んだ箱は決して変えない」と 思い込みつづけてる点にあるようだ 実に馬鹿な話だ http://rio2016.5ch.net/test/read.cgi/math/1576852086/922

923: １３２人目の素数さん [sage] 2020/07/10(金) 08:22:46.97 ID:e3xNYXlE セタは基本的には何も分かってない 上記が露見した決定的証拠が ａ∈ｂ　⇔　ａ⊂ｂ の主張 どうも、ａもｂも集合なら、上記が成り立つ と勝手に思い込んでたらしい しかし、そんなことはない {{}}∈{{{}}}だが {{{}}}の部分集合は自分自身のほかは空集合{}だけだから {{}}⊂{{{}}}ではない こんなの人間ならアホ・バカ・タワケでも分かる常識なのだが、 セタはそれすら分らん野生の毛深い獣ｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/923

924: １３２人目の素数さん [sage] 2020/07/10(金) 08:30:24.09 ID:e3xNYXlE セタは公理図式の読み方も分かってないｗ 例えば分出公理で ｛ｘ∈Ｓ｜Ｐ（ｘ）｝ のＰ（ｘ）はｘが自由変数となる式なら何をいれてもいい （例えば¬（ｘ∈ｘ）） しかし、セタは何をトチ狂ったか 「公理図式で式を入れるところは公理の式に限る　それが公理主義」 とか馬鹿丸出しな俺様解釈を絶叫してきたｗ もちろんそんな俺様解釈は完全な誤りだ ¬（ｘ∈ｘ）のどこが公理なのか？ｗ ｛ｘ｜¬（ｘ∈ｘ）｝が集合なら矛盾だが ｛ｘ∈Ｓ｜¬（ｘ∈ｘ）｝なら矛盾しない なぜなら、｛ｘ∈Ｓ｜¬（ｘ∈ｘ）｝は集合Ｓの要素でない、で終わりだから こんなことは数学を学ぶ大学１年生なら常識だが どうせセタはマージャンとかテニスとか＊＊Ｘとかで遊び惚けてたんだろｗ ♀ザル相手に腰振るしか能がない毛深い♂ザルに数学が分かるわけがない http://rio2016.5ch.net/test/read.cgi/math/1576852086/924

925: １３２人目の素数さん [sage] 2020/07/10(金) 08:34:38.60 ID:e3xNYXlE セタは 「εδはＳＬだ、今は超準解析だ、これがＥＬだ」 とかいいたいみたいだが、とんだお笑い草であるｗｗｗ εδも分らんアホに超準解析の理屈がわかるわけなかろうがｗ 工学部の毛深いサルどもには論理は理解できないから 結局理由抜きで記号処理による計算方法だけを教えるしかない サルでも方法だけ教えればアホウのように繰り返すから問題ないｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/925

926: １３２人目の素数さん [sage] 2020/07/10(金) 08:37:19.47 ID:e3xNYXlE そもそも群論の初歩（正規部分群）も分らん毛深いサルに 圏論なんか分かりようがない 群より圏のほうが制限がユルイからである サルはガチガチに制限がキツイ場所では勝手に暴れても問題ないが 制限がユルイ場所で同じことやったら確実に自爆死するｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/926

927: １３２人目の素数さん [sage] 2020/07/10(金) 08:41:48.80 ID:e3xNYXlE 正直ガロア理論も分からん馬鹿にグロタンディクなんか到底無理なのである だいたいガウスの円分体も分かってないテイタラクなんだから 「一般の５次方程式の解法ガー」 とかいう前に、円分方程式の解を根号で解く方法を確実に理解しろ 工学部の毛深いサルにできるのは 「解を求める方法をカラダで覚えること」 「ある方法（例えば四則演算と根号のみを使う）では 　解が求められないことをアタマで理解する」 なんてのは到底無理 「なんか数学者が無理って証明したから無理なんだろ」と覚えとけばいい お前らは（数学がわかる）人間じゃなく（数学が分からん）サルなんだからｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/927

928: １３２人目の素数さん [sage] 2020/07/10(金) 08:47:25.60 ID:e3xNYXlE 「ゲーデルの不完全性定理は人間の理性の限界」とかいうのは 「人間に理解できるのは有理数のみ」というのと同じレベルの発言ｗ ピタゴラスや安達のような人物にとっては√２が無理数というのは発狂案件だろうｗ ヒルベルトは数学の問題を悉く解決できるアルゴリズムが（原理的に）存在すると 思っていたようだが、その意味では現代のピタゴラスといってもいいかもしれん （注：別にＤＩＳってない　当時はそう考える人の方が多かったに違いない 　何しろゲーデルだって、最初から不完全性定理を証明しようと思ってたわけではない 　ヒルベルト計画にしたがって、解析学の無矛盾性を証明しようとしたら、 　「そんなことができたら矛盾する」と気づいてしまったってだけだから） http://rio2016.5ch.net/test/read.cgi/math/1576852086/928

929: １３２人目の素数さん [sage] 2020/07/10(金) 08:57:57.20 ID:e3xNYXlE セタに理解できる数学の頂点は ・オイラーの公式 ・オイラーの等式 くらいか よく上記を理解するのに「解析接続」が必要とかいう人がいるが 単純に上記の式が成り立つことを理解するだけならそこまで必要ない というか数学科以外の毛深い獣にはそもそも解析接続なんて理解できないｗ 単に指数関数を複素数まで拡張する方法を示した上で その拡張について上記の式が成立することを示せばいい 拡張の仕方が解析接続になってるなんてことの証明など 計算しかしない毛深い獣にはどうでもいいことなのであるｗ ＃「オイラーの公式」「オイラーの等式」は ＃中等教育の数学の〆としてはいい題材 ＃適度に美しく適度に有用で適度に難しいから http://rio2016.5ch.net/test/read.cgi/math/1576852086/929

930: １３２人目の素数さん [sage] 2020/07/10(金) 09:03:06.64 ID:e3xNYXlE ガウスについていえば ・「代数学の基本定理」は大した成果だが、工学部の連中は結果だけしっときゃいい ・円分体の研究は、数学のマニア化の入り口 要するに、代数方程式の根が必要なら数値計算でゴリゴリ解けばいいんで よほど残念な場合（重根のことだが）を除けば、ｎ次方程式には ｎ個の異なる根があるから心配御無用 で、その根を根号だけで表せないかなんて余計なこと考えると 世間一般の常識人のから道を踏み外して趣味人に成り下がる http://rio2016.5ch.net/test/read.cgi/math/1576852086/930

931: １３２人目の素数さん [sage] 2020/07/10(金) 09:11:47.01 ID:e3xNYXlE まあ、どうしても毛深い猿が新しい数学を学びたい っていうんなら双曲幾何をお勧めする そっちなら論理抜きの計算馬鹿でもなんとかなる そして役にたつこともいろいろある （実は相対論の理解につながるし、 　最近では統計関係でもポアンカレ埋め込みとか 　いろいろ応用されてるから） 素人は登山電車・ケーブルカー・ロープウェイのある山にしとけ チョモランマみたいな山に素人が素手で登れるわけなかろうがｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/931

932: １３２人目の素数さん [sage] 2020/07/10(金) 09:13:35.13 ID:e3xNYXlE 素人にとってはＡＢＣ予想どころか、 ファルティングスが解決したモーデル予想すら、 結果だけ知っときゃいいレベルの話 わざわざ登ろうとするのは愚の骨頂である http://rio2016.5ch.net/test/read.cgi/math/1576852086/932

933: １３２人目の素数さん [sage] 2020/07/10(金) 09:20:20.87 ID:e3xNYXlE 双曲幾何からついつい モジュラー関数だのｊ不変量だの に関心を示すと道を踏み誤るｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/933

934: １３２人目の素数さん [sage] 2020/07/10(金) 09:23:20.58 ID:e3xNYXlE 数学でも整数論とかいうのはマニアの殿堂である 別にマニアであってはいけないなんていうつもりは毛頭ないが 一般人はのぞき見るだけでやめといたほうがいい 無能な奴がはいり込んだら確実に人生棒に振るｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/934

935: １３２人目の素数さん [sage] 2020/07/10(金) 09:33:30.12 ID:e3xNYXlE セタは日本第一党というより俺様第一党の党首だなｗ https://www.youtube.com/channel/UC8i7FuzvmbaQI-93WE92jQg ↑こいつみたいにYOUTUBEチャンネルでも立ち上げたらどうだ？（嘲） http://rio2016.5ch.net/test/read.cgi/math/1576852086/935

936: １３２人目の素数さん [sage] 2020/07/10(金) 09:36:15.70 ID:e3xNYXlE 貧乏人が愛国とかいうのは 無知ゆえの哀れな自爆である http://rio2016.5ch.net/test/read.cgi/math/1576852086/936

937: １３２人目の素数さん [sage] 2020/07/10(金) 09:38:34.84 ID:e3xNYXlE 国家は金持ちのためにある 国家は貧乏人を救わない 官僚は詐欺師と同じである 狡知で馬鹿な貧乏人をたぶらかして金も労働力も巻き上げる 「国のため」なんていって忠実に奉公しても使い捨てられるだけｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/937

938: １３２人目の素数さん [sage] 2020/07/10(金) 09:56:59.11 ID:e3xNYXlE 国家は、国民の敵が国家自身であることを気づかせまいと目くらましする 他国敵視の宣伝はまさにその典型である 国家は、国民自身を互いに離反させようと画策する 団結して国家に向かってこられたら倒されるからだ 国家は暴力団　国民から貪るだけの悪党 http://rio2016.5ch.net/test/read.cgi/math/1576852086/938

939: １３２人目の素数さん [sage] 2020/07/10(金) 09:57:55.48 ID:e3xNYXlE No Government No Money 政府も要らない　金も要らない http://rio2016.5ch.net/test/read.cgi/math/1576852086/939

940: １３２人目の素数さん [sage] 2020/07/10(金) 09:58:55.02 ID:e3xNYXlE ｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/940

941: １３２人目の素数さん [sage] 2020/07/10(金) 10:01:55.80 ID:e3xNYXlE 検索結果コピペスレ https://rio2016.5ch.net/test/read.cgi/math/1592654877/ もうネタがなくなったらしいw http://rio2016.5ch.net/test/read.cgi/math/1576852086/941

942: １３２人目の素数さん [sage] 2020/07/10(金) 10:02:54.14 ID:e3xNYXlE セタは「カスプのラベル」が何なのかも分らんのだから何検索して眺めても無駄ｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/942

943: １３２人目の素数さん [sage] 2020/07/10(金) 10:05:10.43 ID:e3xNYXlE こういうと、セタは必ず 「じゃあ、貴様には分かるのか？」 というが、他人が分かったら負けなのか 負けたら首掻き切って死ぬのか？ 死なないんだろ？だったら黙って負ければいいじゃん 「はいはい負け負け　オレは負け犬　うーキャンキャン」 とかいってりゃいいじゃんｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/943

944: １３２人目の素数さん [sage] 2020/07/10(金) 10:08:05.39 ID:e3xNYXlE だいたい、大学１年でεδが理解できなかったにもかかわらず 全く勉強しなかったほど怠惰でやる気ゼロの工学部のクソ学生が 今になって「IUTで逆転！」なんて馬鹿なこと夢見ても無駄だって お前には数学なんかムリなんだから死ぬまで馬鹿のままでいろよ どうせ会社でもロクな仕事もせずに給料だけもらってたんだろ？ 勝ちじゃんｗ　ジャン勝ちじゃんｗｗｗ　 馬鹿にしては上出来だよｗｗｗｗｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/944

945: １３２人目の素数さん [sage] 2020/07/10(金) 10:10:44.87 ID:e3xNYXlE 近所の本屋で売ってた本 「コンピュータは数学者になれるのか？」 -数学基礎論から証明とプログラムの理論へ- 照井一成 著 ま、すでに買って読んでたけどね http://rio2016.5ch.net/test/read.cgi/math/1576852086/945

946: １３２人目の素数さん [sage] 2020/07/10(金) 10:12:17.20 ID:e3xNYXlE >>945 正直、KBのクソIUT本とか読むより100倍、いや10000倍はマシ http://rio2016.5ch.net/test/read.cgi/math/1576852086/946

947: １３２人目の素数さん [sage] 2020/07/10(金) 10:14:44.94 ID:e3xNYXlE 個人的にはytb氏もなんか本を書いてほしい、とマジで思ってる こんなところでいわれても当人には迷惑かもしれないが・・・ http://rio2016.5ch.net/test/read.cgi/math/1576852086/947

948: １３２人目の素数さん [sage] 2020/07/10(金) 10:20:53.47 ID:e3xNYXlE 余談 「ちょける」 https://article.yahoo.co.jp/detail/cdfc602e2b25064e321bd798e33ee4ed4067a48b そんな下卑た言葉知らねぇし知りたくもねぇよｗ もう関西は日本から独立してくれｗ いや、日本の国号も天皇も貴様等に返してやるから フォッサマグナ以東は独立させてくれｗ もう東京じゃなくていい　 江戸のほうがカッコイイし http://rio2016.5ch.net/test/read.cgi/math/1576852086/948

949: １３２人目の素数さん [sage] 2020/07/10(金) 10:24:37.97 ID:e3xNYXlE よく、東京と埼玉は違うとかいうヤツがいますが そういうホラを流すのはだいたい関西から来た連中ｗ 地元の人はそんな馬鹿なことはいいませんｗ ついでにいうと埼玉と千葉は違うといえば違いますが それは川のこっちと向こうで違うとかいう程度です お互いに侮りあってるとかいうホラを流すのも関西から来た連中 いいからおまえら関西に帰れよ　 東京で丸餅に白みその雑煮とか食ってんじゃねえよｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/949

950: １３２人目の素数さん [sage] 2020/07/10(金) 10:30:54.10 ID:e3xNYXlE 下らんニュース https://j-town.net/tokyo/research/results/204442.html こんな下らんもの流す前に 実際に、美人の比率を求めたらいいだろうｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/950

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

あと 52 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.020s