純粋・応用数学・数学隣接分野（含むガロア理論）21 (270ﾚｽ)
上下前次1-新
1(3): 07/20(日)18:06 ID:JxJPBISF(1/9) AAS
クレレ誌：
外部ﾘﾝｸ:ja.wikipedia.org
クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである（Neuenschwander 1994, p. 1533）。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。
(引用終り)
そこで
現代の純粋・応用数学・数学隣接分野（含むガロア理論）スレとして
新スレを立てる（＾＾；
＜前スレ＞
純粋・応用数学・数学隣接分野（含むガロア理論）20
2chｽﾚ:math
省17
144: 07/26(土)23:43 ID:gZ1LykHx(20/22) AAS
>>141
なんか検索したらこれ引っかかりましたーー的な？
何十行も長々と引用して「この印籠が目に入らぬかあああ」って言いたげだけど全然トンチンカンだよ
１行でズバり答えてよ
145: 07/26(土)23:45 ID:gZ1LykHx(21/22) AAS
>>143
>順序数 α が極限順序数でないとき，後続順序数であるという．
はい、大間違いです。
実際、順序数0は極限順序数でも後続順序数でもない。
146(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/26(土)23:50 ID:w9PY0JQs(15/16) AAS
>>142
>順序数全体の集まりはクラスの定義に合致するからクラスです。
>しかし集合ではありません。
ふっふ、ほっほ
そっから、勘違いのオチコボレさんか？ｗｗ ；ｐ）
下記『「クラス」の正確な定義は、議論の基礎となる文脈に依存する』などを
百回音読してねｗ
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
クラス (集合論)
省8
147(1): 07/26(土)23:52 ID:gZ1LykHx(22/22) AAS
>>143
>n ∈ On が自然数であるとは，n は 0 または後続順序数で n のすべての要素も後続順序数であること，とできるからである．』の通りで
え？？？？？？？？
君、1={0}を否定するの？ 0の前者は存在しない、すなわち0はいかなる順序数の後続順序数でもないことを知らないの？
君、順序数の初歩の初歩から分かってないんだね ありゃりゃー
148(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/26(土)23:58 ID:w9PY0JQs(16/16) AAS
>>146 補足
誤：順序数全体の集まりはクラスの定義に合致するからクラスです
↓
正：順序数全体の集まりは、現代数学では （どのような定式化を選んだとしても）集合の定義に合致しないから真のクラスである
149: 07/27(日)00:01 ID:BtC8baTp(1/27) AAS
>>146
>そっから、勘違いのオチコボレさんか？
何をどう勘違いしてると思ったのか具体的に言ってみて
>『「クラス」の正確な定義は、議論の基礎となる文脈に依存する』
順序数全体の集まりが集合でない理由とまったく関係無くて草
そんな必死にごまかそうとしなくてもｗ
150: 07/27(日)00:03 ID:BtC8baTp(2/27) AAS
>>148
>正：順序数全体の集まりは、現代数学では （どのような定式化を選んだとしても）集合の定義に合致しないから真のクラスである
だからその理由を出題してるんだけどｗ
なんでそんな必死にごまかそうとするの？
151: 07/27(日)00:09 ID:BtC8baTp(3/27) AAS
驚いたね。
1={0}。0は後続順序数でない。
たったこれだけの事実から
>n ∈ On が自然数であるとは，n は 0 または後続順序数で n のすべての要素も後続順序数であること，とできるからである．
は否定される。
こんな簡単なことも理解できないとは。。。さすが稀代のバカと呼ばれるだけのことはある。
152: 07/27(日)00:12 ID:BtC8baTp(4/27) AAS
今までも何度も驚かされてきたが、今日という今日は度肝抜かれた
ここまでバカだったとは
153(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)00:13 ID:6EVaf5Z4(1/8) AAS
>>147
(引用開始)
>n ∈ On が自然数であるとは，n は 0 または後続順序数で n のすべての要素も後続順序数であること，とできるからである．』の通りで
え？？？？？？？？
君、1={0}を否定するの？ 0の前者は存在しない、すなわち0はいかなる順序数の後続順序数でもないことを知らないの？
(引用終り)
ふっふ、ほっほ
>>143 より再録
「ゲーデルと20世紀の論理学第４巻」（東京大学出版会，2007）の，渕野 昌の執筆した第I部 外部ﾘﾝｸ[pdf]:fuchino.ddo.jp
より『P48
省13
154(1): 07/27(日)00:27 ID:BtC8baTp(5/27) AAS
>>153
わろた 「０以外の」の追加が必要なら間違いってことじゃねーかｗ
で、なんとか先生も間違うんだから、なんとか先生が言ってたからーは理由にならんってことだろ？
さっさと>>120に答えてよ 君が間違いと言ったんだからよろぴくね
155(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)00:31 ID:6EVaf5Z4(2/8) AAS
>>153 追加訂正
”n は 0 または (0以外の)後続順序数で (0以外の)n のすべての要素も後続順序数であること”
↓
”n は 0 または (0から誘導される)後続順序数で (0から誘導される)n のすべての要素も後続順序数であること”
が正確かもね
下記 順序数で
”ω の後にはまたその後続者たちが S(ω), S(S(ω)), S(S(S(ω))), ... と無限に続いていく・・”
となっているので
外部ﾘﾝｸ:ja.wikipedia.org
順序数
省4
156(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)00:48 ID:6EVaf5Z4(3/8) AAS
>>154
>さっさと>>120に答えてよ
？>>120
>反例：正則性公理、選択公理
なんのこっちゃｗ
下記を百回音読してね
（両方とも、渕野先生は「・・存在する」と規定されていますｗ）
あと、先回りして 言っておくが
集合論では、関数or写像も集合に直せるよ（下記。google AIに、教えて貰えｗ）
>>143 より再録
省19
157: 07/27(日)00:55 ID:BtC8baTp(6/27) AAS
>>155
>”n は 0 または (0から誘導される)後続順序数で (0から誘導される)n のすべての要素も後続順序数であること”
だから大間違いだと何度言わせるんだよ
1={0}の要素に後続順序数なんて無いだろが
どこまでバカなの？
158: 07/27(日)01:00 ID:BtC8baTp(7/27) AAS
>>155
>下記 順序数で
>”ω の後にはまたその後続者たちが S(ω), S(S(ω)), S(S(S(ω))), ... と無限に続いていく・・”
>となっているので
ωより大きい後続順序数は極限順序数ωを要素に持つから除外されるだろが 「0から誘導される」とかワケワカランアホ条件はいらねーんだよ
どこまでバカなの？
159(1): 07/27(日)03:05 ID:BtC8baTp(8/27) AAS
>>156
※
>「集合 x1, x2, . . . が与えられたとき，これらか
>ら ... という性質を持つ集合を作ることができる」というタイプの主張（存在公理）となっている
「作ることができる」だから、インプットx1, x2, . . .を具体的に与えたとき、作られる集合も具体的でなければならない。
>P15
>（基礎の公理） 空集合でない任意の集合 x に対し，y ∈ x で，どんな
>z ∈ x をとってきても z ∈ y とならないようなものが存在する．
>上で y のようなものを x の ∈ に関する極小元とよぶことにする．
>基礎の公理から，すべての集合 z に対し z ∈ z とはならないことがわかる．
省17
160(1): 07/27(日)05:08 ID:XV6Sr7tY(1) AAS
>159
>>集合論では、関数or写像も集合に直せるよ
>まったくトンチンカン。
一昔前の大学の授業ではそう教えられていたのだが
161: 07/27(日)08:02 ID:BtC8baTp(9/27) AAS
>>160
間違いと言ってるのではない
ズレてると言ってるのである トンチンカンってそういう意味だろ？
だからそこだけ切り抜いての君のコメントもトンチンカン
162: 07/27(日)08:19 ID:BtC8baTp(10/27) AAS
集合に直せる。はいその通り。集合論の常識。実際「選択関数（集合論では集合）」って書いてるじゃん。
しかしそのことは今ぜんぜん論点ではない。
論点は
>「集合 x1, x2, . . . が与えられたとき，これらか
>ら ... という性質を持つ集合を作ることができる」というタイプの主張（存在公理）
であるか否か。
そして選択公理は否。なぜなら具体的集合x1を与えても選択公理はいかなる具体的選択関数（集合論では集合）も作らないから。
論点がズレてるからトンチンカンと言った。お分かりかな？
163: 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)08:54 ID:6EVaf5Z4(4/8) AAS
>>141 追加引用
岡潔先生とハウスドルフの集合論
について、追加引用
外部ﾘﾝｸ[pdf]:fuchino.ddo.jp
特集／集合・位相の考え方—数学の基礎をなす概念—
ハウスドルフの集合論と位相空間論の誕生
—現代，ないし(仮想的) 近未来の視点からの考察 渕野 昌
本稿は「数理科学」2022年6月号特集に寄稿した論考の2024年12月17日の時点での拡張版
Ｐ3
本稿のもとの表題「ハウスドルフと位相空間論の誕
省20
164: 07/27(日)09:16 ID:BtC8baTp(11/27) AAS
数学のあらゆる対象を集合で論じましょう、あらゆる定理の前提となる公理系を整備しましょう
ってのが集合論のコンセプトやからねえ 当然関数も集合だわな
実際 f:X→Y＝{<x,y>∈X×Y|∀x∈X:(∃y∈Y:(y=f(x)))} やな
ちなみに置換公理では関数クラスという考えが用いられていて、関数クラスは
「論理式 ∀x∀y∀z((φ(x,y)∧φ(x,z))→y=z) を満たす開論理式φ(x,y)の集まり」
と定式化されている。
置換公理はこのφをパラメータとする公理図式（つまり無限のバリエーションを持つパラメータ値と公理が1対1対応）。
165: 07/27(日)09:57 ID:BtC8baTp(12/27) AAS
つまり、ZF公理系はクラスを規定していないからクラスを使うことはできないが、特に関数クラスについては、集合論がその基礎とするところの一階述語論理の言葉で書き下すことで、クラス概念を用いている。
どや、おもしろいやろ？ どこぞのコピペバカとは一味も二味も違うやろ？
166: 07/27(日)10:18 ID:BtC8baTp(13/27) AAS
∀x∀y∀z((φ(x,y)∧φ(x,z))→y=z) の意味分かる？
f:X→Y は X×Yの部分集合な訳だが、「任意のx∈Xに対し、xの写像先f(x)∈Yが唯一存在する。」という意味。
この「唯一」の条件を満たさないX×Yの元はfの元にはなり得ませんよという意味。
167: 07/27(日)10:23 ID:BtC8baTp(14/27) AAS
唯一存在だから0個存在でも2個存在でもダメ。それが関数の特性。中学で習ったやろ？
168: 07/27(日)10:38 ID:BtC8baTp(15/27) AAS
論理が分からない、論理式を読めないどこぞのコピペバカはそこらへんチンプンカンプンなのよ
だから聞きかじりしかできない
だからちょっと会話すると途端にボロが出る
そして持論の正しさはもっぱら引用で立証しようとする 引用元が正しい保証なんて無いのに 馬鹿でしょ？ｗ 間抜けな水戸黄門かよｗ
169(1): とおりすがり 07/27(日)12:10 ID:D0JvKdwR(1/2) AAS
>1の雑談は実数論で同値関係の
概念や線型代数の|・|≠0の意味ができない、中学過程から落ちこぼれ。
レベルは渕野のいうところの、数学の基礎づけでなく基礎(数学)から全くできないレベル。
結局レスこじきの炎上商法で数学でも物理でもない望月語のトンデモIUTにすがりつき罵倒コピペ中毒あらしの日々、、なぜかmath jinを尊敬している。
相手にすると時間の無駄
170(1): とおりすがり 07/27(日)12:13 ID:D0JvKdwR(2/2) AAS
>1の雑談は実数論で同値関係の
概念や線型代数の|・|≠0の意味ができない、中学過程から落ちこぼれ。
レベルは渕野のいうところの、数学の基礎づけでなく基礎(数学)から全くできないレベル。
結局レスこじきの炎上商法で数学でも物理でもない望月語のトンデモIUTにすがりつき罵倒コピペ中毒あらしの日々、、なぜかmath jinを尊敬している。
相手にすると時間の無駄
171(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)14:33 ID:WsIwlYym(1/4) AAS
ホイヨ
下記 ++C++; // 未確認飛行 C さん面白い
自然数の定義 ωa ＝ ∩a^ だってね
なんか、タネ本があるのかな？ （＾＾
(参考)
google検索：ZFC 集合論 で、空集合から自然数を構築するに
＜検索結果＞
外部ﾘﾝｸ:ufcpp.net
Copyright Nobuyuki Iwanaga since 2000 ++C++; // 未確認飛行 C について
自然数
省40
172(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)14:34 ID:WsIwlYym(2/4) AAS
つづき
外部ﾘﾝｸ:ufcpp.net
Copyright Nobuyuki Iwanaga since 2000 ++C++; // 未確認飛行 C について
集合の公理系
TOP [数学・物理] 数学 [集合論] 集合の公理系
目次
公理系
ZFC公理系
外部ﾘﾝｸ:ufcpp.net
Copyright Nobuyuki Iwanaga since 2000 ++C++; // 未確認飛行 C について
省28
173: 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)14:45 ID:WsIwlYym(3/4) AAS
>>169-170
とおりすがり の アホぼん？
ご苦労様ですｗｗ ；ｐ）
まさか、おっちゃんでは ないよね？ｗ
”望月語のトンデモIUT”だと？
望月IUTの形勢逆転が見えないとね （＾＾
大局観が狂っているよね。君は囲碁を覚えた方がいいね ；ｐ）
”なぜかmath jinを尊敬している”？
なぜか？
彼は、マメだよね 情報を集めるのが
省9
174: 07/27(日)14:51 ID:PEkJbCaQ(1) AAS
> id:WsIwlYym
中学過程から落ちこぼれた
コピペ貼り専門の>1雑談に
数学の理解は無理
175(1): 07/27(日)16:23 ID:BtC8baTp(16/27) AAS
>>171
>自然数全体の集合は、最小の無限集合として定義されます。
はい、大間違いです。
結果的に最小の無限集合だったとしてもそれが定義ではない。すなわち定義と定理をはき違えている。
>まず、何でもいいので1つ無限集合 a を選びます。 また、「x は無限集合である」という命題を M(x) とし、 以下のような集合 a^ を作ります。
>a^ ＝ {x ∈P(a) | M(x)}
>P (a) は a の「冪集合」です。 すなわち、a^ は a の部分集合のうち、無限集合になるようなもの全てを集めた集合です。
>そして、a^ の全ての元の共通部分を取ります。
>ωa ＝ ∩a^
これは
省2
176(1): 07/27(日)16:28 ID:BtC8baTp(17/27) AAS
>>172
内容が無い
177(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)17:12 ID:WsIwlYym(4/4) AAS
>>175
(引用開始)
>まず、何でもいいので1つ無限集合 a を選びます。 また、「x は無限集合である」という命題を M(x) とし、 以下のような集合 a^ を作ります。
>a^ ＝ {x ∈P(a) | M(x)}
>P (a) は a の「冪集合」です。 すなわち、a^ は a の部分集合のうち、無限集合になるようなもの全てを集めた集合です。
>そして、a^ の全ての元の共通部分を取ります。
>ωa ＝ ∩a^
これは
>N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
とまったく同じであることは分かる？
省21
178: 07/27(日)17:51 ID:BtC8baTp(18/27) AAS
>>177
>”まったく同じ”とは、思わない
>結果的に、同じ自然数の集合 N=ωa が示せたとしても
>手法が違うよね
へえ、使う文字が違うことを手法が違うと言うんだね 君の基準では 頭悪いね
179: 07/27(日)17:52 ID:BtC8baTp(19/27) AAS
示せるも何もまったく同じ
まったく分かってなくて草
水戸黄門大惨敗ｗ
180: 07/27(日)17:53 ID:BtC8baTp(20/27) AAS
>１）”a^ ＝ {x ∈P(a) | M(x)}”は、冪集合 P (a) を使っていることが 一つの工夫だね
あちゃーーー
こいつぜんぜん分かってねーわ あったまわっるーーーー
181: 07/27(日)17:54 ID:BtC8baTp(21/27) AAS
おまえは一生水戸黄門見て悦に入ってろ
数学？ おまえみたいなサルには無理（断言）
182: 07/27(日)18:21 ID:BtC8baTp(22/27) AAS
>問題は、M(x)をどう定義するか？
うわあああああ
ここまで頭悪いとは なんか見ちゃいけないもの見ちゃった気分
183(1): 07/27(日)18:23 ID:BtC8baTp(23/27) AAS
頼むからサルはどっか行って
その酷く醜い知能をこちらに見せないで
184(1): 死狂幻調教大師S.A.D.@月と六ベンツ 07/27(日)19:36 ID:wMKGC27c(1/2) AAS
しかしスレ主さんだっけ先輩から見守られてて素敵。
185(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)19:53 ID:6EVaf5Z4(5/8) AAS
>>183
>その酷く醜い知能をこちらに見せないで
ふっふ、ほっほ
「ハイ、鏡！」ｗ
おサル＝サイコパス＊のピエロ（>>5）
サイコパスの本領発揮かい？ｗ（”サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む”（>>5）ｗｗ）
さて
１）ωa ＝ ∩a^、a^ ＝ {x ∈P(a) | M(x)}、1つ無限集合 a 、P (a) は a の「冪集合」
（a^ は a の部分集合のうち、無限集合になるようなもの全てを集めた集合で
a^ の全ての元の共通部分を取ります
省18
186: 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)19:56 ID:6EVaf5Z4(6/8) AAS
>>184
死狂幻調教大師S.A.D.@月と六ベンツ さん、いつもありがとうございます。
>しかしスレ主さんだっけ先輩から見守られてて素敵。
プロ数学者の御大のことでしょ？
先輩ではないですよ
世界的な 数学者です
187: 07/27(日)20:07 ID:Ptm28A9I(1) AAS
誰かのエピゴーネンでしかない人物
188(1): 07/27(日)20:39 ID:BtC8baTp(24/27) AAS
>>185
>こちらの式の問題点は、>>177に指摘の通りで ”「x は無限集合である」という命題を M(x) とし”の部分であって
>ここを きちんと 集合の言葉で書けるかどうか？ そこが問題です
なんとか先生のφ(x)を使え
>この二つの式は、明らかに異なりますね
>前者１）は、無限集合 a の 「冪集合」P (a) を経由して 自然数全体の集合 ωを定義しようとするのですが
x ∈P(a)のxって何？aの部分集合だろ？
>後者２）は、明らかに 「冪集合」P (a) は 経由していない から 本質的に別の式だね
x⊂Aのxって何？Aの部分集合だろ？
同じじゃねーかｗ 君、べき集合知らないの？ 部分集合知らないの？ どこまでバカなん？
省3
189: 07/27(日)20:41 ID:BtC8baTp(25/27) AAS
サルは馬鹿すぎるので数学板書き込み禁止な？
当然だろ？ 部分集合も知らないんだから
190: 死狂幻調教大師S.A.D.@月と六ベンツ 07/27(日)20:49 ID:wMKGC27c(2/2) AAS
それ二進法の人たちじゃないの。大してヤバい奴らには見えないけどな。三進法以降のレクチャーはできるけどな。焦らず。
191: 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)22:46 ID:6EVaf5Z4(7/8) AAS
資料提供：
下記 向井 国昭先生、慶應 情報系だが
学歴 1971年東京大学, 理学部, 数学科
・”公理は「これこれの集合が存在するならばしかじかの集合が存在する」という 条件文の形で述べられる”
・”定義 2.6 (A から B への関数) 関数 f が直積 A ×B の部分集合で，dom(f) = A のとき，f を A から B への関数とよぶ”
・”公理 2.10 (無限公理) 次のような集合 N ≠0 が存在する: ∀x(x ∈ N → {x} ∈ N).
無限公理は, 自然数の全体と同じ大きさの集合, すなわち少なくともひとつの無限集合の存在を主張している.”
（補足）
公理 2.10 (無限公理) は、情報系の人向けの簡略形でしょう
まあ、当座は これでも良いんだ
省35
192: 07/27(日)22:58 ID:BtC8baTp(26/27) AAS
部分集合が分からないサルがまたコピペしとる
性懲りないね
193: 07/27(日)23:00 ID:BtC8baTp(27/27) AAS
サルよ
いくら検索＆コピペを繰り返しても無駄
部分集合すら分からないおまえに集合論が理解できる訳無いだろ？
194(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)23:58 ID:6EVaf5Z4(8/8) AAS
>>188
ふっふ、ほっほ
踏みつけたゴキブリ、しぶといなぁ〜、まだ動いているよｗ ；ｐ）
(引用開始)
>こちらの式の問題点は、>>177に指摘の通りで ”「x は無限集合である」という命題を M(x) とし”の部分であって
>ここを きちんと 集合の言葉で書けるかどうか？ そこが問題です
なんとか先生のφ(x)を使え
(引用終り)
「x は無限集合である」という命題が M(x)だというが
言葉で書けば簡単だが、”無限”という用語は使えないよ
省31
195(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/28(月)00:07 ID:DgNswCrs(1/2) AAS
>>194 引用文献訂正
>>115 仏語 Axiome de la réunion、英語 Axiom of union
↓
>>62 独wikipedia 外部ﾘﾝｸ:de.wikipedia.org
仏wikipedia 外部ﾘﾝｸ:fr.wikipedia.org
英wikipedia 外部ﾘﾝｸ:en.wikipedia.org
196: 07/28(月)00:24 ID:0TeRvI4n(1/10) AAS
>>194
>”無限”という用語は使えないよ
誰がそんなこと言った？ 言葉が通じないの？ 言語障害？ 病院行けよ
>『N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}（Aは無限公理により存在する集合を任意に選んだもの』>>185
>において
>下記の ja.wikipedia 順序数の大小関係 を借用して
>A={0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω)))}
>を考えよう
はい、大間違い。
なぜなら帰納的集合の定義により S(S(S(ω)))∈A ならば S(S(S(S(ω))))∈A だから。
省15
197: 07/28(月)00:28 ID:0TeRvI4n(2/10) AAS
>>195
自分が読めないものをなぜ引用する？ 頭おかしいの？
198: 07/28(月)00:30 ID:0TeRvI4n(3/10) AAS
バレてないと思ってんの？
サルが論理式読めないのとっくにバレてるよ 読めてたら馬鹿丸出し発言を連発する訳が無いだろ？
199: 07/28(月)00:40 ID:0TeRvI4n(4/10) AAS
>ふっふ、ほっほ
>踏みつけたゴキブリ、しぶといなぁ〜、まだ動いているよｗ ；ｐ）
サル、部分集合すら分かってないことを指摘されて発狂
部分集合が分からなきゃ集合論は分からないよ 近所の中学生にでも教えてもらいな
200: 死狂幻調教大師S.A.D.@月と六ベンツ 07/28(月)00:41 ID:LhHJriUB(1/2) AAS
論理学は？
201(1): 死狂幻調教大師S.A.D.@月と六ベンツ 07/28(月)00:42 ID:LhHJriUB(2/2) AAS
それが出来ていないと。
202: 07/28(月)00:47 ID:0TeRvI4n(5/10) AAS
AはBの部分集合⇔∀x∈A:(x∈B)
あそっか、サルは論理式読めないんだっけ
じゃ諦めな サルに数学は無理
203: 07/28(月)00:56 ID:0TeRvI4n(6/10) AAS
サルは大学一年の線形代数と微積が初歩から分かってないことが指摘されていたが、まず論理から勉強した方がよい。
論理が分からないと数学は分からない、よってそれらも分からない。つまり君が大学一年四月に落ちこぼれたことがまた繰り返されるだけだから。
204(1): 07/28(月)01:04 ID:0TeRvI4n(7/10) AAS
サル、今日も大惨敗でしたとさ ちゃんちゃん
205: 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/28(月)07:22 ID:DgNswCrs(2/2) AAS
>>201
死狂幻調教大師S.A.D.@月と六ベンツ さん、いつもありがとうございます。
>>204
おサルは、君だよ>>5
頑張るねｗ
もっと、踏みつけてやるよ 数学板のゴキブリくんｗｗ ；ｐ）
206: 07/28(月)13:45 ID:0TeRvI4n(8/10) AAS
M:={x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
MはAの部分集合で帰納的集合であるもの全体の集合。
帰納的集合はその定義からωを持たなくてもよい。なぜなら{}と後者関数からはωは生成されないから。
よってMはωを持たない集合を持つ。
よって∩Mはωを持たない。
こんな簡単な論理すら分からずに公開掲示板で集合論語っちゃう厚顔無恥さには恐れ入るばかりである
207: 07/28(月)14:28 ID:0TeRvI4n(9/10) AAS
>帰納的集合はその定義からωを持たなくてもよい。なぜなら{}と後者関数からはωは生成されないから。
{}と後者関数S(x)から生成される集合 {},S({}),S(S({})),・・・ 全体の集合をωと定義する。
ωは{}と後者関数S(x)から生成されない。実際、仮に生成されるならωの定義より ω∈ω であり、正則性公理によりωは集合ではないが、これは集合と定めた定義と矛盾する。
帰納的集合はその定義から{}と後者関数S(x)から生成される集合 {},S({}),S(S({})),・・・ をすべて持つ。
一方ωは上記の通り{}と後者関数S(x)から生成されないので、帰納的集合がωを持つかは任意である。
208: 07/28(月)14:46 ID:0TeRvI4n(10/10) AAS
すなわちωを持たない帰納的集合が存在し、従ってあらゆる帰納的集合の共通部分はωを持たない。
「ωを持つから間違い」は無知・誤解・妄想から来る言いがかりに過ぎない。これだから無教養なチンピラは困る。
209: 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/31(木)07:10 ID:ZOjwMpAx(1/2) AAS
>>92
>>>90-91で引用されている内容って、>>77（の前半）と別に矛盾しないのでは。
ありがとう
矛盾はしないとしても
ポイントは、>>91 尾畑研 第2章 集合
"ラッセルのパラドックスは集合論の矛盾を突いているように見えるが
今日から見れば何が集合であり何が集合でないのかを設定し切れていなかったということである
厳密を旨とする現代数学では一群の公理系を設定して
それのみを用いて論理的に導き出された結果を集積することで
理論が構築される
省33
210: 07/31(木)07:13 ID:ZOjwMpAx(2/2) AAS
誤爆ｽﾏﾝ
211: 08/01(金)15:07 ID:s+XIBA1E(1) AAS
このスレ終了
高卒は大学１年の微分積分と線形代数からやり直せ
212(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)12:15 ID:ZWqlQsZq(1/2) AAS
前にも取り上げた記憶があるが、貼っておきます
外部ﾘﾝｸ:nazology.kusuguru.co.jp
nazology
10代の数学者が「溝畑・竹内予想」が偽であると証明
2025.08.12 21:00:55 Tuesday
（※溝畑・竹内予想についてやや突っ込んだ解説を読みたい人は最終ページに飛んでください）
研究内容の詳細は『arXiv』にて発表されました。
A Counterexample to the Mizohata-Takeuchi Conjecture
外部ﾘﾝｸ:doi.org
省18
213: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)15:51 ID:ZWqlQsZq(2/2) AAS
これ 面白い
外部ﾘﾝｸ:news.yahoo.co.jp
AMD、推論特化の完全オープンな言語モデル「Instella-Math」
8/13(水)
AMDは8月9日、推論に特化したオープンな言語モデル「Instella-Math」を発表した。同社が3月に発表した30億パラメータのオープンモデル「Instella-3B-Instruct」をベースに、5段階のトレーニングを通じて機能を拡張したモデルとなる。
Instella-Mathは、30億パラメータを持つ推論中心型言語モデル。アーキテクチャやトレーニングコード、ウェイト、データセットに加え、教師ありファインチューニング(SFT)のデータも公開しており、完全にオープンなモデルだと説明している。Instella-3B-Instructをベースに2段階の教師ありファインチューニングと、3段階の強化学習を行ない、多段階の論理的推論や数学的な問題解決、思考連鎖といったタスクに向けて最適化を図った。
214: 08/13(水)18:27 ID:osN5EEQ4(1) AAS
>>212
高卒ホモ ◆yH25M02vWFhP は、還暦すぎても大学１年の微積も線形代数も全く理解できない
ああ、つまらんつまらん
215(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)23:23 ID:w78+kS3p(1) AAS
いいね
外部ﾘﾝｸ:www.technologyreview.jp
technologyreview.jp
人工知能（AI）
Insider Online限定
Five ways that AI is learning to improve itself
迫る「知能爆発」の兆し、
AIによるAIの進化は
5つの領域で起きている
人工知能（AI）が自己改善を繰り返し、人間を凌駕する「知能爆発」を現実化させる動きが進んでいる。訓練の自動化からハードウェアの最適化まで、大規模言語モデル（LLM）はすでにAIそのものの進歩を加速させており、今日のAIにおける最も重要なトレンドとなるかもしれない。
省6
216(1): 08/14(木)00:59 ID:wLpg/jrm(1) AAS
>>215
出たああああ AI教信者
君が出してきた実数の整列順序に関するAI回答見てびっくりしたよ。世間じゃAIAIと騒いでるが、こんなにもバカだったんだ、とねｗ
217: 08/14(木)05:16 ID:/DikW1nE(1) AAS
>>216
今のAIは賢い検索エンジンの域を脱してないので、
数学における深い思考を実現するには至っていない
とはいえ、高卒ホモ ◆yH25M02vWFhP のレベルは既に超えている
つまり、今この世に生きてる人類の９割よりは賢い
218(1): 08/22(金)07:46 ID:u7MFpsud(1) AAS
これ面白いね
外部ﾘﾝｸ:studio.persol-group.co.jp
studio.persol-group.co.jp
はたナマ
生成AIに月8万課金、23歳で月収100万。始まりはChatGPT“宿題代行”。
2025年8月21日
大学4年生でChatGPTに出会い、使い始めて数カ月で人生が激変──。
現在23歳の大塚あみさんは約2年前、ChatGPTを使ってレポート課題をサボることを思い付きました。ChatGPTを使い倒す中で、授業中にオセロゲームをつくったところたちまち注目を浴びます。5つ以上の学会で講演するなど、日常がめまぐるしく変化していきました。
新卒1年目で書き記した著書『#100日チャレンジ 毎日連続100本アプリをつくったら人生が変わった』は、ソフトウェア開発・言語カテゴリでAmazonベストセラーに。
現在、生成AIに毎月最大12万円課金しながらシステムエンジニア・研究者・著述家・経営者としてはたらく大塚さんに、自分らしくはたらくヒントを伺いました。
省1
219(1): 08/22(金)09:56 ID:tcF6mjQh(1) AAS
宗教みたい
220: 08/22(金)10:48 ID:qMd0DCBB(1) AAS
>>218
＞これ面白いね
AIを妄信狂信する馬鹿（笑）
221: 08/22(金)17:13 ID:GwQwxcKz(1) AAS
>>219
巡回ご苦労様です
2016年のAlphaGoは、９年前だったか
2022年は GPT-3.5
はてさて、この宗教"AI"は 今後どうなっていくのか？
”「東大理三より難しい」人気沸騰で超難関化したイマドキ東大生の進路とは？”が、ありますｗ（下記）
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
AlphaGo（アルファ碁、アルファご）は、Google DeepMindによって開発されたコンピュータ囲碁プログラムである[1]。
2016年3月15日には、李世乭との五番勝負で3勝（最終的に4勝1敗）を挙げ、韓国棋院に（プロとしての）名誉九段を授与された[4]。
省16
222: 08/22(金)19:23 ID:umrs5KmU(1/2) AAS
松尾研を出れば、たちまち企業で一千万、二千万の年収が手に入るからな。
223(2): 08/22(金)19:32 ID:umrs5KmU(2/2) AAS
「無限集合の存在を公理に持たない体系Ｓ」を考えて、
その外側でＳを自然に内包する「無限集合の存在を公理に持つ体系Ｓ'」
を考える。
そうして体系Ｓの中では証明を導くことのできない「体系Ｓ内部での命題」を、
体系Ｓ’の中であれば無限集合の存在を利用して証明ができるとするとき、
果たしてそれは「Ｓ内部の命題」に対しての証明になっているといえるの
だろうか？
224: 08/22(金)21:25 ID:EqzHJSfS(1/2) AAS
命題「任意の集合は整列集合である」は、ZF内では証明も反証もできないが、ZFを内包するZFCでは証明できる
それが何か？
225: 08/22(金)23:46 ID:EqzHJSfS(2/2) AAS
そもそも命題はどの体系内のものかという属性を持たないのでは？ （一方命題の証明は当然その属性を持つ。）
なので問題設定がおかしい気がする。
226: 08/23(土)10:13 ID:XQOxXTSd(1) AAS
＞工学部システム創成学科
もともと
船舶海洋工学科、システム量子工学科、地球システム工学科、精密機械工学科
とかいう時代遅れの学科どもを統合したカス学科（笑）
船舶海洋工学科 ：旧 造船学科
システム量子工学科：旧 原子力工学科
地球システム工学科：旧 鉱山学科
精密機械工学科 ：旧 造兵学科
造兵学科といっても、兵隊を作るのではなく、兵器を作るのである（笑）
どれもこれも政治的にキナ臭い
227(1): 08/24(日)06:26 ID:cgnD/uBK(1) AAS
昨日の新聞にAIとの結婚話が出ていた
228(1): 08/24(日)08:38 ID:+A9mxT/6(1/4) AAS
編集手帳編集手帳
備蓄米の温度管理：『青果・鮮魚・精肉と同じく鮮度が大切。玄米を精米すれば、あっという間に鮮度は落ちてゆく。とはいえ、古古古古米でも存外いけるじゃないかと、食べ比べに精を出された方もおられよう』
”玄米のまま、温度15℃以下、湿度60〜70%前後の低温で保管することで、品質劣化を大幅に抑制しています”
ということですね
低温保存ですね。化学的には アレニウスの式 k=A*exp(−Ea/RT)、 T ：絶対温度 で評価できて
絶対温度T を下げる方が良いが、凍らないようにする方が良いのだが、電気代とのかねあいで 電気代が高くならないよう という要請との兼ね合い
(参考)
外部ﾘﾝｸ:www.yomiuri.co.jp
８月２４日 編集手帳
2025/08/24 読売新聞[読者会員限定]
省27
229(1): 08/24(日)09:19 ID:+A9mxT/6(2/4) AAS
>>227
>昨日の新聞にAIとの結婚話が出ていた
googleニュース 検索ではヒットしなかった
でも、類似記事は数年前から あるようです
余談ですが、”朝日新聞
俵万智さんが短歌AIを体験してみたら 驚きの下の句に「やられた」”が、面白かった
(参考)
googleニュース 外部ﾘﾝｸ:news.google.com
検索：新聞 AIとの結婚話
外部ﾘﾝｸ:news.yahoo.co.jp
省50
230(1): 08/24(日)09:41 ID:jDvM1F2N(1) AAS
>>228 化学板に書いてな
>>229 情報学板に書いてな
AIは数学じゃありません
231(1): 08/24(日)09:49 ID:+A9mxT/6(3/4) AAS
>>223
(引用開始)
「無限集合の存在を公理に持たない体系Ｓ」を考えて、
その外側でＳを自然に内包する「無限集合の存在を公理に持つ体系Ｓ'」
を考える。
そうして体系Ｓの中では証明を導くことのできない「体系Ｓ内部での命題」を、
体系Ｓ’の中であれば無限集合の存在を利用して証明ができるとするとき、
果たしてそれは「Ｓ内部の命題」に対しての証明になっているといえるの
だろうか？
(引用終り)
省35
232(3): 08/24(日)09:55 ID:+A9mxT/6(4/4) AAS
>>230
？
だれかと思えば
数学オチコボレさんか
君は、運営でもなければ
名誉教授でもない
君の指図はうけないｗ
なお、いまどきの大学 数学科生で
卒業後 コンピュータサイエンス系の仕事に行く人もいるだろう
AIは、要注目
省2
233: 08/24(日)12:34 ID:rTm6xTpy(1) AAS
>>232
？
だれかと思えば
∩恐怖症で厳密恐怖症でAIマンセーのおサルさんか
234: 08/25(月)20:59 ID:/ZwuI2/k(1) AAS
これいいね
外部ﾘﾝｸ:www.nikkei.com
nikkei.com
「禁じられた」ブラックホール同士の合体を検出、科学者は困惑
ナショナル ジオグラフィック
2025年8月25日 5:00
「宇宙には非常に多くのブラックホールが分布しています」とナタラジャン氏は言う。「自分たちが大中小のブラックホールの橋渡しをしようとしていることに、大きな喜びを感じています」
文=Adam Mann/訳=三枝小夜子（ナショナル ジオグラフィック日本版サイトで2025年7月23日公開）
235(1): 08/26(火)06:52 ID:lqSOPYWc(1) AAS
2025年7月10日付で学術サイト「arXiv.org」に投稿された査読前の論文によると、
米国の「レーザー干渉計重力波天文台」（LIGO）が、2つのブラックホールの衝突によって生じた
重力波を2023年11月23日に検出した。2つのブラックホールの質量はそれぞれ太陽の103倍と137倍と推定されたが、
測定された性質には不確実なところがあり、どちらも太陽の約60〜130倍という
「禁じられた」質量の範囲内にある可能性が高いと、
英カーディフ大学の物理学者でLIGOチームのメンバーであるマーク・ハンナム氏は言う。
236: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/26(火)08:07 ID:dSyweoWi(1) AAS
>>235
巡回ありがとうございます
237: 08/26(火)08:11 ID:m4zUCoXw(1/2) AAS
>>223
>「無限集合の存在を公理に持たない体系Ｓ」を考えて、
>その外側でＳを自然に内包する
>「無限集合の存在を公理に持つ体系Ｓ'」
>を考える。
>そうして体系Ｓの中では証明を導くことのできない
>「体系Ｓ内部での命題」を
>体系Ｓ’の中であれば無限集合の存在を利用して証明ができるとするとき、
>果たしてそれは「Ｓ内部の命題」に対しての証明になっている
>といえるのだろうか？
省17
238: 08/26(火)08:14 ID:m4zUCoXw(2/2) AAS
>>232
>数学オチコボレさんか
それは、ID:+A9mxT/6、君だよ
>君の指図はうけない
だから君は大学数学が初歩から理解できない
>いまどきの大学 数学科生で
>卒業後 コンピュータサイエンス系の仕事に行く人もいるだろう
>AIは、要注目
だからAIは数学だということにはならない
論理も分からん高卒エテ公が利口ぶるな
239: 08/27(水)08:25 ID:r21l7Tcr(1) AAS
>>232
>なお、いまどきの大学 数学科生で
>卒業後 コンピュータサイエンス系の仕事に行く人もいるだろう
>AIは、要注目
【悲報】おサルがマンセーするAI、数学科どころか理系ですらないことが判明ｗ
外部ﾘﾝｸ:www.msn.com
文系学部でデータサイエンスやＡＩを必修化、文科省がモデル事業…来年度５校を支援
240(1): 08/27(水)20:15 ID:8xW7oa6O(1) AAS
無限集合として可算集合までを含む体系S（たとえば自然数あるいは整数を含む）
に対して、それを自然に含む非可算集合まで含むS'（たとえば実数や複素数を含む）。
Sで設定された命題をS'の中で証明できたら、それはSの中で正しいか？
離散的な存在である整数についてのS内での命題の証明をするのに、
連続的な存在である実数や複素数などについての解析学を使ってS'内で
証明した場合に、そのS'内部での証明の結果は、
Sにおける命題の成立を保証するか？
241: 08/28(木)06:46 ID:TYdOEijR(1/5) AAS
これ面白いね
外部ﾘﾝｸ[html]:www.itmedia.co.jp
AIの“Web操作”成功率、人間超えに成功 NECが世界初
2025年08月27日 [岡田有花，ITmedia]
NECは8月27日、Web上での業務を自動実行するエージェント技術「cotomi Act」（コトミ アクト）を開発したと発表した。
ベテラン社員の行動を操作履歴やログから把握した暗黙知をAIエージェントに組み込むことで、一般社員もベテラン品質で業務を遂行できるという。
同技術を組み込んだAIエージェントが、Web操作の国際ベンチマーク「WebArena」で、人間のタスク成功率を世界で初めて上回った。
省1
242(1): 08/28(木)07:24 ID:TYdOEijR(2/5) AAS
>>240
>離散的な存在である整数についてのS内での命題の証明をするのに、
>連続的な存在である実数や複素数などについての解析学を使ってS'内で
>証明した場合に、そのS'内部での証明の結果は、
>Sにおける命題の成立を保証するか？
その話は、下記の「整数論」ja.wikipedia の歴史そのものだね
つまり、「整数論」の中だけで考えるのは狭くて不便だ
だから、数論の世界を広げて、そこで数学をやろうということだ
で、いま思いついた即席のたとえ話をしておくと
フェルマーの最終定理 X^n+Y^n=Z^n （n>=3 でX,Y,Zは整数）
省21
243: 08/28(木)07:24 ID:TYdOEijR(3/5) AAS
つづき
解析的整数論
微積分や複素関数論等の解析学的手法を用いて問題に取り組む。この分野は初めて解析的な手法を系統的に数論に応用したディリクレに始まるとされる。その弟子であるベルンハルト・リーマンによってすでにこの分野の（ひいては数論）の最大の未解決問題であるリーマン予想（1859年）が提示されたのは興味深い。素数定理の証明（1896年）はこの分野の一里塚である。ゼータ関数、保型関数を研究するのもこの分野であって、超越数論とも関係が深い。
数論幾何学
整数論の問題を、代数幾何の手法で研究する、あるいは代数幾何の主対象である代数多様体（もっと広くスキーム）の整数論的な性質を研究する分野である。ディオファントスによる研究（初等整数論の範疇）から考えても、その起源は古いが、現代的な意味での数論幾何学の始祖はアンドレ・ヴェイユ（合同ゼータ関数に関する研究、モーデル・ヴェイユの定理の証明のほか、任意の体上での代数幾何学の研究など）といえるだろう。1950年代後半以降のアレクサンドル・グロタンディークらによるスキーム論およびそれに関連する各種理論の発展により、爆発的な発展を遂げ、現在では数論の中核に位置しているといえる。
歴史
→「数論の年表」も参照
外部ﾘﾝｸ:ja.wikipedia.org
フェルマーの最終定理
外部ﾘﾝｸ:stchopin.hatenablog.com
省4
244: 08/28(木)07:29 ID:TYdOEijR(4/5) AAS
>>242 タイポ訂正
つまり、「整数論」の中だけで考えるのは狭くて不便だ
↓
つまり、既存の「整数論」の中だけで考えるのは狭くて不便だ
かな
245(3): 08/28(木)19:35 ID:BAWOX92w(1) AAS
整数の体系Aの中では正しいとも正しくないとも決定不能なある命題があったとして、
その命題は元の整数の体系を含み実数も含むある体系Bの中では証明が出来るとする。
そのとき元の整数の体系を含んでいる別の体系Cの中では決して反証されないのだろうか？
246: 08/28(木)20:04 ID:f2Ke/uCG(1) AAS
体系ってなに？
247: 08/28(木)20:53 ID:TYdOEijR(5/5) AAS
>>245
>整数の体系Aの中では正しいとも正しくないとも決定不能なある命題があったとして、
>その命題は元の整数の体系を含み実数も含むある体系Bの中では証明が出来るとする。
>そのとき元の整数の体系を含んでいる別の体系Cの中では決して反証されないのだろうか？
多分、それに対する回答に近い例が
下記 藤田 博司先生 超限順序数と連続体問題 2021 に記述あるよ
因みに、藤田 博司先生のPDFは 結構いい。私は結構おせわになって居ます （＾＾
(参考)
外部ﾘﾝｸ:researchmap.jp
藤田 博司
省7
248(1): 08/29(金)01:52 ID:OeOWj3ng(1/2) AAS
体系とは、公理系など。
249: 数学科卒 08/29(金)07:38 ID:FTQwjfKe(1) AAS
>>245
> 整数の体系Aの中では正しいとも正しくないとも決定不能なある命題があったとして、
ゲーデルの不完全性定理によれば、Aが帰納的公理化可能であれば、決定不能な命題Gが存在します
> その命題は元の整数の体系を含み実数も含むある体系Bの中では証明が出来るとする。
上記の命題Gは、Gを公理としてAに追加した体系では、当然証明できます 公理ですから
> そのとき元の整数の体系を含んでいる別の体系Cの中では決して反証されないのだろうか？
上記の命題Gの否定命題¬Gを公理としてAに追加した体系では、当然反証されます
そもそもPがAで決定不能とは、Aの上では、Pからも¬Pからも矛盾が導けないということです
これまたゲーデルが証明した述語論理の完全性定理では、
体系Aのいかなるモデルでも真である命題はかならず証明できます
省7
250: 08/29(金)08:28 ID:GHf0Hyq9(1) AAS
>>245
そんなことは言えなくね？
というかその問い意味ある？ あるなら意味教えて
251: 08/29(金)09:12 ID:8hn3mZ12(1) AAS
それを公理として付け加えた体系内では 証明されるし 反証はされない
252: 08/29(金)19:43 ID:OeOWj3ng(2/2) AAS
現実の場合に、体系Aの中では命題Gが決定不能かどうかをどうやって示すか。
もしかしたらAの中でGは証明できるのではないかといくら努力してみても証明できず、
Aの中でGの否定が証明できるのではないかといくら努力してみても証明できなかった
としても、そのことからだけでは決定不能であるとはいえない。
またAにGを公理として付け加えたBをつくれば、Bの中では命題Gは真理である、
と言われているが、実際にそれをやろうとするときに、
AにGを付け加えた体系Bが無矛盾になることをどうやって保証するのだろうか。
253(1): 08/30(土)23:03 ID:rNVoXQDS(1) AAS
円積問題（与えられた円と等しい面積の正方形を定規とコンパスを有限回
用いて作図せよ）が不可能であることは、おそらく初等幾何学の体系の中
側に留まっていては証明できないのではないか。もしもそうであるならば、
初等幾何学の範囲では決定不能なのではなかろうか？
立方体体積倍増問題（与えられた立方体の2倍の体積をもつ立方体を
初等作図で求めよ）の不可能性や、一般角の三等分問題（任意に与え
られた角の三等分角を初等作図で求めよ）の不可能性なども同様なの
ではないか？
フェルマーの大定理も実数や複素数を使わない初等整数論の範囲内で
は非自明解が存在しないことを証明することは出来ないのではあるま
省1
254(1): 08/31(日)06:34 ID:yvLlCc7F(1) AAS
>>253
円積問題、立方体体積倍増問題、一般角の三等分問題の不可能性は
初等幾何学と体論の対応関係から言える
これは初等幾何学に何か新たな公理を追加したわけではない
フェルマー予想の解決については知らないが
一般にZFCで解決不能な不定方程式は存在する
このことはヒルベルトの第１０問題の
否定的解決の証明の系として導ける
255(1): 08/31(日)09:12 ID:b/3rxWWd(1) AAS
フェルマー予想がそうではないかという予想があったのは
1970年ごろ
256(1): 08/31(日)20:25 ID:lylF2dxQ(1/3) AAS
>>254-255
(引用開始)
フェルマー予想の解決については知らないが
一般にZFCで解決不能な不定方程式は存在する
このことはヒルベルトの第１０問題の
否定的解決の証明の系として導ける
フェルマー予想がそうではないかという予想があったのは
1970年ごろ
(引用終り)
下記に類似記述がありますね
省15
257: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)20:34 ID:Q92KWSCo(1/9) AAS
低次元の脚元脚さばき。脚フェチ。
258: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)20:36 ID:Q92KWSCo(2/9) AAS
生物の進化は血脈が若いほど脚が重要。
259: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)20:38 ID:Q92KWSCo(3/9) AAS
目と脚と精神に障害があるのがラファエルという大天使なんだな。俺もまあまあな。
260(1): 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)20:40 ID:Q92KWSCo(4/9) AAS
色々の層をいろいろに埋めるのが現代的。
261: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/31(日)22:20 ID:lylF2dxQ(2/3) AAS
>>256 追加
＞関さんの著書『グリーン・タオの定理』あとがきに詳しいことが書かれています。韓国の一般向け科学雑誌『数学東亜』でもこのエピソードが取り上げられました（文献 [東亜]）。
＜アマゾン＞
グリーン・タオの定理 (朝倉数学ライブラリー) 単行本 – 2023/1/13
関 真一朗
「素数には任意の長さの等差数列が存在する」ことを示したグリーン・タオの定理を少ない前提知識で証明し,その先の展開を解説する。
〔内容〕等間隔に並ぶ素数/セメレディの定理/グリーン・タオの定理/ガウス素数星座定理/他。
朝倉書店 (2023/1/13)
堀川
5つ星のうち5.0 新しい整数論
省7
262: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/31(日)22:30 ID:lylF2dxQ(3/3) AAS
>>260
死狂幻調教大師S.A.D.@月と六ベンツ さん
いつもありがとうございます
＞色々の層をいろいろに埋めるのが現代的。
そうそう
数理科学2025年9月号に 層の特集が・・（下記）
外部ﾘﾝｸ:www.saiensu.co.jp
数理科学 2025年9月号 Ｎｏ.747
多彩な拡がりをもつ《層》の魅力
様々な数学概念の統一的理解に迫る
省43
263: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)22:51 ID:Q92KWSCo(5/9) AAS
超弦は今でも魅力があるな。しかし昔神々や精霊たちにほとんど抗えない世界で神が法則を決定しうるのはおかしいよ。自然科学的な機構環境にも医師や偏りがあった点を見落としている。最初の神は何を見たのだろう。それは死を。神は死神なんだよ。最初の神の系譜が一番能力が高いはずだ。原子数学による1。死はゼロに近い。
264: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)22:51 ID:Q92KWSCo(6/9) AAS
気候。
265: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)22:52 ID:Q92KWSCo(7/9) AAS
誤変換なのかなという。
266: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)22:58 ID:Q92KWSCo(8/9) AAS
超越的な弦があるのなら、放つ矢の方はどうだろうか。そこまで描けてないんだな。俺の最高級の 1 本の弓と矢がまたガルーダの0をもたらしたようには。
267: 死狂幻調教大師S.A.D.@月と六ベンツ 08/31(日)23:00 ID:Q92KWSCo(9/9) AAS
そして俺も0に近づいた。1と0の間が大事。それは冷静と情熱の間どころではない。カラフル。
268: 09/01(月)14:11 ID:zmHc7PUM(1) AAS
一般の不定方程式の整数解を求めるアルゴリズムが存在しないことは、
ある特定の不定方程式の整数解を求めるアルゴリズムが無いことを意味しない。
また、ある特定の不定方程式の整数解を求めるアルゴリズムが無いからといって、
その不定方程式に整数解があることを否定できるわけではない。
269: 09/01(月)20:17 ID:jdwb2o0+(1) AAS
一定の特異点の解消を求めるアルゴリズムがないことは
ある特定の特異点の解消を求めるアルゴリズムが
存在しないことを意味しない
270: 09/01(月)20:38 ID:F+DthgMd(1) AAS
整数解があるなら、手あたり次第試せば、いつか見つかるけど
整数解がない場合は、いくらやっても見つからないが、
整数の組は無数にあるから、手あたり次第試してたら終わらない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.055s