なぜ、ZFC公理まで遡らなくても数学が出来るの？

1 名前：１３２人目の素数さん [2024/11/12(火) 21:48:51.32 ID:ova7e0tZ.net] 公理まで遡ってすべての定義・命題を厳密に記述・証明しなければ、正しいとは言えないはず もし、公理まで遡る途中の定義・命題を認めても問題なく数学が出来るなら、それを公理とすればいいのでは？ 809 名前：１３２人目の素数さん [2024/12/20(金) 21:35:57.47 ID:QYRTYyDq.net] >>611 >ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え、超限帰納法の適用を可能とする なんでここ 全順序関係って書いたんだろ？ そもそも ∈は全ての集合についての順序関係じゃないのに しかも ∈から順序関係∈∈を定義しても全然全順序じゃないのに 810 名前：１３２人目の素数さん [2024/12/20(金) 21:46:19.37 ID:t2An/AAh.net] >>765 根本的に分ってないから コピペで分かってるフリしてるだけだから 811 名前：現代数学の系譜 雑談 [2024/12/20(金) 23:27:38.27 ID:pVTpIVEJ.net] >>759 >>764 >∈も分かってないのになんでちゃんと書かれてるか判断できるの？ >ああ失礼な事言ってるのは近藤友祐とかいう野郎か >まあエゴサーチしてる時点でどんな人物かだいたい想像つく なんだ おサルさんかｗ 道理で、レベルが低いと思ったぜｗ ところで 近藤友ちゃんは、君よりレベル高いよ 多分私よりもｗ ；ｐ） 812 名前：現代数学の系譜 雑談 [2024/12/20(金) 23:30:49.47 ID:pVTpIVEJ.net] >>759 >∈も分かってないのになんでちゃんと書かれてるか判断できるの？ まあ、マジレスすれば ・どこの馬の骨ともわからん おサルさんより ・東北大 尾畑研の方が、圧倒的に信用できますぜよ ダンナ！ｗ ；ｐ） 813 名前：１３２人目の素数さん [2024/12/21(土) 01:15:45.55 ID:tCin55o6.net] >>768 >信用できますぜよ 信用するんだ 814 名前：１３２人目の素数さん mailto:sage [2024/12/21(土) 05:49:49.62 ID:WIRqKN3y.net] >定理3.15 集合x,yに対して次が成り立つ >(2)x∈y,x=y,y∈xのうち高々1つだけ成り立つ "高々"の意味、わかる？ >次の条件を満たす集合αを順序数という >(i)αは推移的である >(ii)αは帰属関係∈に関して整列集合である >任意のx,y∈αは比較可能　つまり >x∈y,x=y,y∈xのいずれか1つが成り立つ 高々があるのとないのと、何が違うか分かる？ 高々１つ、という場合、どれも成り立たなくてもいい つまりx∈y,x=y,y∈xのどれも成り立たなくてもいい そしてその場合、∈は全順序足り得ない ∈が整礎関係であるというだけでは ∈が全順序構造になるとはいえない つまり集合全体が∈に関して整列順序になってる、なんてことはいえない これ常識だけど、全然気づかない●●っているんだな そりゃ大学１年の４月で落ちこぼれるわ 815 名前：現代数学の系譜 雑談 ◆yH25M02vWFhP [2024/12/21(土) 07:41:30.29 ID:2V79/Y1m.net] おサルさん 笑えるよ >>684-686 >>689 (引用開始) 正則性公理は ”∈-induction”と関係していて ZFC内の全ての集合について”∈-”による整礎関係を与え、 ∈に関する整礎帰納法である”∈-induction”の適用を可能とする 全順序とか余計な一言を書いたせいで大恥かいたな　高卒童貞 正則性公理は∈を整礎関係たらしめると同時に反射律 a∈a を否定するため順序関係たらしめない。 また正則性公理と関係無く推移律 a∈b ∧ b∈c ⇒ a∈c は成立しない。実際 {}∈{{}} ∧ {{}}∈{{{}}} は真だが、{}∈{{{}}} は偽。 >正則性公理は ”∈-induction”と関係していて >ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え は大間違い >また…推移律 a∈b ∧ b∈c ⇒ a∈c は成立しない。 　ヌォォォォ 　すまん・・・OTL 　工学部卒の自己愛童貞と違うので土下座で謝罪 (引用終り) オレは、ここの次スレを立てることはしないが 自分の立てたスレが、数学板に3つある おサルさんの学力顕彰のために、3つスレで 次回のスレ立ての テンプレに入れるよ。そして、眺めてニヤリと笑うことにしよう 『正則性公理は∈を整礎関係たらしめると同時に反射律 a∈a を否定するため順序関係たらしめない』 か。妄言である！ 数学科オチコボレさんだってねｗ ガッハハｗｗ 816 名前：現代数学の系譜 雑談 ◆yH25M02vWFhP [2024/12/21(土) 07:46:28.56 ID:2V79/Y1m.net] >>771 補足 下記が参考になるだろう https://en.wikipedia.org/wiki/Von_Neumann_universe Von Neumann universe Definition （ここに図がある。下記は図の説明文） An initial segment of the von Neumann universe. Ordinal multiplication is reversed from our usual convention; see Ordinal arithmetic. https://en.wikipedia.org/wiki/Ordinal_arithmetic Ordinal arithmetic 817 名前：１３２人目の素数さん [2024/12/21(土) 07:55:07.18 ID:tCin55o6.net] >>771 >おサルさんの学力顕彰のために、3つスレで 次回のスレ立ての >テンプレに入れるよ。そして、眺めてニヤリと笑うことにしよう これは入れないの？ >>611 （引用開始） ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え、超限帰納法の適用を可能とする （引用終了） ニヤリと笑うにはこちらの方がいいと思うんだけど 818 名前：１３２人目の素数さん [2024/12/21(土) 08:06:02.80 ID:tCin55o6.net] あらためて読むと >”∈-” もなんでこう書いたのかな 819 名前：１３２人目の素数さん mailto:sage [2024/12/21(土) 08:06:21.22 ID:WIRqKN3y.net] >>771 >オレは、ここの次スレを立てることはしない 　童貞、ZFCスレから撤退 >おサルさんの学力顕彰のために、 >自分が数学板に立てたスレ3スレで >次回のスレ立てのテンプレに入れて、 >眺めてニヤリと笑うことにしよう 　その件だが、 　今後「名誉教授スレ」と「雑談隔離スレ」の２つに統合な 　後者では、大学数学童貞である「雑談」の過去の誤り全てをテンプレに掲載する 　・無限乗積の収束条件を間違う（収束の定義が分かってない） 　・正方行列の正則性条件を間違う（線型独立の定義が分かってない） 　・述語論理の推論を間違う（述語論理が分かってない） 　・集合全体が∈に関して整列順序を持つと間違う（集合が分かってない） 　全部大学１年レベルであることはいうまでもない　万年高卒に大学数学の壁は高すぎた 820 名前：現代数学の系譜 雑談 [2024/12/21(土) 08:10:11.19 ID:2V79/Y1m.net] >>773 >（引用開始） >ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え、超限帰納法の適用を可能とする >（引用終了） >ニヤリと笑うにはこちらの方がいいと思うんだけど 確かに 筆が滑っている ；ｐ） 　ヌォォォォ 　すまん・・・OTL 　土下座で謝罪 821 名前：１３２人目の素数さん mailto:sage [2024/12/21(土) 08:12:11.57 ID:WIRqKN3y.net] >>771 ＞『正則性公理は∈を整礎関係たらしめると同時に反射律 a∈a を否定するため順序関係たらしめない』か。妄言である！ a={{{}}}とb={{},{{}}}で、a∈bとb∈aのどっちが成り立つ？ どっちも成り立たないんなら「集合全体は∈に関して整列順序（� 822 名前：ｮ礎な全順序）」は大嘘だけど 成り立たないよな？　●●でもわかる初歩だけど ｷﾞｬﾊﾊﾊﾊﾊﾊ!!! [] [ここ壊れてます] 823 名前：１３２人目の素数さん mailto:sage [2024/12/21(土) 08:19:12.53 ID:WIRqKN3y.net] >>776【判決】以下を禁ずる 　ＨＮ及びトリップの使用 　リンクおよびコピー＆ペースト 　大学以上の数学に関する質問以外の書き込み 824 名前：現代数学の系譜 雑談 [2024/12/21(土) 08:24:00.79 ID:2V79/Y1m.net] >>775 >>オレは、ここの次スレを立てることはしない >　童貞、ZFCスレから撤退 自分ではスレ立てしないだけで 撤退とは言ってない なので、次スレが立てば、何か書くかも が、ほぼこのスレで尽くされている気もする >>769 >>信用できますぜよ >信用するんだ ありがとね >>758より再録 (参考) www.math.is.tohoku.ac.jp/~obata/student/subject/ 東北大学大学院情報科学研究科 システム情報科学専攻 尾畑研究室−システム情報数理学II研究室− www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_03.pdf TAIKEI-BOOK : 2019/1/1(22:21) 第3章 集合の演算 P45 3.3集合の公理 ラッセルのパラドックスなどを解消する努力の中で一群の公理系から出発する公理的集合論が構築されてきた 公理系の設定の仕方は何通りかあるが以下ではZFC公理系を紹介しながら 集合にどのような性質が期待されて それがどのように表現されるかを見ておこう 公理的集合論では対象とする「もの」はすべて集合であり現れる文字A,B,・・、a,b,・・はすべて集合と理解する そして集合間の関係として等式A=Bと帰属関係A∈Bだけから理論を構築する したがって集合の元も集合であると認識しなければならない (引用終り) これ 下記のように 第16章まであって 全体で261ページある これ >>1への一つの回答になっているだろう (参考) www.math.is.tohoku.ac.jp/~obata/student/subject/ 「集合・写像・数の体系　数学リテラシーとして」の草稿(pdf) 第1章 第2章 第3章 第4章 第5章 第6章 第7章 第8章 第9章 第10章 第11章 第12章 第13章 第14章 第15章 第16章 825 名前：１３２人目の素数さん mailto:sage [2024/12/21(土) 08:25:21.15 ID:WIRqKN3y.net] 童貞君は匿名で以下のような書き込みでもしてればいい ーーーーーーーーーーーーーーーーーーーーーーーーー 質問です、 ガウスは代数学の基本定理で いかなる代数方程式にも複素数解がある と証明したと聞いています 一方アーベルは ５次以上の代数方程式は解の公式がない と証明したと聞いています 解があるのに解の公式がないとしたら 自分はどうやって解を求めたらいいんですか（＞＜） ちなみに自分は工学部卒の●●です 難しいことはチンプンカンプンなので ●●にでもわかるようにやさしくおしえて(^^ゞ ーーーーーーーーーーーーーーーーーーーーーー 826 名前：１３２人目の素数さん mailto:sage [2024/12/21(土) 08:27:30.22 ID:WIRqKN3y.net] >>779 ＞自分ではスレ立てしないだけで撤退とは言ってない 　童貞君、あんまりイキってると　●ンコ　●られるよ 827 名前：１３２人目の素数さん mailto:sage [2024/12/21(土) 08:33:00.78 ID:WIRqKN3y.net] ＞次スレが立てば 　 　新たなスレの提案 タイトル：数学童貞と遊ぶスレ １スレの書き込み 数学板には、大学数学の初歩（実数・線型代数・集合・論理）も分かってないのに なにやら難し気なことを大言壮語する童貞君が沢山います 本スレッドは数学童貞君に 大学数学の初歩（実数・線型代数・集合・論理） を１から教えることを目的とします 828 名前：１３２人目の素数さん [2024/12/21(土) 08:47:33.53 ID:26O59SCD.net] >>770がまさに>>727-728で言うところの整礎関係が備える特性。 さらに Xの空でない部分集合で上記特性を備えたものの全体を{Cλ} （つまりΛを添字集合として、{Cλ|λ∈Λ}={C⊂X|C≠{},(∀a∈C)(∀b∈C)(a≠b ⇒ aRb ∨ bRa)}）とすると 任意のλについてCλはRを整列順序とする整列集合であり、∪[λ∈Λ]Cλ＝X つまり整礎関係を備える任意の集合Xは整列集合の和集合である。 そのとき各整列集合に超限帰納法が成立するから、Xに整礎帰納法が成立する。 超限帰納法と整礎帰納法の差異は、超限帰納法において最小元0に対するP(0)の証明が、整礎帰納法では極小元a,b,・・・に対するP(a),P(b),・・・の証明となること。 829 名前：現代数学の系譜 雑談 [2024/12/21(土) 08:48:25.35 ID:2V79/Y1m.net] >>779 >>信用できますぜよ >信用するんだ 尾畑先生、こんな人 1981 with BS in Natural Science (major in Mathematics) 1984 with MS in Mathematics under supervision of Professor Hisaaki Yoshizawa 1989 under the supervision of Professor Takeyuki Hida Ph. D Nagoya University https://researchmap.jp/ObataNobuaki 尾畑 伸明 オバタ ノブアキ (Nobuaki Obata) 基本情報 所属東北大学 データ駆動科学・AI教育研究センター データ科学教育研究部門 特任教授 学位 理学博士(名古屋大学) 理学修士(京都大学) 経歴 3 2023年4月 - 現在東北大学, データ駆動科学・AI教育研究センター, 特任教授 2022年4月 - 現在東北大学, 総長特別補佐 2001年4月 - 2023年3月東北大学, 大学院情報科学研究科, 教授 https://www.math.is.tohoku.ac.jp/~obata/english/laboratory/ My Brief CV I graduated from the Faculty of Science at Kyoto University in 1981 with BS in Natural Science (major in Mathematics), and from the Graduate School of Science in 1984 with MS in Mathematics under supervision of Professor Hisaaki Yoshizawa. There I studied unitary representation of the group of diffeomorphisms following the paper by Gelfand, Graev and Vershik. After my Master degree I was employed as assistant professor in the Faculty of Science at Nagoya University in 1984. While working at Nagoya University I completed my Doctor Thesis (Ph. D) in 1989 under the supervision of Professor Takeyuki Hida. In 1991 I promoted to lecturer and, after reformation of the faculty in 1995, I served as associate professor in Graduate School of Mathematics at Nagoya University. In 2001 as professor I moved to Graduate School of Information Sciences at Tohoku University, where I am still lodged. 830 名前：現代数学の系譜 雑談 [2024/12/21(土) 08:54:32.50 ID:2V79/Y1m.net] >>784 >1989 under the supervision of Professor Takeyuki Hida Ph. D Nagoya University そうか 飛田 武幸先生の系譜か (参考) https://ja.wikipedia.org/wiki/%E9%A3%9B%E7%94%B0%E6%AD%A6%E5%B9%B8 飛田 武幸（ひだ たけゆき、1927年11月12日 - 2017年12月29日）は、日本の数学者。専門は、確率論、関数解析学。名古屋大学名誉教授。名城大学名誉教授。 ホワイトノイズ解析の基礎を確立。確率過程論国際学会会長、国際研究発表ジャーナル「Infinite dimensional Analysis, Quantum Probability and Related Topics」の編集長等を務めた。 経歴　 1927年 愛知県岡崎市に生まれる[1] 1952年 名古屋大学理学部数学科卒業 1952年 愛知学芸大学助手 1959年 京都大学講師 1961年 理学博士（京都大学） 1964年 名古屋大学教養部教授 1966年 名古屋大学理学部教授 1976年 - 1977年 名古屋大学理学部長。 1967年より1年間 プリンストン大学客員教授 831 名前：１３２人目の素数さん [2024/12/21(土) 09:01:32.63 ID:26O59SCD.net] >>784-785 立派な経歴を持つ人は信用できると言いたいらしいが、某名誉教授という反例がある 832 名前：１３２人目の素数さん [2024/12/21(土) 09:12:54.64 ID:tCin55o6.net] >>784 >尾畑先生、こんな人 誤解させたかもしれないけど その人がどういう人かに興味はないよ 「信用」するというところに驚いただけ 833 名前：現代数学の系譜 雑談 [2024/12/21(土) 09:44:29.06 ID:2V79/Y1m.net] >>779 補足 (引用開始) (参考) www.math.is.tohoku.ac.jp/~obata/student/subject/ 東北大学大学院情報科学研究科 システム情報科学専攻 尾畑研究室−システム情報数理学II研究室− www.math.is.tohoku.ac.jp/~obata/student/subject/ 「集合・写像・数の体系　数学リテラシーとして」の草稿(pdf) 第13章 (引用終り) 第13章が 整列集合で、”超限帰納法”があるね (参考) www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_13.pdf 第13章 整列集合 TAIKEI-BOOK : 2019/1/1(22:21) P198 ■超限帰納法 自然数の配列に基づく数学的帰納法を整列集合に基づく証明法に拡張したものが超限帰納法である整列可能定理によってその適用範囲は極めて広い 定理13.18 (超限帰納法) 略す 証 明 略す (引用終り) あと、数学的帰納法などが威力を発揮する分野がありまして ご存知の通りだが 下記など ”「漸化式から一般項を推測」→「数学的帰納法で証明する」問題” (参考) rikeilabo.com/mathematical-induction 理系ラボ 山田和樹 【数学的帰納法】証明法を例題でわかりやすく（不等式など） 5. 数学的帰納法の漸化式の問題 さいごは，「漸化式から一般項を推測」→「数学的帰納法で証明する」問題です。 このパターンの問題は頻出の重要な問題です！ 834 名前：１３２人目の素数さん [2024/12/21(土) 09:53:46.34 ID:26O59SCD.net] >>771-772 >『正則性公理は∈を整礎関係たらしめると同時に反射律 a∈a を否定するため順序関係たらしめない』 >か。妄言である！ と、∈を分かってないど素人さんが申しております。 ∈は、例えば順序数全体のクラスにおいては「整列順序」ではなく「整列順序に対応する真の順序」。なぜなら反射律 a∈a が成立しないから。 wikipedia整礎関係：「数学において、二項関係が整礎（せいそ、英: well-founded）であるとは、真の無限降下列をもたないことである。」 ここで言う「真の」とはどの項も等しくないという意味。順序関係≧についてはx≧x≧・・・なる無限降下列が存在しちゃうから。 上の「真の順序」の「真の」も同じ意味。 君、基本からまるで分かってないね。 835 名前：現代数学の系譜 雑談 [2024/12/21(土) 10:01:40.63 ID:2V79/Y1m.net] >>786-787 ありがとうございます 1）いま、眼前に何冊かの本があるとする 2）時間が限られているので、読む本を絞りたい 3）とすると、まず見るべきは、本の書名 　次に著者、そして書かれた時期 4）その上で、普通は前書きや目次、後書きを読むだろう 5）著者、誰が書いたか？ は、重要だろう 　あと、その本の評判とか 　それ以外に、wikipedia は、書き手の著者は 数学素人さんでも 　多数の人の目に触れて、エラー訂正がされているとか 　書かれている内容の裏付けになる図書が上げられているなど 6）wikipediaで、裏付けの図書が上げられていないとき 　しばしば、”裏付けの文書がない”みたく 注意書きが出る場合がある ”尾畑先生、こんな人”は、大事な情報だと思いますよ ”某名誉教授という反例”ねｗ。まあ、基本は wikipediaの超劣化版の便所板で 根拠レスの”名無し”さんの発言を、誰の発言であれ 頭から 真に受ける方が あれじゃないですかｗ ”某名誉教授”があの人ならば、自分からは”名誉教授”と名乗っているわけじゃないし 基本は”名無し”さんだから、名乗らない以上 一般の”名無し”さんの発言と同じで、是々非々で判断すれば良いのでは？ 836 名前：１３２人目の素数さん [2024/12/21(土) 10:05:45.91 ID:tCin55o6.net] >>790 本を読むのは「信頼」するためではないでしょう 数学から最も遠い思考だと思ったのでびっくりしたのです 837 名前：１３２人目の素数さん [2024/12/21(土) 10:07:29.60 ID:26O59SCD.net] >>774 それな ∈の派生版？？？って混乱させられたｗ 838 名前：１３２人目の素数さん [2024/12/21(土) 10:27:39.34 ID:26O59SCD.net] >>771-772 >『正則性公理は∈を整礎関係たらしめると同時に反射律 a∈a を否定するため順序関係たらしめない』 >か。妄言である！ ところでど素人さんは、{}∈{{{}}} が間違いであることは理解できましたか？ 高校生に笑われますよ？ 839 名前：現代数学の系譜 雑談 [2024/12/21(土) 11:27:29.32 ID:2V79/Y1m.net] >>791 >本を読むのは「信頼」するためではないでしょう >数学から最も遠い思考だと思ったのでびっくりしたのです まあ、その本に どれだけ時間を掛ける価値があるか？ それは、本を読んでみれば分るかもしれないが というか、読んでみないと分らないかもしれないが 選択が可能ならば、価値ある本を読みたいと だれしも思うだろう それは、自分が求めていることとの 相対関係かもしれないが 名著と評判の高い本は、選択の候補にはあがるだろう 著者の名前に引かれてはあるかも その本を読み始める前に 読む価値があるか否か？ その判断は誰しもするはず。著者がどいう人かは重要な判断材料でしょう 840 名前：現代数学の系譜 雑談 [2024/12/21(土) 11:32:12.87 ID:2V79/Y1m.net] >>790 補足 >”某名誉教授”があの人ならば、自分からは”名誉教授”と名乗っているわけじゃないし >基本は”名無し”さんだから、名乗らない以上 一般の”名無し”さんの発言と同じで、是々非々で判断すれば良いのでは？ ”某名誉教授”があの人ならば、大体は 一言二言しか書かないし コテハンも付けないので 必死チェッカーもどきも見て、見当をつけ� 841 名前：ﾄいます あの人の発言は、だいたい信用できる 知識が深い。私の知らないことを知っているし・・ （＾＾ [] [ここ壊れてます] 842 名前：現代数学の系譜 雑談 [2024/12/21(土) 11:37:57.01 ID:2V79/Y1m.net] >>789 (引用開始) >>771-772 >『正則性公理は∈を整礎関係たらしめると同時に反射律 a∈a を否定するため順序関係たらしめない』 >か。妄言である！ と、∈を分かってないど素人さんが申しております。 ∈は、例えば順序数全体のクラスにおいては「整列順序」ではなく「整列順序に対応する真の順序」。なぜなら反射律 a∈a が成立しないから。 wikipedia整礎関係：「数学において、二項関係が整礎（せいそ、英: well-founded）であるとは、真の無限降下列をもたないことである。」 ここで言う「真の」とはどの項も等しくないという意味。順序関係≧についてはx≧x≧・・・なる無限降下列が存在しちゃうから。 上の「真の順序」の「真の」も同じ意味。 君、基本からまるで分かってないね。 (引用終り) 重箱の隅をほじくって悪いがｗ ；ｐ） 基本からまるで分かってないのは、君だよｗｗ wikipedia整礎関係 ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82 で、下記例示があるよね？ 読んでないでしょ？ｗｗｗ (引用開始) 例 全順序でない整礎関係の例 ・集合を要素とする任意のクラスの集合要素関係 ∈ 。これは正則性公理そのものである。 整礎でない関係の例 ・負整数全体 {−1, −2, −3, …} の通常の順序。任意の非有界部分集合が最小元を持たない。 ・有限文字集合上の文字列全体の成す集合上の、通常の順序関係（辞書式順序）。列 "B" > "AB" > "AAB" > "AAAB" > ⋯ は無限降鎖になる。この関係は、全体集合が最小元（つまり空文字列）を持ったとしても整礎ではない。 ・有理数全体（または実数全体）の標準的な順序（大小関係）。たとえば、正の有理数（または正の実数）全体は最小元を持たない。 (引用終り) この例示と、お主の発言 『「真の」とはどの項も等しくないという意味。順序関係≧についてはx≧x≧・・・なる無限降下列が存在しちゃうから。 上の「真の順序」の「真の」も同じ意味』 とを突き合わせてみろよ ”x≧x≧・・・なる無限降下列が存在”するの例 以外でも 『有理数全体（または実数全体）の標準的な順序（大小関係）』という 例示が上がっているだろ？ 有理数 ja.wikipedia.org/wiki/%E6%9C%89%E7%90%86%E6%95%B0 位相的性質 有理数全体 Q は内在的には、通常の大小関係の定める順序に関して順序位相と呼ばれる位相を持ち、外因的には実数直線 R の（つまり、一次元ユークリッド空間 R1 としての）距離位相から定まる部分空間としての位相を持つが、実はこれらの位相は一致する。 有理数全体 Q は実数全体の成す集合 R の中で稠密である。これは、どの実数にも、いくらでも近い場所に有理数が存在することを意味する。これは距離空間として以下のように述べることもできる。 (引用終り) ここな 有理数や、実数は、稠密です。なので 標準的な順序（大小関係）において、”x≧x≧・・・”と異なる 無限降下列が、簡単に作れるのですｗｗ ；ｐ） 843 名前：１３２人目の素数さん [2024/12/21(土) 11:53:25.87 ID:26O59SCD.net] >>794 時間を惜しむなら数学なんて興味持たなければ良い 数学以外にあなたの貴重な(笑)時間を使いなさい 844 名前：１３２人目の素数さん [2024/12/21(土) 12:27:37.31 ID:26O59SCD.net] >>796 >突き合わせてみろよ 突き合わせたところで何の矛盾も無いが？　有るなら具体的に指摘してごらん　できるかい？ >有理数や、実数は、稠密です。なので >標準的な順序（大小関係）において、”x≧x≧・・・”と異なる >無限降下列が、簡単に作れるのですｗｗ ；ｐ） 稠密性はまったく関係無い。実際、整数の真の無限降下列 0>-1>-2>・・・が存在する。 真の無限降下列が存在するのは通常の大小関係が整礎でないから。実際、通常の大小関係の極小元mが存在するとしたらm>m-1だから矛盾。 ど素人さん　ドヤ顔で語って大恥かいちゃったね 845 名前：１３２人目の素数さん [2024/12/21(土) 12:48:11.34 ID:26O59SCD.net] >>796 「有理数は稠密だから通常の大小関係の無限降下列が存在する」 ↑ あららー　この人まったく分かってないわぁ 整礎関係とか順序関係とかの文脈で稠密性を持ち出しちゃう残念など素人さんだったとさ 846 名前：現代数学の系譜 雑談 [2024/12/21(土) 12:55:07.01 ID:2V79/Y1m.net] >>796 &>>798 ・”x≧x≧・・・なる無限降下列が存在”を禁止するためには 　≧→＞ のように 二項関係から 等号関係を排除する必要がある （関係を規律する記号 ≧か＞かの問題） ・一方、例 整礎でない関係の例 　『有理数全体（または実数全体）の標準的な順序（大小関係）。たとえば、正の有理数（または正の実数）全体は最小元を持たない』 　有理数でも 実数でも a＜b として 　区間( a,b ) 内などに 無限降下列は 存在する 　例えば、半開区間（0,1])で、無限降下列 1/2＞1/3＞・・＞1/ｎ＞・・ が取れる 　これは、有理数や、実数が、稠密ってことで 　集合自身のもつ性質によるもの 847 名前：現代数学の系譜 雑談 [2024/12/21(土) 13:06:31.58 ID:2V79/Y1m.net] >>799 (引用開始) 「有理数は稠密だから通常の大小関係の無限降下列が存在する」 ↑ あららー　この人まったく分かってないわぁ 整礎関係とか順序関係とかの文脈で稠密性を持ち出しちゃう残念など素人さんだったとさ (引用終り) あらら （＾＾ へ 848 名前：んですよ 整礎関係を理解するとき 整礎関係を満たす例と 満たさない例 両方例示するのは、常道ですよ （＾＾ 下記の通りです (参考) ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82 整礎関係 例 整礎でない関係の例。 ・有理数全体（または実数全体）の標準的な順序（大小関係）。たとえば、正の有理数（または正の実数）全体は最小元を持たない。 https://en.wikipedia.org/wiki/Well-founded_relation Well-founded relation Examples Examples of relations that are not well-founded include: ・The set of non-negative rational numbers (or reals) under the standard ordering, since, for example, the subset of positive rationals (or reals) lacks a minimum. [] [ここ壊れてます] 849 名前：現代数学の系譜 雑談 [2024/12/21(土) 13:17:00.53 ID:2V79/Y1m.net] >>789 >時間を惜しむなら数学なんて興味持たなければ良い >数学以外にあなたの貴重な(笑)時間を使いなさい ふっふ、ほっほ では 1）あなたは、プロ数学者？ 　つまり、数学に時間を使って、そこから収入を得ているプロ？ 　それとも、数学に時間を使っても、そこから収入を得られない つまりプロ以外？ 　（多分 100％ プロではないｗ） 2）さて よほどの金持ち以外は 　なんらかの仕事に時間を使って、収入を得る 　従って、時間は無尽蔵ではない 3）もし、数学プロだとしても、時間は無尽蔵ではない 　読む本も優先順位を決めて勉強するべき 4）もし、趣味で数学本を読むならば、その本も選ぶべき 　もし、仕事が理系ならば、数学の素養は避けて通れないだろう 　新しい数学を学ぶ必要が出てくるかも。そのときも、読む本は選ぶべき 850 名前：１３２人目の素数さん [2024/12/21(土) 13:33:29.64 ID:26O59SCD.net] >>800 >・”x≧x≧・・・なる無限降下列が存在”を禁止するためには >　≧→＞ のように 二項関係から 等号関係を排除する必要がある だから順序関係≧に対応する真の順序が＞だと言ってるじゃん。 >・一方、例 整礎でない関係の例 だから何？ ≧は整礎でない。実際、x≧xであり、{x}に≧の極小元は存在しない。 ≧が整列順序なら、≧に対応する真の順序＞は整礎。実際、≧を整列順序とする整列集合Xには≧の最小元mが存在して、mは＞の極小元。実際、m＞x を満たすx∈Xは存在しない。 間違いがあるなら指摘してごらん。できるかい？ 851 名前：１３２人目の素数さん [2024/12/21(土) 13:39:18.03 ID:26O59SCD.net] >>802 数学をやりたいなら権威主義は捨て去るべき　数学と権威主義は真逆の存在 理系がー、仕事がーは数学と一切関係無し 852 名前：１３２人目の素数さん [2024/12/21(土) 13:42:28.63 ID:26O59SCD.net] >>801 >整礎関係を理解するとき >整礎関係を満たす例と >満たさない例 >両方例示するのは、常道ですよ （＾＾ 君、理解してないじゃん {}∈{{{}}}が間違いであることすら分かってないじゃん 853 名前：１３２人目の素数さん mailto:sage [2024/12/21(土) 13:46:34.94 ID:tmZr1xdR.net] コテハンも無い輩の意見にレス不要、と思うとの意見。（レス不要） 当人達でノラリクラリと、論戦か何かも分からん雑談、正に便所の落書きスタンス、といえばそこまでだ。 が、そもそもコテハンも無しに学術について論ずる風なのは、いかにもこの国の大学の悪しき風潮「天上天上唯我独尊」に感化されたらしいと見える。 観客無視のライブ、生徒無視の教壇、と同じく殺風景だと、気付かぬは当人達のみ。 854 名前：１３２人目の素数さん [2024/12/21(土) 13:49:49.44 ID:26O59SCD.net] >>803 >実際、≧を整列順序とする整列集合Xには≧の最小元mが存在して、mは＞の極小元。実際、m＞x を満たすx∈Xは存在しない。 以下に訂正。 実際、≧を整列順序とする整列集合　[の空でない任意の部分集合]　Xには≧の最小元mが存在して、mは＞の極小元。実際、m＞x を満たすx∈Xは存在しない。 855 名前：１３２人目の素数さん [2024/12/21(土) 13:55:07.30 ID:26O59SCD.net] >>806 誰もあなたにレスしてくれと言ってないのでレスしなきゃいいだけでは？ 856 名前：現代数学の系譜 雑談 [2024/12/21(土) 14:08:15.50 ID:2V79/Y1m.net] >>806 ありがとうございます どなたかは 知らず が、ごもっともです ご意見は、承った （＾＾ 857 名前：１３２人目の素数さん [2024/12/21(土) 15:15:01.48 ID:26O59SCD.net] >>809 {}∈{{{}}} は間違いという意見も承っては？ 858 名前：１３２人目の素数さん [2024/12/21(土) 15:24:16.93 ID:WIRqKN3y.net] >>786 >立派な経歴を持つ人は信用できる >と言いたいらしいが、 >某名誉教授という反例がある 　童貞君　見た目がいい性悪女にカモられる・・・ 859 名前：１３２人目の素数さん [2024/12/21(土) 15:27:13.67 ID:WIRqKN3y.net] >>788 ＞定理13.18 (超限帰納法)　略す ＞証 明　略す 　童貞君の全人生　略す 　ｷﾞｬﾊﾊﾊﾊﾊﾊ!!! 860 名前：１３２人目の素数さん [2024/12/21(土) 15:34:50.57 ID:WIRqKN3y.net] >>790 > いま、眼前に何冊かの本があるとする > 時間が限られているので、読む本を絞りたい > とすると、まず 　数学書を全部売り払いたまえ 　君の限られた時間では、数学書を読んで理解するには到底足りない 861 名前：１３２人目の素数さん [2024/12/21(土) 15:35:46.39 ID:WIRqKN3y.net] > 本の書名 　数学用語が書かれていたら即売り払いたまえ > 次に著者 　数学者だったら即売り払いたまえ > そして書かれた時期 　関係なく売り払いたまえ > その上で、普通は前書きや目次、後書きを読むだろう 　まったく読まなくていい 　定理も証明も「略す」人ならすべて「略す」でOK 862 名前：１３２人目の素数さん [2024/12/21(土) 15:38:33.94 ID:WIRqKN3y.net] > 著者、誰が書いたか？ は、重要だろう > あと、その本の評判とか 　微積や線形代数の教科書レベルなら全く重要でない > それ以外に、wikipedia なら > 書き手が 数学素人さんでも > 多数の人の目に触れて、エラー訂正がされているとか > 書かれている内容の裏付けになる図書が上げられているなど 　関係ない 　読み手がまったく思考力ゼロなら 　何を読んでも理解できない 　大学１年の４月で落ちこぼれた数学童貞の君がいい例だ 863 名前：１３２人目の素数さん [2024/12/21(土) 15:41:19.84 ID:WIRqKN3y.net] > wikipediaで、裏付けの図書が上げられていないとき > しばしば、”裏付けの文書がない”みたく 注意書きが出る場合がある 　日本のwikipediaは、裏付け●●が管理してるから 　●●の一つ覚えでそういう注意書きばっかりつける 　 　しかし微積や線形代数の教科書レベルでそんなものつけても意味ない 　読む人の論理的思考力がゼロなら何が正しいかを確認できないから 　有名人が書いたというだけで盲信する 　そういう●●はカルト宗教とかにコロッと騙される 　童貞君　君のことだよ 864 名前：１３２人目の素数さん [2024/12/21(土) 15:45:47.73 ID:WIRqKN3y.net] >>794 > その本に どれだけ時間を掛ける価値があるか？ > それは、本を読んでみれば分るかもしれないが > というか、読んでみないと分らないかもしれないが 　童貞君の場合 　そもそも論理的思考力がないから 　どんな数学書であろうと時間を掛ける価値がない 　 　まず論理を理解し論理的思考力を身につけたまえ 　数学を理解したいという気があるのなら、な 　でもそんな気はまったくないんだろ？ 　ただ利口ぶりたいだけなんだろ？ 　そんな軽薄な動機ならやめときたまえ 　時間の無駄だから 　残り少ない人生　囲碁将棋で遊んでたまえ 　もうすぐ後期高齢者だろ？　悪あがきはやめとけ 865 名前：１３２人目の素数さん [2024/12/21(土) 15:49:45.47 ID:WIRqKN3y.net] >>795 > ”某名誉教授”の発言は、だいたい信用できる > 知識が深い。私の知らないことを知っているし・・ 　高卒童貞の君より物知りな人なんてザラにいるよ 　でもそんな程度でいちいち信用してるようじゃ 　カモられるのがオチ 　自分がいかに何も分かってない高卒童貞か 　まずそこから知ったほうがいいんじゃないかね？ 　自分にとって最も耳の痛いことを言ってくれる人こそ 　信用したほうがいい 　自分にとって心地いいことだけ言ってくれる人など 　決して信用してはいけない 　それが人生で最も重要なことだよ 866 名前：１３２人目の素数さん [2024/12/21(土) 15:55:04.64 ID:WIRqKN3y.net] >>796 集合全体が、∈に関して全順序でないことは理解したかい？ 任意の２つの集合で、一方が他方の要素になると、言えないだろ？ それが全てだよ　君が考えもせずに間違った先入見をもったってこと いつものことじゃないか　今度は間違ってないと思ったのかい？ なぜ？　君は只の高卒の童貞じゃないか　数学の神でもなんでもない 正しいわけないじゃないか 君にとって数学は時間の無駄だから諦めたまえ 君にとっての数学は、三角関数の加法定理とオイラーの公式で終わったんだよ 君にとっての数学は、１８世紀で終わり ガウスの整数論で始まる１９世紀の数学は、君にとってまったく無縁 ガロア理論？グロタンディクのスキーム理論？　君にとっては全く価値がない 理解できないんだから 867 名前：１３２人目の素数さん [2024/12/21(土) 16:04:25.47 ID:WIRqKN3y.net] > あなたは、数学に時間を使って、そこから収入を得ているプロ数学者？ >（多分 100％ プロではない） 　だから自分と同じレベル、といいたいようだね 　でも、君、三角関数も知らん奴が同じことをいって 　「お前も俺と全く同レベル」といったら怒るだろ？ 　君は三角関数く 868 名前：らいは知ってるから [] [ここ壊れてます] 869 名前：１３２人目の素数さん [2024/12/21(土) 16:05:35.11 ID:WIRqKN3y.net] >>820 　同じことさ 　微積や線形代数の理論すら理解できん奴が、数学科で学んだ人相手に 　「お前も俺と全く同レベル」といったら怒られる 　こっちは微積や線形代数の理論くらいは理解したから 　だからガロア理論もゲーデルの述語論理の完全性定理もきっかけがあれば理解できる 　１つ山を越した人が２つ目３つ目の山を越すのは別に大したことじゃない 　しかし１つも山を越したことがない奴には無理 　山を越す、つまり理論を理解するとはどういうことか 　全くわかってないから 870 名前：１３２人目の素数さん [2024/12/21(土) 16:58:53.72 ID:WIRqKN3y.net] > 誰も、なんらかの仕事に時間を使って、収入を得る > 時間は無尽蔵ではない > 読む本も優先順位を決めて勉強するべき 　だったら、君にとって数学書は優先順位のリストから除いたほうがいい 　数学書は趣味で読めるようなものではない > もし、趣味で数学本を読むならば、その本も選ぶべき 　そもそも趣味で数学書を読むとかいう無駄なことは止めるべき 871 名前：１３２人目の素数さん [2024/12/21(土) 17:01:18.18 ID:WIRqKN3y.net] > もし、仕事が理系ならば、数学の素養は避けて通れないだろう 　しかしガロア理論など必要ない 　ガロア理論を理解したところで 　代数方程式が余計に解けるわけではない 　ラグランジュの分解式を使った円分方程式の解法も君には全く必要ない 　君らに必要なのは数値解であってべき根を使った解表示ではないはずだ 　工学者として必要な判断はそこ　君は最初の判断から間違ってる > 新しい数学を学ぶ必要が出てくるかも。 > そのときも、読む本は選ぶべき 　まず述語論理を理解すべき 　すべてはそれから 872 名前：１３２人目の素数さん [2024/12/21(土) 17:07:12.97 ID:WIRqKN3y.net] 述語論理のタブロー法には何のマジックもない　実に当たり前のことしかない そしてそれだけで、証明が存在する場合は証明が必ず得られる つまり、数学者の思考に何のマジックもない　時間さえかければ証明は必ず得られる 砂金とりと同じこと　砂金とりにマジックなどない　 労力かければ砂金は得られる　その労力が法外だというだけのこと 873 名前：現代数学の系譜 雑談 [2024/12/21(土) 17:48:17.01 ID:2V79/Y1m.net] >>788 補足 (引用開始) (参考) www.math.is.tohoku.ac.jp/~obata/student/subject/ 東北大学大学院情報科学研究科 システム情報科学専攻 尾畑研究室−システム情報数理学II研究室− www.math.is.tohoku.ac.jp/~obata/student/subject/ 「集合・写像・数の体系　数学リテラシーとして」の草稿(pdf) 第13章 (引用終り) www.math.is.tohoku.ac.jp/~obata/student/subject/ 2022年度 解析学入門 (宮城教育大学2年生向き 水曜日5講時) 概要と到達目標 Summary and Aims of This Course 授業概要 www.math.is.tohoku.ac.jp/~obata/student/subject/file/2022_Miya_Introduction.pdf 問題集 www.math.is.tohoku.ac.jp/~obata/student/subject/file/2022_Miya_Problems.pdf ＜授業概要＞ ■教科書拙著：集合・写像・数の体系,牧野書店,2019.過年度の講義「解析学入門」をまとめたもの. ただし,絶版となっているため,草稿(PDF)をウェブサイト(上記)に掲載する. それにかかわらず,自分に合いそうな本を1冊準備すればよい. (引用終り) つまりは、アップされているテキストPDFは、 解析学入門の講義で使われたものだ ということは、明らかなタイポなどの瑕疵は 治癒されているとみて良いだろう 874 名前：現代数学の系譜 雑談 [2024/12/21(土) 17:54:53.36 ID:2V79/Y1m.net] >>811 >>>786 >>立派な経歴を持つ人は信用できる >>と言いたいらしいが、 >>某名誉教授という反例がある >　童貞君　見た目がいい性悪女にカモられる・・・ なるほど 分りました 『立派な経歴を持つ人は信用できると言いたいらしいが、某名誉教授という反例がある』>>786 を発言した ID:26O59SCD 氏は、おサルの連れで 「箱入り無数目」スレで、某名誉教授が ”箱入り無数目”を認めない旨の発言をしたことを言っているのか しかし、”箱入り無数目”は不成立で認められないから、それは あなた達の思い違いだよ ｗ ；ｐ） 875 名前：１３２人目の素数さん mailto:sage [2024/12/21(土) 18:09:32.31 ID:tmZr1xdR.net] >>808 あえて邪魔したが、好きに続けたまえ。 コテハンも無い輩の意見にレス不要、と思うとの意見。（レス不要） 876 名前：１３２人目の素数さん mailto:sage [2024/12/21(土) 18:22:12.59 ID:tmZr1xdR.net] >>809 わざわざレスありがとう。 折角の栄養価の高いまとまった知見を便所に落書きしては、ハエが集るもの。 勿体ない。 どこか適当なウェブサイト（個人ホームページ、ブログ、note等）にでも、掲載してあれば、参考になろうもの。 あえて邪魔したが、コテハンも無い輩との応酬には、ついていけぬ 877 名前：、との傍から見た率直な感想。（レス不要） [] [ここ壊れてます] 878 名前：１３２人目の素数さん [2024/12/21(土) 18:28:22.49 ID:26O59SCD.net] >>828 ついていけないならついていかなきゃいいだけ 申すに及ばず 879 名前：１３２人目の素数さん mailto:sage [2024/12/21(土) 18:33:42.30 ID:WIRqKN3y.net] ＞”箱入り無数目”は不成立 　この一言で「名誉教授」は不名誉教授になった 　いかに肩書が無意味か分かろうってもんだ 880 名前：１３２人目の素数さん mailto:sage [2024/12/21(土) 18:44:39.98 ID:tmZr1xdR.net] >>829 ハエAさん、わざわざレスありがとう。 便所ユーザーの一人として、高尚な論戦のブンブン音についていけぬのは残念なので、あえて邪魔した。（レス不要） 881 名前：１３２人目の素数さん [2024/12/21(土) 19:00:33.69 ID:26O59SCD.net] >>831 うん邪魔だね　消えていいよ？　遠慮無用 882 名前：１３２人目の素数さん [2024/12/21(土) 19:04:51.60 ID:30Ne2PFX.net] >>830 いつ不成立と言った？ 数学的に意味のある命題については 異議を唱えてはいないはず。 883 名前：１３２人目の素数さん [2024/12/21(土) 19:30:16.59 ID:26O59SCD.net] >>833 数学的に意味のある命題であることも読み取れないほど耄碌したの？ 884 名前：１３２人目の素数さん [2024/12/21(土) 19:31:21.68 ID:26O59SCD.net] アホの典型的言い訳「数学的に意味が無い」 885 名前：１３２人目の素数さん [2024/12/21(土) 19:34:07.30 ID:30Ne2PFX.net] 一応仮定と結論からなる定理の形をしたものしか 認めないという立場をとっているだけ 886 名前：１３２人目の素数さん [2024/12/21(土) 19:35:13.22 ID:30Ne2PFX.net] パンピーから見れば数学者は全部アホ 887 名前：１３２人目の素数さん [2024/12/21(土) 19:39:29.97 ID:26O59SCD.net] >>826 >”箱入り無数目”は不成立で認められないから、それは あなた達の思い違いだよ ｗ ；ｐ） と、ドヤ顔で{}∈{{{}}}と語るど素人さんが申しております 888 名前：１３２人目の素数さん [2024/12/21(土) 19:41:43.98 ID:26O59SCD.net] >>836 アホに認めてもらう必要無いから 889 名前：１３２人目の素数さん [2024/12/21(土) 19:42:58.92 ID:26O59SCD.net] >>837 いや、君意外にアホな数学者なんて知らない 君がアホなだけ 890 名前：１３２人目の素数さん [2024/12/21(土) 19:45:16.55 ID:26O59SCD.net] >>836 たった2ページの記事も読めないならここで発言しない方が良いのでは？ 鼻で笑われるだけだよ 891 名前：１３２人目の素数さん [2024/12/21(土) 19:50:59.42 ID:30Ne2PFX.net] たった2ページの記事で成立が主張されている命題を 正しい数学的形式で述べることができないのなら ここで発言するのはやめたほうが良いのでは？ 892 名前：現代数学の系譜 雑談 [2024/12/21(土) 19:59:57.39 ID:2V79/Y1m.net] >>836 >一応仮定と結論からなる定理の形をしたものしか >認めないという立場をとっているだけ ID:30Ne2PFXは、御大か ご苦労さまです ”一応仮定と結論からなる定理の形をしたものしか 認めない”か なるほど これは、軽い捌きかもしれない ｗｗ　；ｐ） 893 名前：１３２人目の素数さん [2024/12/21(土) 20:06:00.06 ID:26O59SCD.net] >>842 じゃここで発言するのやめなよｗ 894 名前：現代数学の系譜 雑談 [2024/12/21(土) 20:11:22.23 ID:2V79/Y1m.net] >>842 >たった2ページの記事で成立が主張されている命題を >正しい数学的形式で述べることができないのなら >ここで発言するのはやめたほうが良いのでは？ なるほどね 某Ｎ大 ＯＴＫゼミの風景かもね ；ｐ） ”命題を、キチンと 正しい数学的形式で述べてみよ” 数学の基本の”キ” 895 名前：１３２人目の素数さん [2024/12/21(土) 20:25:57.12 ID:26O59SCD.net] 名誉教授さんはその基本のきができないんだってさｗ 896 名前：１３２人目の素数さん [2024/12/21(土) 20:29:01.50 ID:WIRqKN3y.net] >>833　不名誉教授　日和る 897 名前：１３２人目の素数さん [2024/12/21(土) 20:30:27.22 ID:WIRqKN3y.net] >>836 ＞仮定と結論からなる定理の形をしたものしか認めない 　自らの文章読解力が低いことは認めたくない不名誉教授 898 名前：１３２人目の素数さん [2024/12/21(土) 20:32:10.29 ID:WIRqKN3y.net] >>842 正しい数学的形式で述べられている２頁の記事が読めないなら 数学者をやめたほうが良いのではないかね　不名誉教授殿 899 名前：１３２人目の素数さん [2024/12/21(土) 20:34:41.36 ID:30Ne2PFX.net] 正しい数学的形式ではあろうが そもそも数学の命題が述べられているとは 思えなかった 900 名前：１３２人目の素数さん [2024/12/21(土) 20:35:00.51 ID:WIRqKN3y.net] >>843 ＞軽い捌き 確かに軽いね 自らの読解力の低下を認めず、全てを他人のせいにする言い訳はことのほか軽い こんな軽薄な人物を 名古屋大学名誉教授だというだけで盲信する 大阪大学工学部卒の白●も実に軽い 脳味噌がね 901 名前：１３２人目の素数さん [2024/12/21(土) 20:36:36.70 ID:WIRqKN3y.net] >>850 ＞そもそも数学の命題が述べられているとは思えなかった 多変数複素関数論以外の数学は大学１年レベルでも理解できなくなっている不名誉教授 902 名前：１３２人目の素数さん [2024/12/21(土) 20:38:14.80 ID:30Ne2PFX.net] >多変数複素関数論以外の数学は大学１年レベルでも理解できなくなっている不名誉教授 多変数関数論が理解できているわけではないだろう 903 名前：１３２人目の素数さん [2024/12/21(土) 20:41:38.25 ID:WIRqKN3y.net] 多変数複素関数論なんて全く興味がない そこはなんでもかんでもスゴイですねと食いつく ダボハゼのような童貞とは違うよ 自分が必死に研究してきたことに全く興味を持たれなくて悔しいかい？ 904 名前：１３２人目の素数さん [2024/12/21(土) 20:42:45.52 ID:30Ne2PFX.net] 理解できないことを理解できないということは 普通のこと 905 名前：１３２人目の素数さん [2024/12/21(土) 20:44:49.70 ID:WIRqKN3y.net] まあ、以前は、１０代のガウスが研究してきたことにも全く興味がなかった しかし、ある時、不意にその面白さに気づいてしまった 多変数複素関数論にもそんな瞬間が訪れるかもしれない そしたら、自己愛まみれの●違いの岡潔や 歯茎からの出血で歯が血まみれという噂のOTも スゲェ奴だと思うかもしれない・・・期待してるよ 906 名前：現代数学の系譜 雑談 [2024/12/21(土) 20:46:02.71 ID:2V79/Y1m.net] >>850 >正しい数学的形式ではあろうが >そもそも数学の命題が述べられているとは >思えなかった なるほど 命題 P→Q P：仮定節 Q：結論節 P：何が仮定になっているか？ Q：どういう結論を導こうとしているのか？ そこが、グダグダのままで いつの間にか 確率99/100が 忽然と現れるｗ ；ｐ） 907 名前：１３２人目の素数さん [2024/12/21(土) 20:46:07.24 ID:WIRqKN3y.net] >>855 名誉教授ともあろうものが 大学１年レベルの集合論（確率論ではない！）の命題が 理解できないというのは情けない 908 名前：１３２人目の素数さん [2024/12/21(土) 20:47:46.97 ID:30Ne2PFX.net] >>854 今日は研究集会で新潟から来た高校生に 岡の原理について聞かれ 直線束の切断の比による関数の表現まで説明した。 残りの説明は明日する予定。 多変数関数論にまったく興味を持たない人に 「多変数関数論に自分が興味を持たないことが悔しいか」 と聞かれるとは妙な話だな。 909 名前：１３２人目の素数さん [2024/12/21(土) 20:49:37.83 ID:30Ne2PFX.net] >>858 その命題とは何かと質問したら 「2ページの記事に書いてある」 という答えしかもらえない 910 名前：１３２人目の素数さん [2024/12/21(土) 20:50:17.73 ID:WIRqKN3y.net] >>857 童貞はまだ「箱入り無数目」がわかってない 前提 １．出題による、最大決定番号の分布は可測 ２．回答者は列をランダムに選択 ３．回答者の列の選択は出題とは独立 結論 このとき、回答者が選んだ列が最大決定番号である確率はたかだか1/100 911 名前：１３２人目の素数さん [2024/12/21(土) 20:52:54.38 ID:30Ne2PFX.net] >歯茎からの出血で歯が血まみれという噂のOTも 歯は全部抜けてしまった。 912 名前：１３２人目の素数さん [2024/12/21(土) 20:54:43.75 ID:WIRqKN3y.net] >>860 ２ページの記事のどこにも出題の確率分布の指定はない 非可測だからNGとかいうのは、あくまで出題の確率分布を自分勝手に決めたせいであって 可測になるように分布を設定すれば、NGにならない 回答者の列選択が出題と独立とも書かれてはいないが　独立でないとも書かれていない 独立であれば記事の通りの確率になるのであれば、そう設定すればよいことであって これを拒否する理由など全くない この程度のことも思いつかん●●が数学者とか笑わせるな　ただの耄碌爺だろ 913 名前：１３２人目の素数さん [2024/12/21(土) 20:54:56.35 ID:30Ne2PFX.net] >前提 >１．出題による、最大決定番号の分布は可測 >２．回答者は列をランダムに選択 >３．回答者の列の選択は出題とは独立 >結論 >このとき、回答者が選んだ列が最大決定番号である確率はたかだか1/100 これがまったく命題の体をなしていないことに気づかないまま 10年を過ごしてしまったわけだね。 914 名前：１３２人目の素数さん [2024/12/21(土) 20:56:20.88 ID:30Ne2PFX.net] >非可測だからNGとかいうのは、 そんなケチをつけた覚えはないのだが 915 名前：１３２人目の素数さん [2024/12/21(土) 20:57:48.53 ID:WIRqKN3y.net] 記事の結論を導けるような前提が存在する限り、記事の否定はできない 記事の結論を導く前提が明確に記載されてないから数学でない、とかいうのは数学者でない 数学者は結論を導けるように前提を（勝手に）設定しているではないか 自分の仕事を否定する馬鹿がどこにいるのか？ 916 名前：１３２人目の素数さん [2024/12/21(土) 20:59:10.97 ID:WIRqKN3y.net] >>864 ＞これがまったく命題の体をなしていないことに気づかないまま 　それがまったく反論の体をなしていないことに気づかないまま 　くたばっていくわけだね　耄碌爺は 917 名前：１３２人目の素数さん [2024/12/21(土) 20:59:54.68 ID:WIRqKN3y.net] >>865 歯抜けの耄碌爺はもう喋るな 918 名前：１３２人目の素数さん [2024/12/21(土) 21:00:13.40 ID:30Ne2PFX.net] >>867 何に反論してほしいわけ？ 919 名前：１３２人目の素数さん [2024/12/21(土) 21:02:17.23 ID:30Ne2PFX.net] >数学者は結論を導けるように前提を（勝手に）設定しているではないか 前提は勝手でよいわけだが その意味するところが明確でなければならない 920 名前：１３２人目の素数さん [2024/12/21(土) 21:09:25.37 ID:26O59SCD.net] >>855 馬鹿自慢 921 名前：しなくていいから [] [ここ壊れてます] 922 名前：１３２人目の素数さん [2024/12/21(土) 21:16:59.09 ID:26O59SCD.net] >>859 突然自分語り始めるのは認知症の症状ですか？ 923 名前：１３２人目の素数さん [2024/12/21(土) 21:17:41.45 ID:30Ne2PFX.net] >>871 寝言を馬鹿にされたからと言って腹を立てなくてもいいから 924 名前：１３２人目の素数さん [2024/12/21(土) 21:18:13.30 ID:26O59SCD.net] >>860 その答えが不十分と言うなら諦めた方が良い 925 名前：１３２人目の素数さん [2024/12/21(土) 21:22:19.10 ID:26O59SCD.net] >>864 命題とは何か高校生に教えてもらえば？ 926 名前：１３２人目の素数さん [2024/12/21(土) 21:23:26.84 ID:26O59SCD.net] >>865 そりゃそうだ 命題が何かも分らないのにケチのつけようが無いわなｗ 927 名前：１３２人目の素数さん [2024/12/21(土) 21:23:30.23 ID:30Ne2PFX.net] >>874 わからないから説明できないのだろうと 思われているよ 928 名前：１３２人目の素数さん [2024/12/21(土) 21:25:06.10 ID:30Ne2PFX.net] >>875 命題とは何かではなく その命題が何かをきいている 929 名前：１３２人目の素数さん [2024/12/21(土) 21:36:35.38 ID:26O59SCD.net] >>869 何も 2ページの記事も読めない馬鹿はどっか行って欲しいだけ 930 名前：１３２人目の素数さん [2024/12/21(土) 21:37:34.49 ID:26O59SCD.net] >>870 記事の何が明確でないと？ 931 名前：１３２人目の素数さん [2024/12/21(土) 21:38:18.22 ID:26O59SCD.net] >>873 寝言？　馬鹿にされた？ 認知症ですか？ 932 名前：現代数学の系譜 雑談 [2024/12/21(土) 21:38:27.00 ID:2V79/Y1m.net] >>864 (引用開始) >前提 >１．出題による、最大決定番号の分布は可測 >２．回答者は列をランダムに選択 >３．回答者の列の選択は出題とは独立 >結論 >このとき、回答者が選んだ列が最大決定番号である確率はたかだか1/100 これがまったく命題の体をなしていないことに気づかないまま 10年を過ごしてしまったわけだね。 (引用終り) ふーむ なるほど これが、某Ｎ大 ＯＴＫゼミの流儀か （＾＾ 『命題の体をなしていない』・・か そのスジには、10年気づかなかった が、”最大決定番号の分布は可測”の部分は、要証明事項だが 証明が、存在しないことは確かだな ；ｐ） 933 名前：１３２人目の素数さん [2024/12/21(土) 21:39:40.31 ID:26O59SCD.net] >>877 わからないから説明乞いしてるのだろうと 思われているよ 934 名前：１３２人目の素数さん [2024/12/21(土) 21:42:00.51 ID:26O59SCD.net] >>878 たった2ページの記事も読めないんですね？症状進んでるみたいですね 935 名前：１３２人目の素数さん [2024/12/21(土) 21:46:07.15 ID:26O59SCD.net] >>882 前提に証明が必要ってあなたバカなんですか？ 936 名前：１３２人目の素数さん [2024/12/21(土) 21:54:39.41 ID:30Ne2PFX.net] >>885 馬鹿はお前だろ 937 名前：１３２人目の素数さん [2024/12/21(土) 21:56:47.29 ID:30Ne2PFX.net] >>884 たった2ページの記事に書いてある数学的命題も 明確に述べられないんですね 938 名前：１３２人目の素数さん [2024/12/21(土) 22:06:10.62 ID:26O59SCD.net] >>886 つまり君も前提に証明が必要と？ 939 名前：１３２人目の素数さん [2024/12/21(土) 22:08:49.92 ID:26O59SCD.net] >>887 たった2ページの記事に書いてある数学的命題も 明確に読み取れないんですね 940 名前：１３２人目の素数さん [2024/12/21(土) 22:27:41.10 ID:30Ne2PFX.net] そこには確かに数学的命題が書いてあるんだね 941 名前：１３２人目の素数さん [2024/12/21(土) 22:39:05.08 ID:26O59SCD.net] そんな判断もできないほど耄碌したんか？ 942 名前：１３２人目の素数さん [2024/12/21(土) 22:44:34.25 ID:QQpzpt52.net] >>886 ？ 前提じゃないの？ それともそれを仮定すると矛盾すると証明したとか？ 943 名前：１３２人目の素数さん [2024/12/21(土) 22:58:37.89 ID:30Ne2PFX.net] >>891 反語表現もわからないほど幼稚なのか 944 名前：現代数学の系譜 雑談 [2024/12/21(土) 23:08:55.50 ID:2V79/Y1m.net] >>889-890 >たった2ページの記事に書いてある数学的命題も >明確に読み取れないんですね 某Ｎ大ＯＴＫゼミの風景 「ちゃんと命題を書いてみろ。そうすれば、何が問題かが自ずと明確になる」 そういうゼミのご指導でしょう 旧帝では、手取り足取り 解答を教えたりしない 「まず、自分で考えろ！」ってこと そして、何が問題かを自得しろ！ってこと >>885-886 >前提に証明が必要ってあなたバカなんですか？ 1）学生：教授、フェルマーの初等証明ができました！ 　教授：この補題の証明は？ 　学生：補題に証明必要なんですか？ 2）学生：教授、リーマン予想の証明ができました！ 　教授：この補題の証明は？ 　学生：補題に証明必要なんですか？ 何だかね 勝手にでっち上げた補題を前提に、大定理の証明ができたと主張する人がいるんだｗ ；ｐ） 945 名前：１３２人目の素数さん [2024/12/21(土) 23:15:27.35 ID:26O59SCD.net] >>893 分らないからって必死に誤魔化さなくていいよ 946 名前：現代数学の系譜 雑談 [2024/12/21(土) 23:15:33.01 ID:2V79/Y1m.net] 　>>826より再録 なるほど 分りました 『立派な経歴を持つ人は信用できると言いたいらしいが、某名誉教授という反例がある』>>786 を発言した ID:26O59SCD 氏は、おサルの連れで 「箱入り無数目」スレで、某名誉教授が ”箱入り無数目”を認めない旨の発言をしたことを言っているのか しかし、”箱入り無数目”は不成立で認められないから、それは あなた達の思い違いだよ ｗ ；ｐ） 947 名前：１３２人目の素数さん [2024/12/21(土) 23:17:08.46 ID:26O59SCD.net] >>894 補題は命題だから要証明 そんなことも知らないってバカなんですか？ 948 名前：１３２人目の素数さん [2024/12/21(土) 23:18:40.94 ID:26O59SCD.net] >>896 >”箱入り無数目”は不成立で認められないから、それは あなた達の思い違いだよ ｗ ；ｐ） と、ドヤ顔で{}∈{{{}}}と語るど素人さんが申しております 949 名前：１３２人目の素数さん [2024/12/21(土) 23:24:05.61 ID:30Ne2PFX.net] >>895 お前が馬鹿なのはごまかしようがないね 950 名前：１３２人目の素数さん [2024/12/21(土) 23:33:47.08 ID:26O59SCD.net] >>899 前提は要証明と言う人に言われても 951 名前：１３２人目の素数さん [2024/12/21(土) 23:39:33.87 ID:QQpzpt52.net] >>894 >勝手にでっち上げた補題を前提に、大定理の証明ができたと主張する人がいるんだｗ ；ｐ） 補題？ >１．出題による、最大決定番号の分布は可測 >２．回答者は列をランダムに選択 >３．回答者の列の選択は出題とは独立 どれも仮定されているものであって なんらかの証明が必要なものではないよ 952 名前：１３２人目の素数さん [2024/12/21(土) 23:41:04.77 ID:QQpzpt52.net] むしろ その仮定は矛盾を引き起こすと言いたいのであれば そのことを証明しないといけないけど 953 名前：１３２人目の素数さん [2024/12/22(日) 06:19:55.50 ID:RtBUeEJh.net] >>870 >前提の意味するところが明確でなければならない 　明確なのに理解できない不名誉教授 　多変数複素関数論のやりすぎで集合論は初歩から分からんらしい 954 名前：１３２人目の素数さん [2024/12/22(日) 06:21:26.68 ID:J9BAGk0j.net] >>903 数学の命題として明確なのはその一部だけ 全体としては寝言 955 名前：１３２人目の素数さん [2024/12/22(日) 06:21:27.28 ID:RtBUeEJh.net] >>878 861が命題になっていることすらわからん不名誉教授 956 名前：１３２人目の素数さん [2024/12/22(日) 06:25:12.65 ID:RtBUeEJh.net] >>882 ＞”最大決定番号の分布は可測”の部分は、要証明事項だが 　はい、アウト 　そもそも分布を示していないのだから証明しようがない 　したがって逆に可測だと前提してしまえばバカのいいがかりを却下できる 　これが数学の論理　わからん奴は数学の研究をまったくしたことない素人か 　数学の研究で自分が何をやってきたか全部忘れた耄碌爺 957 名前：１３２人目の素数さん [2024/12/22(日) 06:25:57.95 ID:J9BAGk0j.net] >前提 >１．出題による、最大決定番号の分布は可測 >２．回答者は列をランダムに選択 >３．回答者の列の選択は出題とは独立 >結論 >このとき、回答者が選んだ列が最大決定番号である確率はたかだか1/100 これを数学の命題として認められる数学科の教授がいたとしたら 教えてほしい 958 名前：１３２人目の素数さん [2024/12/22(日) 06:30:08.54 ID:J9BAGk0j.net] ＞＞”最大決定番号の分布は可測”の部分は、要証明事項だが 　＞はい、アウト はい、アウト 何が証明事項であるかは前提による。 測度の指定を前提事項にするならば これは要証明事項だろう 959 名前：１３２人目の素数さん [2024/12/22(日) 06:49:22.01 ID:RtBUeEJh.net] >>894 >「まず、自分で考えろ！」 　そう　自分で全く考えずに 　不名誉教授は恒に正しい　と 　盲信した童貞君は数学的に死んだ 　御愁傷様 960 名前：１３２人目の素数さん [2024/12/22(日) 06:51:27.19 ID:RtBUeEJh.net] >>907 ＞これを数学の命題として認められる数学科の教授がいたとしたら教えてほしい 　どこがどう数学の命題として認められないか実名で満天下に公表してごらん 　数学界全体から耄碌爺として葬り去られるから 　御愁傷様 961 名前：１３２人目の素数さん [2024/12/22(日) 06:58:50.41 ID:RtBUeEJh.net] >>908 > 何が証明事項であるかは前提による 　然り > 測度の指定を前提事項にするならば”最大決定番号の分布は可測”は要証明事項だろう 　測度の指定を前提事項にするならば、ね 　でもそうなっていないのは日本語が読める日本人なら誰でもわかること 　ある童貞君は記事に全く書かれていないのに 　「各箱の中身は一様分布、箱同士は独立同分布」 　とかいう二大嘘を勝手に前提していたが、 　これはただ結論を否定したいためだけに行った反数学的独断 　まったく考慮に値しないので即座に切り捨てるべき妄言 　結論を成立させるための前提が存在するか否かを考えるのが数学的思考 　ちなみに”最大決定番号の分布は可測”を成り立たせる出題分布が存在するのは自明 　こんなことすら気づけずにいちゃもんつけてる時点で不名誉教授は耄碌してる 962 名前：１３２人目の素数さん [2024/12/22(日) 07:03:01.10 ID:RtBUeEJh.net] >>911 ＞”最大決定番号の分布は可測”を成り立たせる出題分布が存在するのは自明 例１：ある無限列１００組のみを出題する 例２：有限個の無限列１００組を等確率で出題する 唯一回の出題しか考えないなら、例１で十分 有限回の出題しか考えないなら、例２で十分 例が存在する以上、”最大決定番号の分布は可測”を数学的でないとして却下することはできない 数学者ならみなそう考える　そう考えない不名誉教授はその瞬間、数学者でなくなった 御愁傷様 963 名前：１３２人目の素数さん [2024/12/22(日) 07:08:19.19 ID:J9BAGk0j.net] 部分と全体の区別は大切 これは数学に限らない 964 名前：１３２人目の素数さん [2024/12/22(日) 07:11:06.63 ID:RtBUeEJh.net] 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. 　どんな実数を入れるかはまったく自由， 　例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい. 　もちろんでたらめだって構わない.そして箱をみな閉じる.」 上記の問題文のどこにも 「各箱の中身は一様分布、箱同士は独立同分布」 とは書かれていない したがって書かれていない前提をデッチあげた童貞君と この反数学的主張を全面支持した不名誉教授の二名は 便所と称される数学板で💩に溺れて死んだ 御愁傷様 965 名前：１３２人目の素数さん [2024/12/22(日) 07:14:13.30 ID:RtBUeEJh.net] >>913 実際の出題を部分とする架空の全体を妄想してはならない これは数学に限らない 966 名前：１３２人目の素数さん [2024/12/22(日) 07:16:32.36 ID:RtBUeEJh.net] 不名誉教授に箱入り無数目を分からせる指導は このスレ終了後、以下のスレで実施 「名誉教授」のスレ２ https://itest.5ch.net/rio2016/test/read.cgi/math/1730952790 967 名前：１３２人目の素数さん [2024/12/22(日) 07:35:51.21 ID:RtBUeEJh.net] 権威を盲目的に信頼する思考力ゼロの童貞君以外は不名誉教授の主張を一笑に付す 「あぶない数学」の頃から３０年　独善的な人格はそのままらしい　 968 名前：現代数学の系譜 雑談 [2024/12/22(日) 07:49:31.79 ID:pGQluwbN.net] >>882 補足 (引用開始) >前提 >１．出題による、最大決定番号の分布は可測 >２．回答者は列をランダムに選択 >３．回答者の列の選択は出題とは独立 >結論 >このとき、回答者が選んだ列が最大決定番号である確率はたかだか1/100 これがまったく命題の体をなしていないことに気づかないまま 10年を過ごしてしまったわけだね。 (引用終り) ふーむ なるほど これが、某Ｎ大 ＯＴＫゼミの流儀か （＾＾ 『命題の体をなしていない』・・か そのスジには、10年気づかなかった では、補足をば ｗ 条件節Ｐ：可算無限のXn | n∈N Xn は、箱に任意の実数r を入れて 箱を開けずに的中する 確率変数 明らかに ∀n P(Xn)＝0 (的中確率0) 結論節Ｑ：時枝トリックにより あるn ∃n P(Xn)＝99/100 (的中確率99/100) よって、Ｐ→Ｑ となる数学的証明は存在しない！ ∵ Ｐの∀n P(Xn)＝0 (的中確率0)と、Ｑの∃n P(Xn)＝99/100とは 　最初から、そもそも矛盾している そういう話ですね なので、時枝トリックは”エセ数学”でしたとさ なるほど これが、某Ｎ大 ＯＴＫゼミの流儀か （＾＾ 969 名前：１３２人目の素数さん [2024/12/22(日) 08:39:31.17 ID:kZPpOg3V.net] >>907 おまえが馬鹿だからと言って世の中の数学科の教授がおまえと同じと思うな 970 名前：１３２人目の素数さん [2024/12/22(日) 08:42:42.29 ID:kZPpOg3V.net] >>908 >測度の指定を前提事項にするならば どこにそんなこと書かれてんの？ 勝手に妄想して勝手に暴走する耄碌爺 971 名前：１３２人目の素数さん [2024/12/22(日) 08:48:11.52 ID:kZPpOg3V.net] >>911 >結論を成立させるための前提が存在するか否かを考えるのが数学的思考 まったくその通り かつて数学者だった彼、今は「命題になってない」と駄々こねるだけの駄々っ子 972 名前：１３２人目の素数さん [2024/12/22(日) 08:55:19.70 ID:kZPpOg3V.net] >>918 >Xn は、箱に任意の実数r を入れて 箱を開けずに的中する 確率変数 記事前半のどこにそんな確率変数が書かれてるの？ 勝手に記事と異なる戦略をでっち上げて言いがかりつけても無駄だとなぜ分からないの？　馬鹿だから？ 973 名前：１３２人目の素数さん [2024/12/22(日) 08:56:43.45 ID:RtBUeEJh.net] >>918 > ふーむ なるほど > これが、某Ｎ大 ＯＴＫゼミの流儀か 　ＯＴＫ氏の専門は多変数複素関数論だから 　箱入り無数目はゼミでは扱っていないだろう 　もし扱っていたら教授が学生につるし上げられてた 974 名前：１３２人目の素数さん [2024/12/22(日) 08:58:01.31 ID:RtBUeEJh.net] > 『命題の体をなしていない』・・ > そのスジには、10年気づかなかった 　それはスジではなく禁じ手 　打ったら即敗北　これ豆な 975 名前：１３２人目の素数さん [2024/12/22(日) 08:59:20.39 ID:RtBUeEJh.net] > では、補足をば 　大学数学童貞の高卒素人には何も補足できない 　これ豆な 976 名前：１３２人目の素数さん [2024/12/22(日) 09:04:31.16 ID:RtBUeEJh.net] > 条件節Ｐ：可算無限のXn | n∈N > Xn は、箱に任意の実数r を入れて 箱を開けずに的中する 確率変数 　はい、間違い 「Xn は、箱に任意の実数r を入れる確率変数」にしとけばいいのに 「箱を開けずに的中する」とか●●語を書くから負ける 　●●は何を書くべきか何を書いたらいけないかが分からない > 明らかに ∀n P(Xn)＝0 (的中確率0) 　これまた、間違い 　∀n∀r P(Xn=r)＝0　なら式として意味があるが 　∀n P(Xn)＝0では　そもそも式として無意味 　●●は何が意味があり何が意味がないかが分からない 977 名前：１３２人目の素数さん [2024/12/22(日) 09:09:40.12 ID:RtBUeEJh.net] >結論節Ｑ：時枝トリックにより∃n P(Xn)＝99/100 (的中確率99/100) これまた誤り 結論も正しく読み取れないのでは、記事の正しさが理解できないのも無理はない >よって、Ｐ→Ｑ となる数学的証明は存在しない！ >∵ Ｐの∀n P(Xn)＝0 (的中確率0)と、Ｑの∃n P(Xn)＝99/100とは最初から、そもそも矛盾している そもそも前提も結論も読み間違ってるので無意味 そういう話ですね なので、大学数学童貞のいいがかりは”ニセ数学”でしたとさ 978 名前：１３２人目の素数さん [2024/12/22(日) 09:16:42.79 ID:RtBUeEJh.net] O(i):出題のi列目が単独最大決定番号である確率 Oが可測なら、O(1)+…+O(100)<=1 Q(i):回答者が出題のi列目を選ぶ確率 Qがランダムだと前提するなら、Q(i)はどのiでも1/100 P:回答者が選んだ列が100列中の単独最大決定番号である確率 OとQが独立であると前提すれば P=O(1)*Q(1)+…+O(100)*Q(100)=(Q(1)+…+Q(100)*1/100<=1*1/100 したがってP<=1/100　全部、高校レベル　測度論も要らない こんな簡単なことも分からないとか童貞君は阪大も落ちるね 979 名前：１３２人目の素数さん [2024/12/22(日) 09:18:21.75 ID:RtBUeEJh.net] >>928の誤ってQと書いたところをOに修� 980 名前：ｳ O(i):出題のi列目が単独最大決定番号である確率 Oが可測なら、O(1)+…+O(100)<=1 Q(i):回答者が出題のi列目を選ぶ確率 Qがランダムだと前提するなら、Q(i)はどのiでも1/100 P:回答者が選んだ列が100列中の単独最大決定番号である確率 OとQが独立であると前提すれば P=O(1)*Q(1)+…+O(100)*Q(100)=(O(1)+…+O(100)*1/100<=1*1/100 したがってP<=1/100　全部、高校レベル　測度論も要らない こんな簡単なことも分からないとか童貞君は阪大も落ちるね [] [ここ壊れてます] 981 名前：１３２人目の素数さん [2024/12/22(日) 09:19:29.36 ID:RtBUeEJh.net] >>929のカッコの数があってないところを修正 O(i):出題のi列目が単独最大決定番号である確率 Oが可測なら、O(1)+…+O(100)<=1 Q(i):回答者が出題のi列目を選ぶ確率 Qがランダムだと前提するなら、Q(i)はどのiでも1/100 P:回答者が選んだ列が100列中の単独最大決定番号である確率 OとQが独立であると前提すれば P=O(1)*Q(1)+…+O(100)*Q(100)=(O(1)+…+O(100))*1/100<=1*1/100 したがってP<=1/100　全部、高校レベル　測度論も要らない こんな簡単なことも分からないとか童貞君は阪大も落ちるね 982 名前：１３２人目の素数さん [2024/12/22(日) 09:24:53.33 ID:RtBUeEJh.net] 提案　「数学童貞」のスレ　の設立の提案 数学童貞：大学数学の論理が分からず挫折した一般人 女性との●●Xの機会を得ることに失敗した男性になぞらえた表現 983 名前：１３２人目の素数さん [2024/12/22(日) 09:27:20.93 ID:RtBUeEJh.net] >>931が却下された場合 某コテハン＆トリップが設置したスレは 全て以下のスレッドに統合 https://itest.5ch.net/rio2016/test/read.cgi/math/1731752734 984 名前：現代数学の系譜 雑談 [2024/12/22(日) 09:35:13.79 ID:pGQluwbN.net] 提案　「数学あほサル」のスレ　の設立の提案 数学あほサル：某私大 数学科の3年からオチコボレを自称するも その実1年の2項関係からオチコボレさんだった男 自分のバカさ加減に気づかず 5ch便所板で、嘘八百を垂れまくるやつ 完全なアホｗ ；ｐ） 985 名前：現代数学の系譜 雑談 ◆yH25M02vWFhP [2024/12/22(日) 09:54:02.10 ID:pGQluwbN.net] >>932 (引用開始) >>931が却下された場合 某コテハン＆トリップが設置したスレは 全て以下のスレッドに統合 itest.5ch.net/rio2016/test/read.cgi/math/1731752734 (引用終り) 妄想全開 あたま沸いているぞ あんたは、運営でもなんでもない 只の「１３２人目の素数さん」で、数学板を運営する権限ない 妄想全開 あたま沸いている 哀れな妄想おサルさんｗ ；ｐ） 986 名前：１３２人目の素数さん [2024/12/22(日) 10:04:02.92 ID:kZPpOg3V.net] >>933 >完全なアホｗ ；ｐ） と、{}∈{{{}}}と言ってるアホが申しております 987 名前：１３２人目の素数さん [2024/12/22(日) 10:04:59.44 ID:kZPpOg3V.net] >>933 {}∈{{{}}}が間違いであることは高校生でも分かります。高校生に笑われますよ？ 988 名前：１３２人目の素数さん [2024/12/22(日) 10:24:45.39 ID:RtBUeEJh.net] >>933 ＞1年の2項関係からオチコボレさん 　君がね　神戸の数学童貞君 989 名前：１３２人目の素数さん [2024/12/22(日) 11:01:41.98 ID:kZPpOg3V.net] >>933 >1年の2項関係からオチコボレさん 落ちこぼれは大間違い連発のど素人さん、あなたですよ >正則性公理は ”∈-induction”と関係していて >ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え 大間違い。 ZFC内の集合全体のクラス上の二項関係∈は全順序ではありません。順序関係ですらありません。実際、推移律 a∈b ∧ b∈c ⇒ a∈c の反例 a={},b={{}},c={{{}}} が存在します。 >{}∈{{{}}} 大間違い。 {{{}}}の元は{{}}のみです。 990 名前：１３２人目の素数さん [2024/12/22(日) 11:48:43.92 ID:RtBUeEJh.net] a∈b ∧ b∈c ⇒ a∈c とかいうのよりも 任意の異なる2つの集合a , bで、 a∈b , b∈a のいずれも成り立たないほうが 「集合全体が整列順序」という●●主張 にとって致命的だけどな さすが高校卒業で数学終わった大学数学童貞 ｷﾞｬﾊﾊﾊﾊﾊﾊ!!! 991 名前：１３２人目の素数さん [2024/12/22(日) 12:07:43.15 ID:RtBUeEJh.net] 童貞の大学1年数学敗北史 ・無限乗積の収束を対数無限級数の収束に置き換えられることに気づけず間違える ・正方行列は皆正則行列だと思い込み間違える ・公理系で述語論理を用いることすら知らず間違える ・集合全体のクラスが∈で整列集合を成すと思い込み間違える ｷﾞｬﾊﾊﾊﾊﾊﾊ!!! 992 名前：現代数学の系譜 雑談 [2024/12/22(日) 12:37:44.07 ID:pGQluwbN.net] 再録>>918 さすがは、プロ数学者のご指導です ありがとうございます ｗ >>882 補足 (引用開始) >前提 >１．出題による、最大決定番号の分布は可測 >２．回答者は列をランダムに選択 >３．回答者の列の選択は出題とは独立 >結論 >このとき、回答者が選んだ列が最大決定番号である確率はたかだか1/100 これがまったく命題の体をなしていないことに気づかないまま 10年を過ごしてしまったわけだね。 (引用終り) ふーむ なるほど これが、某Ｎ大 ＯＴＫゼミの流儀か （＾＾ 『命題の体をなしていない』・・か そのスジには、10年気づかなかった では、補足をば ｗ 条件節Ｐ：可算無限のXn | n∈N Xn は、箱に任意の実数r を入れて 箱を開けずに的中する 確率変数 明らかに ∀n P(Xn)＝0 (的中確率0) 結論節Ｑ：時枝トリックにより あるn ∃n P(Xn)＝99/100 (的中確率99/100) よって、Ｐ→Ｑ となる数学的証明は存在しない！ ∵ Ｐの∀n P(Xn)＝0 (的中確率0)と、Ｑの∃n P(Xn)＝99/100とは 　最初から、そもそも矛盾している そういう話ですね なので、時枝トリックは”エセ数学”でしたとさ なるほど これが、某Ｎ大 ＯＴＫゼミの流儀か （＾＾ 993 名前：１３２人目の素数さん [2024/12/22(日) 12:55:54.16 ID:kZPpOg3V.net] >>941 （引用開始） 条件節Ｐ：可算無限のXn | n∈N Xn は、箱に任意の実数r を入れて 箱を開けずに的中する 確率変数 明らかに ∀n P(Xn)＝0 (的中確率0) 結論節Ｑ：時枝トリックにより あるn ∃n P(Xn)＝99/100 (的中確率99/100) （引用終了） あなた記事を読めてませんね そんな読解力では高校生に笑われますよ 994 名前：現代数学の系譜 雑談 mailto:sage [2024/12/22(日) 13:50:39.73 ID:pGQluwbN.net] 再録>>918 さすがは、プロ数学者のご指導です ありがとうございます ｗ >>882 補足 (引用開始) >前提 >１．出題による、最大決定番号の分布は可測 >２．回答者は列をランダムに選択 >３．回答者の列の選択は出題とは独立 >結論 >このとき、回答者が選んだ列が最大決定番号である確率はたかだか1/100 これがまったく命題の体をなしていないことに気づかないまま 10年を過ごしてしまったわけだね。 (引用終り) ふーむ なるほど これが、某Ｎ大 ＯＴＫゼミの流儀か （＾＾ 『命題の体をなしていない』・・か そのスジには、10年気づかなかった では、補足をば ｗ 条件節Ｐ：可算無限のXn | n∈N Xn は、箱に任意の実数r を入れて 箱を開けずに的中する 確率変数 明らかに ∀n P(Xn)＝0 (的中確率0) 結論節Ｑ：時枝トリックにより あるn ∃n P(Xn)＝99/100 (的中確率99/100) よって、Ｐ→Ｑ となる数学的証明は存在しない！ ∵ Ｐの∀n P(Xn)＝0 (的中確率0)と、Ｑの∃n P(Xn)＝99/100とは 　最初から、そもそも矛盾している そういう話ですね なので、時枝トリックは”エセ数学”でしたとさ なるほど これが、某Ｎ大 ＯＴＫゼミの流儀か （＾＾ 995 名前：１３２人目の素数さん [2024/12/22(日) 13:56:50.14 ID:kZPpOg3V.net] >>943 （引用開始） 条件節Ｐ：可算無限のXn | n∈N Xn は、箱に任意の実数r を入れて 箱を開けずに的中する 確率変数 明らかに ∀n P(Xn)＝0 (的中確率0) 結論節Ｑ：時枝トリックにより あるn ∃n P(Xn)＝99/100 (的中確率99/100) （引用終了） あなた記事を読めてませんね そんな読解力では高校生に笑われますよ 996 名前：１３２人目の素数さん [2024/12/22(日) 15:30:08.77 ID:RtBUeEJh.net] >>941-944 正解 条件節Ｐ： O(i):出題のi列目が単独最大決定番号である確率 Oが可測なら、O(1)+…+O(100)<=1 Q(i):回答者が出題のi列目を選ぶ確率 Qがランダムだと前提するなら、Q(i)はどのiでも1/100 P:回答者が選んだ列が100列中の単独最大決定番号である確率 OとQが独立であると前提すれば P=O(1)*Q(1)+…+O(100)*Q(100) 結論節Ｑ： P=(O(1)+…+O(100))*1/100<=1*1/100 ハイ論破 997 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 15:47:45.28 ID:RtBUeEJh.net] 数学板、必敗法 １．イタいハンドルネームを入れ、ご丁寧にトリップまでつける 例：現代数学の系譜 雑談 ◆yH25M02vWFhP なにいってんだか、わけわかりません（笑） 998 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 15:49:35.81 ID:RtBUeEJh.net] 数学板、必敗法 ２．のっけから強がって笑う 例：ふっふ、ほっほ 気持ち悪いだけ（笑） 999 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 15:53:26.21 ID:RtBUeEJh.net] 数学板、必敗法 ３．文章に1),2),3)…と謎の番号付けをする Lutwig Wittgenstein Tractatus Logico-Philosophicus のマネみたいですが ただの●違いかと（笑） 1000 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 15:56:52.90 ID:RtBUeEJh.net] 数学板、必敗法 ４．長々と無駄文コピペするくせに肝心の公理・定理・証明は「略す」 ●●っぷり全開（笑） 1001 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 15:58:08.43 ID:RtBUeEJh.net] 数学板、必敗法 ５．大学教授と聞いただけで「御大」と持ち上げ媚びへつらう 小者っぷりがイタイタシイ（笑） 1002 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 16:02:02.31 ID:RtBUeEJh.net] >>946-950 の逆をいけば勝てる １．HNもトリップもつけない　目立たないことが大事 ２．感情を露わにしない　子供じゃないんだから ３．奇を衒わない　自己主張は百害あって一利なし ４．引用はせず肝心なことは全部自分の言葉で書く　自分考えることが大事 ５．誰であろうと媚びへつらわない　それがまともな人の態度です あなたも今この瞬間から実践してくださいね 1003 名前：現代数学の系譜 雑談 [2024/12/22(日) 16:41:51.51 ID:pGQluwbN.net] ふっふ、ほっほ 再録>>918 さすがは、プロ数学者のご指導です ありがとうございます ｗ >>882 補足 (引用開始) >前提 >１．出題による、最大決定番号の分布は可測 >２．回答者は列をランダムに選択 >３．回答者の列の選択は出題とは独立 >結論 >このとき、回答者が選んだ列が最大決定番号である確率はたかだか1/100 これがまったく命題の体をなしていないことに気づかないまま 10年を過ごしてしまったわけだね。 (引用終り) ふーむ なるほど これが、某Ｎ大 ＯＴＫゼミの流儀か （＾＾ 『命題の体をなしていない』・・か そのスジには、10年気づかなかった では、補足をば ｗ 条件節Ｐ：可算無限のXn | n∈N Xn は、箱に任意の実数r を入れて 箱を開けずに的中する 確率変数 明らかに ∀n P(Xn)＝0 (的中確率0) 結論節Ｑ：時枝トリックにより あるn ∃n P(Xn)＝99/100 (的中確率99/100) よって、Ｐ→Ｑ となる数学的証明は存在しない！ ∵ Ｐの∀n P(Xn)＝0 (的中確率0)と、Ｑの∃n P(Xn)＝99/100とは 　最初から、そもそも矛盾している そういう話ですね なので、時枝トリックは”エセ数学”でしたとさ なるほど これが、某Ｎ大 ＯＴＫゼミの流儀か （＾＾ 1004 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 16:52:46.62 ID:RtBUeEJh.net] >>952 > 現代数学の系譜 雑談 ◆yH25M02vWFhP 　はい、負け > ふっふ、ほっほ 　はい、負け > さすがは、プロ数学者 　はい、負け 1005 名前：１３２人目の素数さん [2024/12/22(日) 16:57:45.36 ID:RtBUeEJh.net] >条件節Ｐ：可算無限のXn | n∈N >Xn は、箱に任意の実数r を入れて 箱を開けずに的中する 確率変数 >明らかに ∀n P(Xn)＝0 (的中確率0) P(Xn)ってXnであることの確率ですか？　 それが0？　Xn存在しないんですね？（嘲笑） >結論節Ｑ：時枝トリックにより >あるn ∃n P(Xn)＝99/100 (的中確率99/100) Xnである確率が99/100であるnが存在する？ 残り1/100はP(¬Xn)ですか？（嘲笑） >よって、Ｐ→Ｑ となる瑞矧w的証明は存麹ﾝしない！ >∵ Ｐの∀n P(Xn)＝0 (的中確率0)と、Ｑの∃n P(Xn)＝99/100とは最初から、そもそも矛盾している そもそもP(Xn)のXnってどんな事象だかわかんないですわ 高校で習いませんでした？P()の()の中身って事象を書くんですよ Xnって事象ですか？（嘲笑） 1006 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 17:03:08.41 ID:RtBUeEJh.net] 「箱入り無数目」の確率を正確に書けば P₍回答者が選んだ列siについて、si(Di)=r(s(Di)))=99/100 文章を正しく読めない書けない文盲は数学も正しく理解できないよね 1007 名前：１３２人目の素数さん [2024/12/22(日) 17:07:57.19 ID:kZPpOg3V.net] >>952 （引用開始） 条件節Ｐ：可算無限のXn | n∈N Xn は、箱に任意の実数r を入れて 箱を開けずに的中する 確率変数 明らかに ∀n P(Xn)＝0 (的中確率0) 結論節Ｑ：時枝トリックにより あるn ∃n P(Xn)＝99/100 (的中確率99/100) （引用終了） あなた記事を読めてませんね そんな読解力では高校生に笑われますよ 1008 名前：１３２人目の素数さん [2024/12/22(日) 17:19:16.59 ID:RtBUeEJh.net] まあ、童貞君、P(Xn)とか書いちゃってる時点でもうなんていうか そんなことだから、大学１年の数学の単位全部落とすんだぞ、といいたくなる 1009 名前：１３２人目の素数さん [2024/12/22(日) 18:28:32.48 ID:RtBUeEJh.net] 微積の三大関門 ・実数の定義 ・数列の収束の定義（ε-N） ・関数の連続の定義（ε‐δ） 「なんでそう定義するのかわからない」という童貞君 じゃあ、どうやって 実数と確認する？ 収束を確認する？ 連続を確認する？ 直感？直感って確認法ですか？ 1010 名前：１３２人目の素数さん [2024/12/22(日) 18:46:57.47 ID:RtBUeEJh.net] 線型代数の三大ポイント ・線型独立 ・線型空間の基底、次元 ・線形写像の階数、像、核 行列式ガー・固有値ガー・ジョルダン分解ガー とかいう前にちゃんと理解しとくことはある 1011 名前：現代数学の系譜 雑談 ◆yH25M02vWFhP mailto:sage [2024/12/22(日) 19:07:06.01 ID:pGQluwbN.net] ふっふ、ほっほ 再録>>918 さすがは、プロ数学者のご指導です ありがとうございます ｗ 　>>916の下記は、ケリ一発で、雲散霧消しましたねｗ ；ｐ） 『不名誉教授に箱入り無数目を分からせる指導は このスレ終了後、以下のスレで実施 「名誉教授」のスレ２ https://itest.5ch.net/rio2016/test/read.cgi/math/1730952790』 ガッハハｗ、ガッハハｗｗ ；ｐ） 1012 名前： >>882 補足 (引用開始) >前提 >１．出題による、最大決定番号の分布は可測 >２．回答者は列をランダムに選択 >３．回答者の列の選択は出題とは独立 >結論 >このとき、回答者が選んだ列が最大決定番号である確率はたかだか1/100 これがまったく命題の体をなしていないことに気づかないまま 10年を過ごしてしまったわけだね。 (引用終り) ふーむ なるほど これが、某Ｎ大 ＯＴＫゼミの流儀か （＾＾ 『命題の体をなしていない』・・か そのスジには、10年気づかなかった では、補足をば ｗ 条件節Ｐ：可算無限のXn | n∈N Xn は、箱に任意の実数r を入れて 箱を開けずに的中する 確率変数 明らかに ∀n P(Xn)＝0 (的中確率0) 結論節Ｑ：時枝トリックにより あるn ∃n P(Xn)＝99/100 (的中確率99/100) よって、Ｐ→Ｑ となる数学的証明は存在しない！ ∵ Ｐの∀n P(Xn)＝0 (的中確率0)と、Ｑの∃n P(Xn)＝99/100とは 　最初から、そもそも矛盾している そういう話ですね なので、時枝トリックは”エセ数学”でしたとさ なるほど これが、某Ｎ大 ＯＴＫゼミの流儀か （＾＾ [] [ここ壊れてます] 1013 名前：１３２人目の素数さん [2024/12/22(日) 19:16:38.01 ID:kZPpOg3V.net] >>960 アホ自慢楽しいですか？ 1014 名前：１３２人目の素数さん [2024/12/22(日) 19:29:01.82 ID:pGQluwbN.net] 楽しいよ もっと、アホバカの二人がいることが 分ったからねｗｗｗ ；ｐ） 1015 名前：１３２人目の素数さん [2024/12/22(日) 20:08:55.74 ID:kZPpOg3V.net] >>962 間違いを認められるようにならないとアホは治らないですよ？ 1016 名前：１３２人目の素数さん [2024/12/22(日) 20:33:23.70 ID:RtBUeEJh.net] >ふっふ、ほっほ >ガッハハ、ガッハハ 童貞君 微積・線型代数・論理・集合　 ４連敗でついに発● 1017 名前：１３２人目の素数さん [2024/12/22(日) 20:35:40.53 ID:RtBUeEJh.net] 自己愛性パーソナリティ障害の患者は自分の能力を過大評価し、 自分の業績を誇張し、他者の能力を過小評価する傾向がある。 自己愛性パーソナリティ障害の診断は、 自分の重要性と才能についての誇大な、根拠のない感覚、 無条件に賞賛されたいという欲求、 特権意識などの特定の症状に基づいて下される。 基礎にある葛藤に焦点を当てた精神療法が役立つことがある。 1018 名前：現代数学の系譜 雑談 mailto:sage [2024/12/22(日) 20:37:23.87 ID:pGQluwbN.net] 一体全体、プロ数学者をなめすぎだろ？ｗ ；ｐ） 　>>917より >権威を盲目的に信頼する思考力ゼロの童貞君以外は不名誉教授の主張を一笑に付す 　>>919より >おまえが馬鹿だからと言って世の中の数学科の教授がおまえと同じと思うな そもそもが プロ数学者が、あやしい 『まったく命題の体をなしていない』>>960 と宣うのだから オチコボレさんたち、そこで立ち止まって考えないといけない オチコボレさんたちの倒錯も ここまで来たら、滑稽千万だぜｗｗｗ ；ｐ） 1019 名前：１３２人目の素数さん [2024/12/22(日) 20:43:43.26 ID:8NKmjPW+.net] >>966 >プロ数学者が、あやしい >『まったく命題の体をなしていない』>>960 >と宣うのだから その人がなぜそう思ったのか不思議 何らかの前提を本人も考えていて それに合わないと断じただけでは？ 1020 名前：１３２人目の素数さん [2024/12/22(日) 20:47:48.38 ID:kZPpOg3V.net] >>966 プロ数学者が死ねと言ったら君は死ぬのかい？ 1021 名前：１３２人目の素数さん [2024/12/22(日) 21:05:09.70 ID:RtBUeEJh.net] >>966 フィールズメダリストでも 大問題に対してトンチンカンな証明を出したら みな信用しない https://blog.goo.ne.jp/ktonegaw/e/0a06e093aa22eebdfae10e8b94457578 1022 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 21:07:45.81 ID:RtBUeEJh.net] 2017年、アティヤは、群論という抽象的な分野で 1963年に初めて255ページの論文として証明された Feit-Thompsonの定理（奇数位数の有限群は可解であるという定理）を 大幅に単純化して12ページの証明にしたと ロンドンのタイムズ紙に語ったことがある。 彼はその証明をその分野の専門家15人に送ったが、 彼らは疑念を示すか無言のままで、 証明はついに学術誌に掲載されることはなかった。 1023 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 21:08:23.43 ID:RtBUeEJh.net] その前年には、ArXivというプレプリントのリポジトリ・サイトに アティヤは微分幾何学の有名な問題を解いたとして投稿したのだが、 同僚たちは彼のアプローチが不正確であるとすぐ指摘し、 証明が正式に公表されることはなかった。 1024 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 21:09:13.40 ID:RtBUeEJh.net] Science誌（この記事が掲載されているサイト名）は、アティヤの同僚の何人かに連絡した。 すると全員が口をそろえて、アティヤが引退から返り咲きたいために 不確かな連想に基づく証明をすることを心配していると語っていた。 1025 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 21:11:17.54 ID:RtBUeEJh.net] リバーサイドにあるカリフォルニア大学の数理物理学者のJohn Baezは 批判するのに 1026 名前：実名を出してよい、という数少ない人物の一人である。 「（アティヤの）証明は、印象的な主張を別の主張の上に積み重ねただけで、 主張をつなぐ議論や具体的な論証は全くなかった。」と彼は言う。 [] [ここ壊れてます] 1027 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 21:11:56.42 ID:RtBUeEJh.net] いかにフィールズメダリストといえども耄碌したら素人と同じ 1028 名前：１３２人目の素数さん [2024/12/22(日) 21:14:26.50 ID:kZPpOg3V.net] いや名誉教授という肩書が素人より質悪くさせる 1029 名前：１３２人目の素数さん [2024/12/22(日) 21:32:13.99 ID:RtBUeEJh.net] >>975 あくまで主張の内容が何も知らん素人と全く同レベルという意味 これ元数学者としてはこれ以上ない屈辱だと　素人と全く同じだなんて 1030 名前：現代数学の系譜 雑談 mailto:sage [2024/12/22(日) 21:41:35.95 ID:pGQluwbN.net] 笑えますｗ 自分たちの頭の悪さがｗｗ 計算に入っていないぞｗｗｗ ；ｐ） 1031 名前：１３２人目の素数さん [2024/12/22(日) 21:45:44.23 ID:y7+/Oje8.net] 一気に伸びた 1032 名前：１３２人目の素数さん [2024/12/22(日) 22:26:42.86 ID:kZPpOg3V.net] >>977 >笑えますｗ >自分たちの頭の悪さがｗｗ >計算に入っていないぞｗｗｗ ；ｐ） と、{}∈{{{}}}と言う人が申しております 1033 名前：現代数学の系譜 雑談 mailto:sage [2024/12/22(日) 22:34:28.31 ID:pGQluwbN.net] >>978 ID:y7+/Oje8 は、御大か 夜の巡回ご苦労さまです 数学科のオチコボレさんたちは 火星人のように、”地球に仲間を欲しがったりする” 数学科のオチコボレさんたちは 寂しいようです。”それはまったくたしかなことだ” (参考) www.poetry.ne.jp/zamboa_ex/tanikawa/ Poetry Japan 谷川俊太郎 火星人は小さな球の上で 何をしてるか　僕は知らない （或いは　ネリリし　キルルし　ハララしているか） しかしときどき地球に仲間を欲しがったりする それはまったくたしかなことだ 1034 名前：１３２人目の素数さん [2024/12/22(日) 23:08:07.46 ID:kZPpOg3V.net] >ID:y7+/Oje8 は、御大か >夜の巡回ご苦労さまです 御大とかいう人{}∈{{{}}}は間違いだと言わないね さては正しいと思ってるのか 馬鹿ｗ 1035 名前：現代数学の守護天使　 [2024/12/23(月) 05:37:41.71 ID:yCath8Ii.net] ＞・・・は、御大か 　大学教授が言ったから正しい、という公理はない 1036 名前：１３２人目の素数さん [2024/12/23(月) 05:42:04.95 ID:8VHb1+yB.net] >御大とかいう人{}∈{{{}}}は間違いだと言わないね >さては正しいと思ってるのか >馬鹿ｗ 一度指摘した。 繰り返したほうがよかったか？ 1037 名前：現代数学の守護天使　 ◆0t25ybzgvEX5 mailto:sage [2024/12/23(月) 05:49:05.89 ID:yCath8Ii.net] >>983 指摘した投稿の番号を書いて　それ以外は全てウソをついた判定 1038 名前：現代数学の守護天使　 [2024/12/23(月) 05:58:57.65 ID:yCath8Ii.net] 「御大」の書き込みは>>756 つまり「御大」は童貞を一刀両断で斬って捨てた 童貞、「御大」に裏切られる 童貞　死す！ 1039 名前：１３２人目の素数さん [2024/12/23(月) 06:06:01.33 ID:8VHb1+yB.net] >>984 そんなもの記録していないから 最初から探したので大変手間取った。 番号は753 1040 名前：１３２人目の素数さん mailto:sage [2024/12/23(月) 06:48:34.43 ID:dEKX9mQu.net] >>290 （横からレスでスマソ） 289です。 思わぬまとめのレスを ありがとうございました。 遅ればせながらお礼まで。 スレ主にも感謝。 >>1以外に、どこかに書き込みしているのやらまったく分かりませんが。 個人的には、基礎論の情報収集の参考になりました。 1041 名前：現代数学の系譜 雑談 mailto:sage [2024/12/23(月) 07:24:04.30 ID:moCfr63a.net] >>987 コメントご苦労さまです 　>>290を書いた ”1でなく>>13から”の者です 　>>290を書いたときは、PCが使えない場所からスマホで投稿しました >個人的には、基礎論の情報収集の参考になりました。 コメントご苦労さまです スレ主>>1さんのご納得頂ける解答が得られたかどうか？ もう一度まとめておくと、ZFCは地下の基礎論の部分でして 多くの地上の数学（>>290）を支えていることは間違いない しかし、ZFCの中では地上の数学をやるには、全く不便 ZFCの中では、普段の言葉は一切禁止ですから （＾＾ 例えば、円周率πの近似3.14を表現するには、ZFCでは下記のようになる {Φ, {Φ}, {Φ, {Φ}}} . {Φ} {Φ, {Φ}, {Φ, {Φ}}, {Φ, {Φ}, {Φ, {Φ}}}} となる おっと、小数点 ”. ”が未定義でしたねｗ だが、地上の数学を、地下のZFCの中でやる必要は全くないってことです これが、>>1に対する私の回答です が、繰り返すが、ZFCが地上の数学の基礎になっていることは確かです (参考) ja.wikipedia.org/wiki/%E3%83%84%E3%82%A7%E3%83%AB%E3%83%A1%E3%83%AD%EF%BC%9D%E3%83%95%E3%83%AC%E3%83%B3%E3%82%B1%E3%83%AB%E9%9B%86%E5%90%88%E8%AB%96 ツェルメロ＝フレンケル集合論（英: Zermelo-Fraenkel set theory） 7. 無限公理 最初のフォン・ノイマン順序数 0 = {} =Φ 1 = {0} = {Φ} 2 = {0, 1} = {Φ, {Φ}} 3 = {0, 1, 2} = {Φ, {Φ}, {Φ, {Φ}}} 4 = {0, 1, 2, 3} = {Φ, {Φ}, {Φ, {Φ}}, {Φ, {Φ}, {Φ, {Φ}}}} 1042 名前：現代数学の系譜 雑談 mailto:sage [2024/12/23(月) 07:24:35.87 ID:moCfr63a.net] >>983 &>>986 >>御大とかいう人{}∈{{{}}}は間違いだと言わないね >>さては正しいと思ってるのか >>馬鹿ｗ >一度指摘した。 >繰り返したほうがよかったか？ >番号は753 では私も、3つ番号をば、721、742、743 この3つで、『{}∈{{{}}}』について、個別に真だの偽だのを論じたことはない おサルさんたちが、自分たちの言い逃れのため、ヤクザのインネンを付けてきているだけのことよ めんどう臭いから、スルーしていますｗ （＾＾ 　>>721より (引用開始) 正則性公理は ”∈-induction”と関係していて ZFC内の全ての集合について”∈-”による整礎関係を与え、 ∈に関する整礎帰納法である”∈-induction”の適用を可能とする 全順序とか余計な一言を書いたせいで大恥かいたな　高卒童貞 正則性公理は∈を整礎関係たらしめると同時に反射律 a∈a を否定するため順序関係たらしめない。 また正則性公理と関係無く推移律 a∈b ∧ b∈c ⇒ a∈c は成立しない。実際 {}∈{{}} ∧ {{}}∈{{{}}} は真だが、{}∈{{{}}} は偽。 >正則性公理は ”∈-induction”と関係していて >ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え は大間違い (引用終り) ”無茶苦茶でござりまする”ｗ ；ｐ）（下記） 基礎論婆は、所詮この程度よｗｗ 基礎論自慢だが、大したことないｗｗｗ 大局観が欠落しているヘボ碁だよ ；ｐ） 要するに、『"∈"が"<"と同じ役割をして』ってところが肝です そして、整楚はもともと、正則性定理に含意されている。だから、ヘンテコな式とは関係無い話です ；ｐ） (引用終り) 　>>742より おサルさんの失敗・失言語録として 収録しますｗ ；ｐ） 数学科で、順序関係から 落ちコボレさんかよ、オイオイｗ ；ｐ） (参考) >>686 2024/12/18(水) 12:15:24.65ID:Qg6qEuwg (引用開始) 正則性公理は∈を整礎関係たらしめると同時に反射律 a∈a を否定するため順序関係たらしめない。 また正則性公理と関係無く推移律 a∈b ∧ b∈c ⇒ a∈c は成立しない 実際 {}∈{{}} ∧ {{}}∈{{{}}} は真だが、{}∈{{{}}} は偽。 >正則性公理は ”∈-induction”と関係していて >ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え は大間違い (引用終り) 　>>743より >実際 {}∈{{}} ∧ {{}}∈{{{}}} は真だが、{}∈{{{}}} は偽。 >>ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え 補足しておこう １）ZFC内の集合は、 　全て空集合Φ={}から、組み立てられている ２）ある集合A={a}があったとする 　{a}から、{}をとると aになる。aもまた、空集合Φ={}から、組み立てられている 　”{}をとる”という操作を繰り返すと、最後は空集合Φ={}に行き着く ３）”{}をとる”という操作は、”∈-”の関係に翻訳できる 　”∈-”の関係を辿ると、最後は空集合Φ={}に行き着くってこと (引用終り) 1043 名前：１３２人目の素数さん [2024/12/23(月) 07:43:52.36 ID:0GcedQpv.net] 981 ID:kZPpOg3V >御大とかいう人{}∈{{{}}}は間違いだと言わないね 983 ID:8VHb1+yB >一度指摘した。 984 ID:yCath8Ii >指摘した投稿の番号を書いて 986 ID:8VHb1+yB >番号は753 ×　正解は756 1044 名前：１３２人目の素数さん [2024/12/23(月) 07:45:23.08 ID:0GcedQpv.net] 証拠 >>753 {}∈{{}, {{}}}は真 >>756 {}∈{{{}}}でないのでダメ 1045 名前：１３２人目の素数さん [2024/12/23(月) 07:52:04.02 ID:XUEChow2.net] >>989 > 要するに、『"∈"が"<"と同じ役割をして』ってところが肝です 　要するに、その粗雑化が嘘です > 失敗・失言語録として収録します 　童貞君自身の失敗録でしたか > ”∈-”の関係を辿ると、最後は空集合Φ={}に行き着くってこと 　その通りだが、そこから∈が全順序関係だとは言えないってこと 　縁なきおサルは度し難し 1046 名前：１３２人目の素数さん [2024/12/23(月) 07:55:24.87 ID:XUEChow2.net] 続きは↓スレで 雑談はここに書け！【68】 タイトルにある通り 「”現代数学の系譜 雑談 ◆yH25M02vWFhP”はここに書け！」 1047 名前：現代数学の系譜 雑談 [2024/12/23(月) 08:00:25.33 ID:moCfr63a.net] >>992 粗雑なのは、あなた 下記の フォン・ノイマン宇宙 V ja.wikipediaとen.wikipediaとを 百回音読してねｗ ；ｐ） 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 フォン・ノイマン宇宙 V とは、遺伝的（英語版）整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。 整礎集合の階数(rank)はその集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される[1]。特に、空集合の階数は0で、順序数はそれ自身と等しい階数をもつ。V内の集合はその階数に基づいて超限個の階層に分けられ、その階層は累積的階層と呼ばれる。 en.wikipedia.org/wiki/Von_Neumann_universe Von Neumann universe 1048 名前：現代数学の系譜 雑談 [2024/12/23(月) 08:02:44.61 ID:moCfr63a.net] >>993 笑える 勝手に 雑談スレで踊りなよ おれは、雑談スレには書いたことがないよ そもそも、5ch 便所板でしょ？ 全部雑談だろ？ｗ ；ｐ） 1049 名前：１３２人目の素数さん [2024/12/23(月) 08:06:37.19 ID:XUEChow2.net] >>994 童貞君、さすが大学１年の４月で落ちこぼれただけのことはある この期に及んで、まだ、{}∈{{{}}}でないことが受け入れられない 愛する御大にも、756で間違いだと指摘されているのに これはもう病気だな　どんだけ自惚れてるんだ 1050 名前：１３２人目の素数さん mailto:sage [2024/12/23(月) 08:08:53.16 ID:XUEChow2.net] >>995 > そもそも、5ch 便所板でしょ？ 　そもそも、君は便所のダンゴムシってことか　童貞君 やっぱり、続きは雑談スレ 君は書かなくていいよ　 おかしなHNもトリップもコピペも謎の番号もキモチワルイだけだから 1051 名前：１３２人目の素数さん [2024/12/23(月) 08:17:47.27 ID:XUEChow2.net] 数学童貞君　失言録 ・任意の項が１未満の無限乗積は０に発散、と誤り発言 ・正方行列は正則行列、と誤り発言 ・存在命題から、元を一つ決めることができない、と誤り発言 ・任意の集合からなるクラスは、∈で整列順序を為す、と誤り発言 1052 名前：現代数学の系譜 雑談 [2024/12/23(月) 08:18:19.43 ID:moCfr63a.net] >>996 >この期に及んで、まだ、{}∈{{{}}}でないことが受け入れられない ヤクザのインネンでしょ？ｗ ；ｐ） 1053 名前：１３２人目の素数さん [2024/12/23(月) 08:19:56.32 ID:8VHb1+yB.net] >>984 ロシアのような猜疑心 1054 名前：1001 [Over 1000 Thread.net] このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 40日 10時間 31分 6秒 1055 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

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