[過去ﾛｸﾞ] ℝ/ℚの代表元ってどんなの？ (161ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(3): 2025/07/02(水)09:11 ID:1N7KsM+C(1) AAS
位相は？
62: 2025/09/07(日)14:22 ID:hvfvmXnW(6/7) AAS
>>59 補足
有理数Qを完備化すると、実数体Rが得られる
同様に、有限小数環Uを完備化すると、実数体Rが得られる
つまりは、有理コーシー列は 有限小数コーシー列で実現できる
それは、下記 東北大 尾畑研
『有限小数と無限小数
ここでは実数を無限小数で表される数ととらえる』
と同値
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
省21
63: 2025/09/07(日)14:36 ID:hvfvmXnW(7/7) AAS
>>59 補足
>要するに、言いたいことは
>無限小数表現では、無限長しっぽの先のパターンで
>実数の 同値類の分類が可能だということ
そもそもは、実数Qの 無限小数表現の無限長しっぽの先のパターンの話だが
有理数Qでも、同様に 無限小数表現の無限長しっぽの先のパターンの話が可能
それが、下記の Sergiu Hart氏の Choice Gamesの ”game2”だ
区間[0,1]の有理数の無限小数表現のしっぽの先のパターンを使って
数当てゲームで 確率 1 − ε を得るというパズルだが
この数当てトリックが機能しないことは、すぐ分る
省23
64: 2025/09/07(日)15:01 ID:fR1GR5P0(2/2) AAS
Remark. When the number of boxes is finite
65: 2025/09/07(日)15:06 ID:CTxYlvA3(2/3) AAS
>>57 あ、逃げた
66(1): 2025/09/07(日)15:12 ID:CTxYlvA3(3/3) AAS
>>58
もし、ヴィタリ集合Vの量がある無限小量εで表せるとした場合
有理数Qの元の個数ωは、εω＝１となる、無限大超自然数で表せる筈だが
なぜならω個のVの重ね合わせで測度1の集合がつくれるのだから
Vの測度がεなら、当然ω＝1/εとなる
だからそれはいくつかと尋ねている
こたえられないなら、そもそもVの測度がεというのが嘘ってことだろ？
67(1): 2025/09/07(日)19:32 ID:tm+Ngv0N(1) AAS
♪望みは た〜かく 果てしなく
わからんちんどもに とっちめられちん
とんちんかんちん 工学さん♪
68(4): 2025/09/09(火)10:22 ID:mSmF3uVl(1/2) AAS
>>66-67
>もし、ヴィタリ集合Vの量がある無限小量εで表せるとした場合
>有理数Qの元の個数ωは、εω＝１となる、無限大超自然数で表せる筈だが
一句”不勉強 オチコボレのさばる 便所板”（字余り）
実際
無限小量εを 1/無限大 と書き換えると
下記の 拡大実数 ±∞⁄±∞ の
所謂不定形の式と解するのが 一般だろうが
但し、不確定形式 en.wikipedia にあるように
『極限を求める文脈の外で表現された場合、その式を「不定形」と呼ぶのは適切ではありません』
省11
69(1): 2025/09/09(火)10:23 ID:mSmF3uVl(2/2) AAS
つづき
外部ﾘﾝｸ:en.wikipedia.org
Indeterminate form
(google訳)
不確定形式
略
このような特定の状況では、極限は不定形をとると言われ、以下の非公式な表現のいずれかで表されます。
0/0、∞/∞、0×∞、∞−∞、0^0、 1^∞、or ∞^0、
しかし、極限を求める文脈の外で表現された場合、その式を「不定形」と呼ぶのは適切ではありません。例えば、次の式が挙げられます。
0^0この式が未定義のままであるか、または1と等しいと定義されているかは応用分野によって異なり、著者によっても異なる場合があります。詳細については、「ゼロのゼロ乗」の記事をご覧ください
省15
70(1): 2025/09/09(火)11:17 ID:LeAc3O74(1) AAS
>>68
>”不勉強 オチコボレのさばる 便所板”
自嘲？
>無限小量εを導入した 拡張ルベーグ測度論を
>どう構築するかだけ 私にはできませんが
だったら
>超準ルベーグ測度に拡張（超準の無限小量を含む）できれば
>ヴィタリ集合 V の拡張ルベーグ測度 λ(V)は超準の無限小量とできるだろう
省2
71(1): 2025/09/09(火)11:22 ID:ghc91aQD(1/2) AAS
>>68-69
グダグダ言い訳しても無駄
（引用開始）
これから ヴィタリ集合 V のルベーグ測度 λ(V) >>18 に
0を超える有限の測度を与えることができないことは 直ちに納得できる
もし λ(V)に 小さいが しかし 有限値を与えるならば
[0,ε]のεを微小にとることで、区間[0,1]内に 長さεの区間を いくらでも多く作れて
区間[0,1]のルベーグ測度1を超えさせることで 矛盾が導ける
（引用終了）
が正しくなることはないから
72(2): 2025/09/09(火)20:54 ID:DOqIl8q0(1) AAS
>>70-71
ふっふ、ほっほ
再録
一句”不勉強 オチコボレのさばる 便所板”（字余り）>>68
>>無限小量εを導入した 拡張ルベーグ測度論
昔っから、数学の歴史は 概念の拡張につぐ拡張だった
例えば 19世紀 カントールが無限集合を考える数十年前に
天才リーマンは、複素平面に無限大を導入して リーマン球面を考えて 複素関数論を刷新した
リーマンのリーマン球面上で 複素関数論を考えると、”零点と極”は対応がつく
つまり、有理型関数fとその逆数の関数1/f で、fの極→1/ｆの零点、fの零点→1/ｆの極 の対応がつき
省24
73(1): 2025/09/09(火)21:15 ID:ghc91aQD(2/2) AAS
>>72
グダグダ言い訳しても無駄
（引用開始）
これから ヴィタリ集合 V のルベーグ測度 λ(V) >>18 に
0を超える有限の測度を与えることができないことは 直ちに納得できる
もし λ(V)に 小さいが しかし 有限値を与えるならば
[0,ε]のεを微小にとることで、区間[0,1]内に 長さεの区間を いくらでも多く作れて
区間[0,1]のルベーグ測度1を超えさせることで 矛盾が導ける
（引用終了）
が正しくなることはないから
74(1): 2025/09/10(水)07:21 ID:u0x0EfOw(1/6) AAS
>>72 つづき
ふっふ、ほっほ
再録
一句”不勉強 オチコボレのさばる 便所板”（字余り）>>68
”無限小量ε”を考えることくらい 21世紀数学では日常茶飯事よ
例えば、下記磯野優介『ライプニッツは，1/∞ を0ではない数（つまり無限小）として捉えており，このように∞を一つの数とみなす研究方法は無限小解析と呼ばれています』
1980年代の数学科で学んだが、”超準解析入門−超実数と無限大の数学”に到達できなかった人は
”ε-δ 論法が、大学数学の精華であり 数学の頂だ”と 錯覚し妄想する
だが、その考えは 古い
下記を百回音読してね（無限小数展開も出てくるよ）
省13
75(1): 2025/09/10(水)07:22 ID:u0x0EfOw(2/6) AAS
つづき
超準解析とモデル理論
モデル理論とは，数学で扱う構造そのものを研究する理論です．ロビンソンは超実数を構成した後，モデル理論の枠組みで超実数を捉え直し，超準解析を進めていきました．特に，実数で成立する性質が全て超実数でも成立する，という事実がモデル理論を用いて厳密に証明出来ます．しかしモデル理論は初学者には分かりづらい理論ですし，我々の講義時間も限られていますので，この講義ではモデル理論には一切触れません．
P5
2.2 コーシー列を用いた実数Rの構成
この方法は，後で超実数を作る際の参考になるため，やや詳しく解説します．
実数の小数点展開について考察しましょう．
コーシー列は収束先の元aに一切言及していない事に注意しましょう．
省15
76(1): 2025/09/10(水)07:22 ID:u0x0EfOw(3/6) AAS
つづき
5.1 関数解析とフォンノイマン環
無限次元ベクトル空間
P24
コンヌの分類定理
その重要性を完全に決定づけたのは，1970年代のアラン・コンヌによる一連の研究でしょう．
以下，コンヌの超積を用いた研究を，非常に大雑把に説明してみます．
専門用語の羅列になってしまうので，面倒なら下の定理5.1まで飛ばしてください．
P25
定理5.1 (コンヌ，1976年). 超有限フォンノイマン環は，従順性と呼ばれる条件で特徴づけられる．特にここから，量子力学で現れるフォンノイマン環は全て分類出来る．
省3
77: 2025/09/10(水)07:46 ID:lAy8sx+U(1) AAS
>>74-76
>”無限小量ε”を考えることくらい
>21世紀数学では日常茶飯事よ
>『ライプニッツは，1/∞ を0ではない数（つまり無限小）として捉えており，
>このように∞を一つの数とみなす研究方法は無限小解析と呼ばれています』
>1980年代の数学科で学んだが、
>”超準解析入門−超実数と無限大の数学”
>に到達できなかった人は
>”ε-δ 論法が、大学数学の精華であり 数学の頂だ”
>と 錯覚し妄想する
省11
78(2): 2025/09/10(水)07:49 ID:u0x0EfOw(4/6) AAS
>>73
（引用開始）
これから ヴィタリ集合 V のルベーグ測度 λ(V) >>18 に
0を超える有限の測度を与えることができないことは 直ちに納得できる
もし λ(V)に 小さいが しかし 有限値を与えるならば
[0,ε]のεを微小にとることで、区間[0,1]内に 長さεの区間を いくらでも多く作れて
区間[0,1]のルベーグ測度1を超えさせることで 矛盾が導ける
（引用終了）
ふっふ、ほっほ >>52にも書いたが
少し メンタルピクチャーの補足をしよう >>20の加藤文元 メンタルピクチャー も再度見てね
省22
79: 2025/09/10(水)07:52 ID:u0x0EfOw(5/6) AAS
>>78 タイポ訂正
そうすると、区間[0,10^n]に入れることができる
つまり、ヴィタリ集合 V は 任意に小さい区間に集めることができる
よって ルベーグ測度 λ(V) ＜ 10^n が言える
↓
そうすると、区間[0,10^-n]に入れることができる
つまり、ヴィタリ集合 V は 任意に小さい区間に集めることができる
よって ルベーグ測度 λ(V) ＜ 10^-n が言える
分ると思うが （＾＾；
80: 2025/09/10(水)08:02 ID:EM57T3O/(1/2) AAS
＞R/Qで ヴィタリ集合 V で区間[0,1]に集める前は、数直線（-∞,+∞）全体に広がっているとして
そのまえに、(R/Z)/(Q/Z)で考えなよ、そうすればイヤでも区間[0,1]内に押し込めるから
>もし、ルベーグ測度の超準版ができれば ヴィタリ集合 V のルベーグ測度 λ(V) ＝ε だな
もし、ヴィタリ集合 V のルベーグ測度 λ(V) ＝εなら、Q/Zの元の数は1/εだな
で、それはいくつだい？
なぜ、聞かれてることに答えないんだい？
省5
81(1): 2025/09/10(水)08:18 ID:+LOF2kS8(1/5) AAS
セタ「測度の値域に超準実数を許せばヴィタリ集合は可測になる！」←ホントけ？
82: 2025/09/10(水)08:19 ID:+LOF2kS8(2/5) AAS
何がメンタルピクチャーだよ。ただのトンデモじゃんｗ
83(1): 2025/09/10(水)08:25 ID:+LOF2kS8(3/5) AAS
直観してしかも致命的に間違うのは、数学センスがないんだよ。
が、本人にその自覚はなく、自信満々。
おっちゃんとかいうお仲間によく似てはりますなぁ。
84: 2025/09/10(水)09:31 ID:FdK5Pbp7(1) AAS
>>83
君、高校生？
そもそも、測度論に数学センスという考え方は合わない
センスという言葉が通用するのは高校まで
後で解析したら、恐らく無理数であろう実数が
実はオイラーの定数γではないことが判明した
85: 2025/09/10(水)09:48 ID:uWaGqrb4(1/2) AAS
>>78
>１）R/Qで ヴィタリ集合 V で区間[0,1]に集める前は、数直線（-∞,+∞）全体に広がっているとして
> まず 全てを プラス側 [0,+∞）に集める
> そして、R/Qの代表の元の無限小数展開を考えると
> 無限小数展開の整数部分を 全て0にすることで 区間[0,1]に集めることができる（整数成分による平行移動）
>２）これは、あたかも 部屋全体にケムリが分散しているときに
> そのケムリの量（例えば体積）を量るために ある小さな空間に集めたことに相当する
>３）この考えは、ケムリの量は 集める前と後で 不変という仮定をおいているってことだ
> つまり ヴィタリ集合 V のルベーグ測度 λ(V) は、分散しているときと 小さな空間に集めたときとで不変と仮定している
>４）さて、区間[0,1]を 無限小数展開を使って、任意の 少数n位以下に縮小できる（少数n-1位以上の成分は有理数だから その分の平行移動を使える）
省5
86(1): 2025/09/10(水)09:54 ID:EM57T3O/(2/2) AAS
任意に小さい区間に集める必要はない
単に、思考力がない奴に、
「もし、測度があるとすれば、いくらでも小さくなる」
と分からせる意味があるかもしれないが
それだけなら０でいいじゃんとなる
でも、０だとすると、可算和で１にできない
そこが非可測性の最大のポイント
ここ分かんない奴は、測度論分からないから諦めろ
まあ、そもそも実数の定義分かんないオチコボレには無理だけどなｗ
87: 2025/09/10(水)10:24 ID:uWaGqrb4(2/2) AAS
>>86
>単に、思考力がない奴に、
>「もし、測度があるとすれば、いくらでも小さくなる」
>と分からせる意味があるかもしれないが
ならば最低限
> ”ヴィタリ集合 V が 集める前と後で 不変という仮定”
は証明しないとただの絵空事
> ”ヴィタリ集合 V が 集める前と後で 不変という仮定”
の書き方が馬鹿丸出しで、正しく書くなら
”ヴィタリ集合 V が可測と仮定したとき、集める前と後で測度不変という仮定”
省1
88(2): 2025/09/10(水)21:33 ID:u0x0EfOw(6/6) AAS
>>81
>セタ「測度の値域に超準実数を許せばヴィタリ集合は可測になる！」←ホントけ？
ふっふ、ほっほ
商R/Qの代表元からなるヴィタリ集合V
これは 数直線（-∞、+∞）に分散している
いま、Vの測度λ(V)について その分散状態に無関係にある決まった測度を付与できると仮定する
A)実数の無限小数展開を考えると
Vを 微小区間[0,10^-n] ｜ｎ>1 の任意整数
内に取れることは すでに示した
だから λ(V)＜10^-n だ
省6
89: 2025/09/10(水)22:39 ID:+LOF2kS8(4/5) AAS
ヴィタリ集合→可測とすると、ルベーグ測度のσ加法性（可算加法性）と矛盾する。
バナッハ・タルスキーのパラドックスで構成されるR^3の部分集合
→（ユークリッド運動群で不変な）ある測度で可測とすると
（可算加法性より弱い）有限加法性と矛盾する。
セタの直観「ヴィタリ集合の測度として無限小超実数εを割り当てればいいべ」
→考えなしのバカ。
選択公理から有限加法性に反する例も作られるのだから、問題の本質が
無限小にあるわけでもない。
90: 2025/09/10(水)22:41 ID:+LOF2kS8(5/5) AAS
今回のはコピペから離れたセタオリジナルの考えですな。
これまでセタオリジナルは、例外なくおっちゃんレベルのトンデモ。
91: 2025/09/11(木)06:24 ID:X5MBDTN2(1) AAS
君、全く関わってない人を根拠なく持ち出すことは止めてくれ
数学(的)センスという存在性が不明な概念を用いて話すのは
現実離れしていて何も根拠がない
92: 2025/09/11(木)14:46 ID:KfYwoBCP(1) AAS
>>88
Vの任意の有理数分の平行移動で[0,1]をカバーできる
したがって、有理数の個数をω個とするとεω＝1
で？有理数の個数ωはどういう無限大超自然数？
93: 2025/09/11(木)17:59 ID:Udk9IhMk(1) AAS
Rは非可算で、Qは可算だから、R/Qは集合としては非可算。
94: 2025/09/13(土)16:25 ID:QgqpGZ4Z(1) AAS
[0,1]区間内の実数であって、3進数で無限小数展開したときに、
展開に数字1が出てこない実数を集めた集合をSとするとき、
Sのルベーグ測度はどれだけか。（配点5点）
95: 2025/09/13(土)20:10 ID:EV1iU/cO(1/2) AAS
カントール集合のルベーグ測度は0
96: 2025/09/13(土)21:27 ID:sEZjaMYu(1) AAS
カントール集合は
カントールの3進集合だけではない
97: 2025/09/13(土)22:27 ID:EV1iU/cO(2/2) AAS
で？
98: 2025/09/14(日)13:27 ID:uEDeHLrZ(1) AAS
カントール集合の濃度が実数の濃度に等しいことを証明しなさい。（配点5点）
99(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/14(日)19:47 ID:m+0nOQgc(1/2) AAS
>>88
(引用開始)
二つの条件A)B)両方を同時に満たすのは
超準実数の無限小ε 以外にはありえない
あとは、無限小εを含むように
拡張ルベーグ測度論が構築できるか否かだけｗ ；ｐ）
(引用終り)
下記の ”Lebesgue Measure on the real line by G. H. Meisters • February 14, 1997”
のP1 に
”It turns out that it is not possible to define a function µ : 2^R → [0,∞] that satisfies all of these properties. It is possible if we allow our measure to assume “infinitesimal” values; that is, if we take µ : 2^R → [0,∞]∗, where [0,∞]∗ ⊂ R∗, a nonstandard model of R.”
省21
100: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/14(日)22:28 ID:m+0nOQgc(2/2) AAS
>>99 自己レス
＞これが どこかの投稿論文か否かは 確認できなかった（ G. H. Meisters氏の詳細も不明）
どうも 講義テキストらしい（下記）
なお Measure.Theory.Tao.pdf もある
なので G. H. Meisters氏も 多分どこかの大学教授だな
(参考)
外部ﾘﾝｸ[html]:www.stat.rice.edu
Statistics and [some] Econometrics Qualifier Review
_Readme.00.txt
_Qualifier.Topics.EconShortList.txt
省6
101(1): 2025/09/15(月)01:32 ID:Rsum8kdu(1/4) AAS
>>99
>いま、Vの測度λ(V)について その分散状態に無関係にある決まった測度を付与できる
の証明まだ？
102(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/15(月)08:45 ID:iK+sB2GV(1/4) AAS
>>101
>>いま、Vの測度λ(V)について その分散状態に無関係にある決まった測度を付与できる
>の証明まだ？
質問の相手を間違えているぞｗ （＾＾
１）おれは 証明など 必要に迫られない限りしないのが主義ｗｗ ；ｐ）
２）君が >>99 の”Lebesgue Measure on the real line by G. H. Meisters • February 14, 1997”
P1 ”It turns out that it is not possible to define a function µ : 2^R → [0,∞] that satisfies all of these properties. It is possible if we allow our measure to assume “infinitesimal” values; that is, if we take µ : 2^R → [0,∞]∗, where [0,∞]∗ ⊂ R∗, a nonstandard model of R.”
について 何か疑問があれば 友人か
大学の知り合いの数学教授に 質問しなさい！ ；ｐ）
103: 2025/09/15(月)10:57 ID:Rsum8kdu(2/4) AAS
>>102
なにをトチ狂ってるの？
君がいま盛んに語ってるヴィタリ集合の超準実数測度での可測性は、君が勝手に置いた仮定
>いま、Vの測度λ(V)について その分散状態に無関係にある決まった測度を付与できる
が正しくない限りまったく無意味なんだけど
だから君が真っ先にやるべきは、君の持論を補強する文献探しなんかじゃなく、君が勝手に置いた仮定の証明の方なんだけど
まさかそこから分かってなかったの？ 馬鹿だね君
104: 2025/09/15(月)11:02 ID:Rsum8kdu(3/4) AAS
>>102
>質問の相手を間違えているぞｗ （＾＾
>いま、Vの測度λ(V)について その分散状態に無関係にある決まった測度を付与できる
は君が置いた仮定なんだけど憶えてないの？ 記憶障害？
105(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/15(月)13:15 ID:iK+sB2GV(2/4) AAS
>>102 補足
>>99より 再録
外部ﾘﾝｸ[pdf]:www.stat.rice.edu
Lebesgue Measure on the real line by G. H. Meisters • February 14, 1997
P1
It turns out that it is not possible to define a function µ : 2^R → [0,∞] that satisfies all of these properties. It is possible if we allow our measure to assume “infinitesimal” values; that is, if we take µ : 2^R → [0,∞]∗, where [0,∞]∗ ⊂ R∗, a nonstandard model of R.
(google訳)
これらの性質をすべて満たす関数 µ : 2^R → [0,∞] を定義することは不可能であることが判明した。しかし、測度が「無限小」値をとることを許容すれば、つまり、R の非標準モデルである [0,∞]∗ ⊂ R∗ となる µ : 2^R → [0,∞]∗ を取れば、定義は可能となる。
(引用終り)
さて
省21
106(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/15(月)13:15 ID:iK+sB2GV(3/4) AAS
つづき
外部ﾘﾝｸ:en.wikipedia.org
Vitali set
(google訳)
ヴィタリ集合
選択公理の役割
上に示したヴィタリ集合の構成には選択公理が用いられている。ここで疑問が生じる。ルベーグ測定可能でない集合の存在を証明するために選択公理は必要なのだろうか？答えは「はい」である。ただし、到達不可能基数は集合論における最も一般的な公理化、いわゆるZFCと整合している必要がある。
1964年、ロバート・ソロヴェイは、選択公理を用いずに、実数のすべての集合がルベーグ可測となるツェルメロ＝フランケル集合論のモデルを構築した。これはソロヴェイモデルとして知られている。[ 3 ]ソロヴェイは証明において、到達不可能基数の存在はツェルメロ＝フランケル集合論の他の公理と整合的であり、すなわち矛盾を生じないと仮定した。この仮定は集合論者の間では広く正しいと信じているが、ZFCだけでは証明できない。[ 4 ]
1980年、サハロン・シェラは、ソロヴェイの結果は到達不可能基数に関する彼の仮定なしには証明できないことを証明した。[ 4 ]
参考文献
省9
107: 2025/09/15(月)14:43 ID:Rsum8kdu(4/4) AAS
>>105
>それは プロ数学者に聞きなさいｗ ；ｐ）
丸投げかい？
じゃあ君が長々と論じて来たなんとかピクチャーは全部ゴミだったんだね
108: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/15(月)15:51 ID:iK+sB2GV(4/4) AAS
下記の石井大海氏のパワポが分かり易い（10年前から何度も見ているが・・ ；ｐ）
強制法のポンチ絵もあるよ
加藤文元氏 メンタルピクチャー
＜“big picture”＞Terence Tao だね
これによれば、フルパワー選択公理なし（到達不能基数あり）で
Vitali setのような非可測集合は ”潰せる”らしい （＾＾
(参考)
外部ﾘﾝｸ[html]:www.math.tsukuba.ac.jp
数学基礎論若手の会2015
講演資料（一部）
省27
109: 2025/09/15(月)17:06 ID:fMAr8zwd(1/4) AAS
>>102
誤 おれは証明など必要に迫られない限りしないのが主義
正 おれは証明など求められても全くできないのが現実
述語論理知らんサルだからな
”Lebesgue Measure on the real line by G. H. Meisters • February 14, 1997”
P1 ”It turns out that it is not possible to define a function µ : 2^R → [0,∞] that satisfies all of these properties. It is possible if we allow our measure to assume “infinitesimal” values; that is, if we take µ : 2^R → [0,∞]∗, where [0,∞]∗ ⊂ R∗, a nonstandard model of R.”
でも、なぜそうなるか理解できないんだろ？
駄目じゃん 高卒 ◆yH25M02vWFhP
110: 2025/09/15(月)17:10 ID:fMAr8zwd(2/4) AAS
＞・・・のパワポが分かり易い（10年前から何度も見ているが・・
全然わかってねぇじゃん（笑）
＞強制法のポンチ絵もあるよ
強制法のポンチ絵ではないな
何が描かれてるかも分からん素人は
集合論に一切興味持つなよ 無駄だから
碁でも打ってろ サル
111: 2025/09/15(月)17:10 ID:fMAr8zwd(3/4) AAS
＞・・・のパワポが分かり易い（10年前から何度も見ているが・・
全然わかってねぇじゃん（笑）
＞強制法のポンチ絵もあるよ
強制法のポンチ絵ではないな
何が描かれてるかも分からん素人は
集合論に一切興味持つなよ 無駄だから
碁でも打ってろ サル
112: 2025/09/15(月)17:11 ID:fMAr8zwd(4/4) AAS
論理が分からん奴は絵だけ見て妄想しても
初歩から間違って笑われるだけだからやめとけ
なんで述語論理を勉強しないんだ？ サル！
113: 2025/09/18(木)07:50 ID:7g5jIWxi(1) AAS
別スレに書いたが
1階述語論理で 厳密に書くと
”バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドがこのアプローチを適用した際、彼らは1+1=2と略される命題を確立するまでに、700ページ以上に及ぶ形式記号を費やしたことで有名である。ブルバキの形式主義は、この数字さえも矮小化し、数1を定義するだけで約4兆5000億もの記号を必要とした”
という
まあ、面白いけど
逆に言えば、1階述語論理の限界を表しているとも
ゲーデルの加速定理の出番でしょうね（下記）
人は、1階述語論理だけでは 思考しない！ｗ ；ｐ）
<ガロア第一論文と乗数イデアル他関連資料スレ18>
2chｽﾚ:math
省12
114: 2025/09/18(木)09:40 ID:RU7ZQg34(1/3) AAS
ペアノシステム(N,0,S)
N∋1:=S(0)
N∋2:=S(1)=S(S(0))
ZF上のモデル
0:={}
1:={}∪{{}}={{}}
2:={{}}∪{{{}}}={{},{{}}}
115(1): 2025/09/18(木)09:48 ID:RU7ZQg34(2/3) AAS
言葉が分からないようなので繰り返しになるが、
一階述語論理で思考しようがしまいがどうでもよい。思考内容が一階述語論理に落とせるならそれでよい。
いわんや一階述語論理を勉強しなくてよい言い訳にはならない。
なんでそこまで勉強嫌いなん？
116(1): 2025/09/18(木)09:56 ID:I3djhwJv(1) AAS
◆yH25M02vWFhPは元々思考嫌いのサルだから
高校までの数学に思考はない
計算方法を身体で覚えるだけ
この問題にはこの解法、と身体で覚えるだけ
どこにも思考がない
そういう精神で大学入試を乗り切った人間が
大学１年の一般教養の数学で
実数の定義だの線形空間・線形写像の定義だの
なんてのを教わるとたちまちパニックになる
そもそも定理を証明するなんて考えたこともないから
省5
117(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/18(木)18:31 ID:aAF91t7m(1/2) AAS
>>115-116
君は、世間をなめているんじゃない？
君は、ｗ大 数学科 内部進学？ だってね
それで 数学科１年生の１日目で 現代数学の冷や水を浴びせられて
目を白黒させて 詰んだんだって？
学部のあとは 修士では 情報系へ逃げた・・というか 学部の４年の研究室から 情報系の研究室へ逃げたんだね
下記の河東氏の母親が、数学が得意で 抽象的な数学も得意で
河東氏が背伸びして 中１で 「解析概論」のε-δとか
「数学セミナー」の「エレガントな解答を求む」など を勉強しているとき
『その頃までは私と話が通じるくらいに数学はできた』という
省30
118(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/18(木)18:31 ID:aAF91t7m(2/2) AAS
つづき
数学は論理の積み重ねだから順番にきちんと一歩ずつ学んでいかなくてはいけない，などとよく言われるが，この頃は順番などまったく無視していた．「大学への数学」で受験問題を解いたり，「数学セミナー」を読んで「エレガントな解答を求む」をやったり，「解析概論」を読んだり，みな平行してやっていた．(「解析概論」が重要な本であるということは「数学セミナー」で知った．すぐに買ってきて読み始めた．)さらに群論でも線形代数でも手当たり次第に読んだ．
「エレガントな解答を求む」で・・・
正解者のところに「中学1年生!」とカッコつきで載ったのがうれしかった．1年間くらいは熱心にやっていたと思う．
「解析概論」も同じ頃熱心に読み，最初の方のε-δ論法を始めとする厳密な解析学は，かなりまじめに勉強してちゃんとわかったと思った．
前にわからなくて気になっていた切断もこのときわかるようになった．
また，現在京都大学にいる中島啓氏と同級生で，しょっちゅう休み時間にトランプをしていたのもこの頃である．
外部ﾘﾝｸ:www.sankei.com
産経「夢は数学のノーベル賞」 数検１級に１１歳で最年少合格・高橋洋翔君 2018/11/24
外部ﾘﾝｸ[html]:www.imojp.org
省9
119(1): 2025/09/18(木)18:54 ID:RU7ZQg34(3/3) AAS
有理コーシー列の極限で実数を定義するとか平気でほざいちゃうオチコボレさんがなんか語ってますね
120(3): 2025/09/19(金)04:51 ID:3T9xT+Zu(1) AAS
>>117-118
高卒素人◆yH25M02vWFhPの夜郎自大発言
>私も 中３で・・・３ｘ３行列を習った
それ「算数」
>相対性理論は、高校で矢野健太郎先生の本を読んだ。
それ物理にでてくるやっぱり「算数」
>高校２年で 数学教師が ε-δをうるさくいうので どんなものかと 自学自習した
それは「数学」だが、自学自習でごまかしたから、結局理解に至ってない
>実数のデデキント切断は、・・・大学１年で 自学自習した
それも「数学」だが、自学自習でごまかしたから、結局理解に至ってない
省15
121(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/19(金)20:56 ID:D62WXik0(1/7) AAS
>>119-120
ご苦労さまです
まあ、”ゆ”だけタダ by 風呂屋さん ；ｐ）
ところで、下記 石井大海さん
”2011/04 早稲田大学基幹理工学部 数学科配属”らしい
圏論も書いているよ
君よりレベル高そうじゃんｗ
同じＷ大でこんなにも違うのか・・・ （＾＾
2013年度 理工学部長賞最優秀賞（第一回）
理工学部卒業生総代 か。優秀だね
省28
122(2): 2025/09/19(金)21:07 ID:s/FwhwCx(1) AAS
>>120
¬∃x,y,z∈N(x^3+y^3=z^3)
の証明を見つけて
123: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/19(金)21:16 ID:D62WXik0(2/7) AAS
竹内 外史先生の「層・圏・トポス」を読んでみようとしたのは 10年くらい前だったが いまいちで放り出した
下記のレビューで 上がっている ”大熊 正：圏論(カテゴリー)，槙書店(1979)”を チラ見したのは 前世紀だったな
斎藤 毅先生 「数学原論」2020（圏論的視点から解説） は、わりと 読めた。良かった （＾＾
まあ、挫折もコヤシか ；ｐ）
（アマゾン）
層・圏・トポス―現代的集合像を求めて 単行本 – 1978/1/20
竹内 外史 (著) 日本評論社
レビュー
sugi1
5つ星のうち5.0 トポスよ何処へ．．．
省37
124(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/19(金)21:22 ID:D62WXik0(3/7) AAS
>>122
>¬∃x,y,z∈N(x^3+y^3=z^3)
>の証明を見つけて
ご苦労さまです
それ >>120の”述語論理のタブロー法でも勉強しなさい
実はこれで恒真な命題の証明が必ず見つけられる
完全性定理の効果的な証明のために開発された優れものの技”
を適用しろと いうことか
なるほどね・・・ ；ｐ）
125: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/19(金)21:24 ID:D62WXik0(4/7) AAS
自分がなにを どれだけ理解しているかなど
人に説明するものじゃないよね
が、まあ 突っかかってくれば 適当にあしらうけど
せめて 圏論くらい 勉強してきてくれよなｗｗｗ ；ｐ）
126: 2025/09/19(金)22:49 ID:D62WXik0(5/7) AAS
>>121 補足
>外部ﾘﾝｸ[pdf]:konn-san.com
>集合論への招待*〜実数直線の集合論〜石井大海† Saturday 4th June, 2016
>† 筑波大学数理物質科学研究科数学専攻博士後期課程1年
P1
『2 連続体仮説
集合論の成立は19世紀末のことですが，その契機となったのは，CantorによるFourier級数展開の研究でした．
Cantorは，「不連続点が“幾つ”までならFourier級数展開が可能なのか？」という問題に取り組み，
その過程で集合の濃度（基数）や順序数といった概念を定式化する必要に迫られたのです．』
なるほど・・・ （＾＾
省13
127(2): 2025/09/19(金)23:05 ID:D62WXik0(6/7) AAS
>>124 補足
下記より
”タブローの方法は命題論理や一引数の一階述語論理において決定可能である。つまり有限ステップで必ず判定を行える”
”二引数以上の一階述語論理において決定不可能である”
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
タブローの方法
タブローの方法(英 tableau[1] method)とは、真理の木(truth tree)あるいは意味論的タブロー(semantic tableau)または分析タブロー(analytic tableau)と呼ばれるものを用いて、論証の妥当性や、論理式が矛盾しているかやトートロジーであるかを機械的に調べる判定手続き(decision procedure)の一種である。ヤーッコ・ヒンティッカらのモデル集合という考え方を応用して作られ、レイモンド・スマリヤンによって広められた。
決定可能性
タブローの方法は命題論理や一引数の一階述語論理において決定可能である。つまり有限ステップで必ず判定を行える。
省2
128: 2025/09/19(金)23:23 ID:iqsDlJ7S(1/3) AAS
¬(A⇔B)⇔(A⇔¬B)
も証明できないオチコボレさんが
>せめて 圏論くらい 勉強してきてくれよなｗｗｗ ；ｐ）
とイキってて草
129: 2025/09/19(金)23:31 ID:D62WXik0(7/7) AAS
>>121
>外部ﾘﾝｸ:konn-san.com
>数学関係をまとめておくばしょ konn-san.com
ここで よさげな資料 見繕い
外部ﾘﾝｸ[html]:konn-san.com
全ての実数の集合をLebesgue可測にする 〜Solovayモデル入門〜 - 2024/10/12 14:00:00 JST
「ZF+DC + 任意の実数の集合がLebesgue可測」になる集合論のモデルSolovayモデルについてalg-dチャンネルで喋った時の資料です。
外部ﾘﾝｸ[html]:konn-san.com
数理論理学の基礎からはじめる強制法入門──2024年自主ゼミ発表資料 - 2024/09/18 13:27:51 JST
2024年後半におるうぇ君、るじゃ氏、こりーさんなどとやっている強制法自主ゼミの発表資料です。 私とおるうぇ君とで、ロジックの基礎からはじめて強制法の基本を他の参加者に叩き込もうという会です。目標は
省7
130(1): 2025/09/19(金)23:33 ID:iqsDlJ7S(2/3) AAS
>>127
∀x∃yR(x,y)
は、閉論理式・開論理式のいずれであるか、後者だとしたら自由変数は何か
君、当然答えられるよね？
131: 2025/09/19(金)23:34 ID:iqsDlJ7S(3/3) AAS
さすがに簡単すぎるか
出血大サービス問題
132(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/20(土)07:12 ID:eje/AQ+H(1/12) AAS
>>117-118 追加
>君は、世間をなめているんじゃない？
>外部ﾘﾝｸ:www.sankei.com
>産経「夢は数学のノーベル賞」 数検１級に１１歳で最年少合格・高橋洋翔君 2018/11/24
追加
外部ﾘﾝｸ[html]:www.imojp.org
2024年 第34回日本数学オリンピック（JMO）
賞 氏 名 学 校 名 学年 都道府県
川井杯・金賞 狩野 慧志 長野県松本深志高等学校 高１ 長野県
銀賞 ?M川 慎次郎 ラ・サール中学校 中３ 鹿児島県
省36
133(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/20(土)07:20 ID:eje/AQ+H(2/12) AAS
>>132 追加
>君は、世間をなめているんじゃない？
>外部ﾘﾝｸ:www.sankei.com
>産経「夢は数学のノーベル賞」 数検１級に１１歳で最年少合格・高橋洋翔君 2018/11/24
追加
外部ﾘﾝｸ:ja.wikipedia.org
実用数学技能検定
以前は「数検」の通称で親しまれていたが、数検は財団設立者高田大進吉個人の所有する商標で多額の使用料が必要だったため、財団では2011年7月から、検定の通称を「数検」から「数学検定」に改めた。
1級（大学程度・一般）
検定の内容
省12
134(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/20(土)07:47 ID:eje/AQ+H(3/12) AAS
>>133 追加
>君は、世間をなめているんじゃない？
『大学１年の一般教養の数学で
実数の定義だの線形空間・線形写像の定義だの
なんてのを教わるとたちまちパニックになる』（>>117より）
？？？
自分の体験談を語られてもねぇ・・・ｗｗ ；ｐ）
君が 私のガロアすれ に来たのが 2016年ころだったね
それで、数学科修士卒を 鼻に掛けていた
そのとき 自慢したのが 数学科で習うε-δ論法だったね
省27
135: 2025/09/20(土)08:26 ID:PFeybpaX(1/4) AAS
あのー、発狂してるところ悪いけど、出血大サービス問題>>130はスルーですか？
136: 2025/09/20(土)08:30 ID:PFeybpaX(2/4) AAS
これサクッと正答できないようじゃ論理ズタボロだし論理ズタボロだと大学数学ズタボロですよ？
137(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/20(土)08:38 ID:eje/AQ+H(4/12) AAS
「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ
(参考)
外部ﾘﾝｸ:dic.pixiv.net
ピクシブ百科事典
ゴーマニズム宣言
『ゴーマニズム』とは、『傲慢』から作られた小林氏による造語で、各回の文末には「ごーまんかましてよかですか?」というキメ台詞
外部ﾘﾝｸ:note.com
省18
138(1): 2025/09/20(土)08:50 ID:0Zg6k/bo(1) AAS
>¬∃x,y,z∈N(x^3+y^3=z^3)
>の証明を見つけて
その証明はできない。なぜならｘ＝０，ｙ＝０，ｚ＝０を考えると
x^3+y^3=z^3であるから。
139: 2025/09/20(土)09:00 ID:PFeybpaX(3/4) AAS
>>137
また逃げたｗ
君、こんな初歩の初歩も分かってないんだね
そりゃ大学数学ワカランの当然だわ
140: 2025/09/20(土)09:03 ID:eje/AQ+H(5/12) AAS
>>1
>ℝ/ℚの代表元ってどんなの？
>位相は？
さて
ℝ/ℚの代表元 の集合は Vitali setと呼ぶようだ （>>106など）
が、ルベーグ非可測 (>>10) であることが その面白さであって
位相空間として 考察している 論文は 寡聞にして見当たらなかった
位相空間としての考察は 馴染まないのかも・・
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
省1
141: 2025/09/20(土)10:07 ID:eje/AQ+H(6/12) AAS
>>138
(引用開始)
>¬∃x,y,z∈N(x^3+y^3=z^3)
>の証明を見つけて
その証明はできない。なぜならｘ＝０，ｙ＝０，ｚ＝０を考えると
x^3+y^3=z^3であるから
(引用終り)
前段が、下記 フェルマーの最終定理 『3 以上の自然数 n について、x^n + y^n = z^n となる自然数の組 (x, y, z)』
における n=3 に相当することは、常識だろう
ところで、フェルマーの時代には、自然数とは0を含めなかっただろう（下記 自然数 ja.wikipedia ご参照）
省11
142: 2025/09/20(土)10:12 ID:PFeybpaX(4/4) AAS
くだらないことは多弁なのに初歩問題には口をつぐむオチコボレ
143(1): 2025/09/20(土)11:40 ID:7netQ1bm(1/12) AAS
>>122
>¬∃x,y,z∈N.¬(x=0)⋀¬(y=0)⋀¬(z=0)⋀(x^3+y^3=z^3) の証明を見つけて
>>124
>それ”述語論理のタブロー法”を適用しろと いうことか
すぐ見つかる、とはいってない（笑）
タブロー法の証明探索プログラムは書けるだろ
そいつをを動かせば いつかは・・・（笑）
注）138の指摘を受けて、122の元の論理式を修正しました
144(1): 2025/09/20(土)12:25 ID:7netQ1bm(2/12) AAS
>>127
>”タブローの方法は命題論理や一引数の一階述語論理において決定可能である。
>つまり有限ステップで必ず判定を行える”
>”二引数以上の一階述語論理において決定不可能である”
◆yH25M02vWFhP は 上記の文章で、
何が決定可能か分かってコピペしてる？
全然分かってないだろ（笑）
決定可能という場合、証明できない場合も
「証明できない」と回答しないといけない
∀x∃yR(x,y)は反証不能だが（充足可能とはそういう意味）、
省17
145(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/20(土)12:34 ID:eje/AQ+H(7/12) AAS
>>143-144
いや だからｗ ；ｐ）
>>¬∃x,y,z∈N.¬(x=0)⋀¬(y=0)⋀¬(z=0)⋀(x^3+y^3=z^3) の証明を見つけて
>>124
>それ”述語論理のタブロー法”を適用しろと いうことか
>すぐ見つかる、とはいってない（笑）
>タブロー法の証明探索プログラムは書けるだろ
>そいつをを動かせば いつかは・・・（笑）
>決定不能とはそういう意味
>しかし、証明できる場合、（つまり否定が反証可能な場合）は
省11
146: 2025/09/20(土)12:35 ID:7netQ1bm(3/12) AAS
>>133
＞数検1級（大学程度・一般）
＞検定の内容
＞・解析：微分法、積分法、基本的な微分方程式、多変数関数（偏微分・重積分）、基本的な複素解析
＞・線形代数：線形方程式、行列、行列式、線形変換、線形空間、計量線形空間、曲線と曲面、線形計画法、二次形式、固有値、多項式、代数方程式、初等整数論
＞・確率・統計：確率、確率分布、回帰分析、相関係数
＞・コンピュータ：数値解析、アルゴリズムの基礎
＞・その他：自然科学への数学の応用など
＞数検１級に、「線形代数」あるよ
それ、計算だろ？
省13
147: 2025/09/20(土)12:39 ID:7netQ1bm(4/12) AAS
>>145
＞フェルマーの最終定理のn=3をタブロー法で解けるかどうか？その判定方法は、存在しない
解けるなら止まる 解けない場合止まらない そういうこと（笑）
君、やっぱ初歩から全然わかってないねえ
コーエンの強制法って
「解けませんよぉ」って教えてくれるから、画期的
でも、解けない場合のすべてについて、教えてくれるわけではない
そんなのが可能だったら、決定不能性に反する（笑）
148: 2025/09/20(土)12:47 ID:7netQ1bm(5/12) AAS
>>134
＞君が 私のガロアすれ に来たのが 2016年ころだったね
いいや ここに来たのはコロナ流行以降だけど
誰の話をしてる？ 耄碌爺（嘲）
ところで、εｰδだけ勉強しても意味ないよｗ
その前には、εｰＮもあるし、
さらにいえば、コーシー列という概念もあるし
もっといえば、そのコーシー列を使って、実数を定義してるから
成立してほしい定理に対して、どんな前提が必要か
そう考えていった結果、生み出されたのが実数の概念
省9
149(1): 2025/09/20(土)12:56 ID:7netQ1bm(6/12) AAS
>>134
＞数学セミナーは 大学の図書でバックナンバー10年分を読んだ
＞講義もあったし 専門書も読んだ
＞君が「こんなことを 知らないだろう」と言ってくることは
＞”くだらんことを 自慢している”としか思えないこと ばかりだよ
数学セミナーの記事は、素人を「分かった気分」にさせる麻薬（笑）
実際は講義を聞いても専門書読んでもちんぷんかんぷん
述語論理の初歩すらわかってないんじゃ
集合論の初歩すらわからんし
実数の定義や基本的な定理の証明も分からん
省16
150: 2025/09/20(土)13:02 ID:7netQ1bm(7/12) AAS
「数学では無限回操作は可能」とうそぶく、高卒◆yH25M02vWFhP への問題
自然数の無限列Ｎ＾Ｎは、必ず最小の値を持つ項が存在する
存在しないとすると、いくらでも減少する自然数の無限列が存在することになり、矛盾するから
さて無限回操作が可能なら、任意の自然数の無限列に対して
最小の値が最初に現れる場所を返せる筈だが、それでＯＫ？（ニヤリ）
151(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/20(土)16:23 ID:eje/AQ+H(8/12) AAS
>>145 追加
（＾＾
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
停止性問題
不完全性定理との関係
停止性問題の決定不能性を利用してゲーデルの第一不完全性定理を示すことができる。
計算模型を適当に算術化すれば、「プログラム M は入力 x のもとで停止する」という述語 Halt(M,x) がΣ1述語となるようにできる。停止性問題の決定不能性はこの述語がΠ1述語でないことを述べている。したがって「プログラム M は入力 x のもとで停止しない」という述語はΠ1であるがΣ1でない。
略
ところで Pr(¬halt(M, x)) はΣ1述語だから、¬Halt(M,x) もΣ1述語である。これは上に述べたことと矛盾する。
省2
152(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/20(土)16:35 ID:eje/AQ+H(9/12) AAS
>>145 追加
”タブロー法”かｗ
タブロー法に拘らずにｗｗ
もっと広く 自動定理証明 コンピュータプログラム という高い視点から考えた方が 有益だと思うのは
私だけだろうか？ｗｗｗ ；ｐ）
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
自動定理証明（英: automated theorem proving, ATP）とは、自動推論 (AR) の中でも最も成功している分野であり、コンピュータプログラムによって数学的定理に対する証明を発見すること。ベースとなる論理によって、定理の妥当性を決定する問題は簡単なものから不可能なものまで様々である。
歴史
論理学的背景
省8
153(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/20(土)16:51 ID:eje/AQ+H(10/12) AAS
>>152
Lean が有名だよね
下記 Peter Scholze、Terence Taoの名が上がる
AIの話もある（下記）
”タブロー法”？ さあ どうなんでしょうかねｗ ；ｐ）
基礎には、なっている気がするよ
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
Lean (証明アシスタント)
歴史
省14
154: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/20(土)17:30 ID:eje/AQ+H(11/12) AAS
>>149
>数学セミナーの記事は、素人を「分かった気分」にさせる麻薬（笑）
>実際は講義を聞いても専門書読んでもちんぷんかんぷん
やれやれ
Ｗ大のオチコボレさんは、大口たたくねｗｗｗ ；ｐ）
古田幹夫先生は、君の真逆を書いている（下記）
(古田幹夫先生 去年退官か・・・)
(参考)
外部ﾘﾝｸ[pdf]:www.ms.u-tokyo.ac.jp
古田幹雄
省16
155: 2025/09/20(土)17:36 ID:7netQ1bm(8/12) AAS
>>151
わけもわからずコピペする
高卒サル ◆yH25M02vWFhP
>>152
>タブロー法に拘らずに もっと広く
>自動定理証明 コンピュータプログラム
>という高い視点から考えた方が有益だ
>と思うのは私だけだろうか？
わけもわからず複雑さを求めるのは
考え無しの素人の最も悪い癖だぞ
省10
156: 2025/09/20(土)17:43 ID:7netQ1bm(9/12) AAS
地道な努力を放擲して
いきなり頂点に立とうとする
これほどの狂気は他にない
高卒サル ◆yH25M02vWFhP
オマエのことだよ
述語論理も知らん
集合論も初歩から知らん
実数の定義とか目にした瞬間教科書をぶん投げた（笑）
実数のコーシー列がなぜ収束するのかまったくチンプンカンプン（笑）
省4
157(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/20(土)17:47 ID:eje/AQ+H(12/12) AAS
「くやしいのうwww」
「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ
(参考)
外部ﾘﾝｸ:dic.nicovideo.jp
ニコニコ大百科
くやしいのうwww
概要
省28
158: 2025/09/20(土)17:58 ID:7netQ1bm(10/12) AAS
最近、国会図書館デジタルコレクションで、ン十年ぶりに
「ブルバキ数学原論 集合論１」の第一章を読んだ
確かに珍奇ではあるが、さすがに高校の頃のような
チンプンカンプンな状況ではなかった
τはなかなか面白いよ
まあ、こんなの面白がっても
一般的な数学者にはなれないかもしれないが
数理論理学者にはなれるかもしれない
なれなくても別にどうってことはないが
面白ければいいじゃないか（笑）
省19
159: 2025/09/20(土)18:00 ID:7netQ1bm(11/12) AAS
>>157
＞「くやしいのう」
なら地道に勉強しろよ
＞「ごーまんかましてよかですか?」
ダメｗ
＞「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
自分のアホに気づかずに、
コピペでリコウぶることほど
クソな人生はないな（嘲）
高卒サル ◆yH25M02vWFhP
省1
160: 2025/09/20(土)18:03 ID:7netQ1bm(12/12) AAS
はっきりいって
小学校１年から高校３年までの算数・数学が
数学全体の中で占める割合は・・・１％以下ｗ
161: 2025/09/21(日)07:04 ID:728Xn/GW(1) AAS
読者の予備知識を「高卒程度」と
想定しているのが「現代数学」
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.271s*