純粋・応用数学・数学隣接分野+AI（含むガロア理論）22

いまどきの AIネタ
加藤文元先生（＾＾
https://note.com/katobungen/n/n6898074bbe07
Can the History of Mathematics Help Us Think about the Present and Future of “AI and Mathematics”?
加藤文元 2026年10月8日
数学の歴史は、「AIと数学」の現在と未来について考える上で役立つだろうか？

クレレ誌：
https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AC%E3%83%AC%E8%AA%8C
クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである（Neuenschwander 1994, p. 1533）。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。
(引用終り)

そこで
現代の純粋・応用数学・数学隣接分野（含むガロア理論）スレとして
新スレを立てる（＾＾；

＜前スレ＞
純粋・応用数学・数学隣接分野（含むガロア理論）21
https://rio2016.5ch.io/test/read.cgi/math/1753002417/
＜関連姉妹スレ＞
ガロア第一論文と乗数イデアル他関連資料スレ19
https://rio2016.5ch.io/test/read.cgi/math/1776769125/
スレタイ箱入り無数目を語る部屋35(あほ二人の”アナグマの姿焼き"Part9ｗ)
https://rio2016.5ch.io/test/read.cgi/math/1789954413/
Inter-universal geometryとABC予想(シン応援スレ) 93
https://rio2016.5ch.io/test/read.cgi/math/1786433734/
IUTを読むための用語集資料スレ2 (過去スレ落ち)
https://rio2016.5ch.net/test/read.cgi/math/1606813903/
現代数学の系譜 カントル 超限集合論他 3 (過去スレ落ち)
https://rio2016.5ch.net/test/read.cgi/math/1595034113/

＜過去スレの関連（含むガロア理論）＞
・現代数学の系譜 工学物理雑談 古典ガロア理論も読む84
https://rio2016.5ch.net/test/read.cgi/math/1582200067/
・現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
https://rio2016.5ch.net/test/read.cgi/math/1581243504/

つづく

つづき

＜数学隣接分野について＞
https://planck.exblog.jp/14987060/
大栗博司のブログ
2010年 08月 21日
フィールズ賞
今週はインドのハイデラバードで国際数学者会議 (ICM) が開かれ、フィールズ賞受賞者が発表されました。１９９０年以来の過去５回のICMでは、フィールズ賞受賞者のおよそ４割が場の量子論や超弦理論に関係する分野で研究をされていたので、今回はどうなるのだろうかと思っていました。
今回の受賞者のひとりはスタニスラフ・スミルノフさんで、ある種の２次元の統計模型がスケール極限で共形対称性を持つことを示し、物理学者のジョン・カーディさんの予想していた公式に数学的証明を与えました。場の量子論に数学的基礎を与えることは数理物理学の長年の課題ですが、２次元の共形場の理論では確実な進歩が起きています。前回の２００６年のICMでフィールズ賞を受賞されたウェンデリン・ウェルナーさんの業績も２次元の共形場の理論に関係するものでした。
スミルノフさんはCaltechの大学院の卒業生なので、今回の受賞はCaltechにとってもうれしいニュースでした。
もうひとりの受賞者のセドリック・ビラニさんへの授賞対象は気体分子の運動論で、非平衡の状態からどのように平衡状態への移行が起きるのかの理解を進められたのだそうです。
物理学の提起する問題は、依然として数学の新しい発展を触発し続けているようです。
(引用終り)

下記フィールズ賞 2022年のコパン氏は、statistical physics関連
マリナ・ヴィヤゾフスカ氏も、E_{8} latticeは、超弦理論と関連があります。また、24次元はLeech lattice関連で下記”conformal field theory describing bosonic string theory”と関連しています
なので、フィールズ賞 2022年も、物理学との関連ありです

つづく

つづき

また、IMUの新総裁 中島啓氏は、”紹介：理論物理学に起源を持つゲージ理論を数学的に研究することを中心テーマと している。また、この研究がカッツ・ムーディー・リー環や、その変形と関係 することから、これらの対象の表現論も同時に研究している。 主要な成果として、次のようなものを得た。(略) 箙多様体と名づけた・・” www.kurims.kyoto-u.ac.jp/ja/list/nakajima.html
と記されています

なので、数学隣接分野も取り上げます！
（平たく言えば「なんでもあり」ですｗ）

(参考)
ja.wikipedia.org/wiki/%E3%83%95%E3%82%A3%E3%83%BC%E3%83%AB%E3%82%BA%E8%B3%9E
フィールズ賞
2022年（オンライン開催[注釈 3]）[21]
ユーゴー・デュミニル＝コパン（Hugo Duminil-Copin, 1985年 - ）フランスの旗 フランス
For solving longstanding problems in the probabilistic theory of phase transitions in statistical physics, especially in dimensions three and four.

マリナ・ヴィヤゾフスカ（Maryna Viazovska, 1984年 - ） ウクライナ
For the proof that the E_{8} lattice provides the densest packing of identical spheres in 8 dimensions, and further contributions to related extremal problems and interpolation problems in Fourier analysis.
球充填問題を８次元と24次元で解決したことや，フーリエ解析における極値および補間問題への更なる貢献が評価[22]。

つづく

つづき

https://ja.wikipedia.org/wiki/%E8%B6%85%E5%BC%A6%E7%90%86%E8%AB%96
超弦理論
基本的な説明
超弦理論には5つのバリエーションがあり、それぞれタイプI、IIA、IIB、ヘテロSO(32)、ヘテロE8×E8と呼ばれる。この5つの超弦理論はいずれも理論の整合性のために10次元時空を必要とする。

https://en.wikipedia.org/wiki/Leech_lattice
Leech lattice
Applications
The vertex algebra of the two-dimensional conformal field theory describing bosonic string theory, compactified on the 24-dimensional quotient torus R24/Λ24 and orbifolded by a two-element reflection group, provides an explicit construction of the Griess algebra that has the monster group as its automorphism group. This monster vertex algebra was also used to prove the monstrous moonshine conjectures.
(引用終り)

つづく

つづき

なお、
おサル＝サイコパス＊のピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
＜＊）サイコパスの特徴＞
（参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
（＊＊）注；https://en.wikipedia.org/wiki/Hyperboloid Hyperboloid
Hyperboloid of two sheets ：https://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png
https://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面
二葉双曲面 ：https://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png

おサルさんの正体判明！（＾＾）
スレ12 https://rio2016.5ch.net/test/read.cgi/math/1671460269/923 より
”「ガロア理論 昭和で分からず 令和でわかる
　＃平成どうしたｗ」
昭和の末期に、どこかの大学の数学科
多分、代数学の講義もあったんだ
でも、さっぱりで、落ちこぼれ卒業して
平成の間だけでも30年、前後を加えて35年か”
”(修士の)ボクの専攻は情報科学ですね”とも

可哀想に、数学科のオチコボレで、鳥無き里のコウモリ***）そのもので、威張り散らし、誰彼無く噛みつくアホ
本来お断り対象だが、他のスレでの迷惑が減るように、このスレで放し飼いとするｗ（＾＾

注***）鳥無き里のコウモリ：自分より優れた数学DRやプロ数学者が居ないところで、たかが数学科のオチコボレが、威張り散らす姿は、哀れなり～！（＾＾；

つづく

つづき
（スレ19の838より）
>受験数学でゆがんだプライドもっちゃうならマセマでも真面目にやってた方がマシ

ID:PjxCDrCZさん、ありがとうございます
スレ主です
下記を あっちのスレに書いておきましたが
https://rio2016.5ch.net/test/read.cgi/math/1744330968/77
「マセマはなぜ批判されるのか」
>マセマぐらいのことしかやってないアメリカの学部卒に院であっというまに追い抜かされるのが日本の高等教育。
従来の日本の数学高等教育は、厳密病だった
米では、Terence Taoなどが 「3.The “post-rigorous” stage」を提唱している
「3.The “post-rigorous” stage」を意識して成長するか
それとも レベル2の”厳密”(rigorous”)で成長が止まるか
の違いでは？
(参考)
https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/
By Terence Tao
There’s more to mathematics than rigour and proofs July 2016 (1)
3.The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
(引用終り)

で、そのおサル(>>5)は、某私立ｗ大数学科へ30年以上前に入学して
そこで、従来の日本の数学高等教育の厳密病による冷や水を浴びせられて
オチコボレさんになって、それがトラウマになっているのです

で、そしてヒネクレてしまって
その一方で、「おれは 数学科で数学を”ゲンミツ”に学んだぁ〜！」というプライドだけが高い

本当は、Terence Taoのように レベル3.The “post-rigorous” stageを目指して
精進すれば良いと思うのですが、どうも厳密病が重症化しているようですね

そして、だれかれなく 噛みつく
カミツキ亀みたいな サルに成り下がったのですｗ ；ｐ）

つづく

つづき

（スレ19 の 555より）
追加 (参考)渕野語録 下記
https://itest.5ch.net/rio2016/test/read.cgi/math/1581243504/l3-
現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
スレ56より （なお、「イメージ」〜「ビジョン」〜「哲学」かも（＾＾ ）
https://rio2016.5ch.net/test/read.cgi/math/1544924705/178-
渕野先生は、”厳密性を数学と取りちがえるという勘違い”を書いている(下記)（＾＾
「イメージ」がお気に召さなければ、「ビジョン」といっても良い
”アイデアの飛翔をうながす(可能性を持つ)数学的直観”が無いピエロは
数学では落ちこぼれの劣等生ということだ

ただ単に、厳密性のみを追い求めるのはピエロだ
だから、だからおまえは数学で落ちこぼれるんだよ（＾＾
ニュートン、ライプニッツ、オイラー、ガウス、コーシー、アーベル、ガロア、リーマン、デデキント・・・
みんな各人、数学に対する明確なビジョンがあって、彼らの数学的業績がある
（しばしば、厳密性な証明は後から与えられることも多くあった）

＜渕野語録＞
(引用開始)
スレ24 https://rio2016.5ch.net/test/read.cgi/math/1475822875/654-
（抜粋）
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
https://www.アマゾン
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える

多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう
したがって，数学はその意味での実存として数学者の生の隣り合わせにあるもの，と意識されることになるだろう
そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，
これは， ときには，意識的に厳密には間違っている議論すら含んでいたり，
寓話的であったりすることですらあるような，
かなり得体の知れないものである
(引用終り)

さらに
スレ56より
https://rio2016.5ch.net/test/read.cgi/math/1544924705/180
別に厳密性を犠牲にしろとは言っていない
厳密性のみを追い求めて、”記号列として記述された「死んだ」数学”で終わらずに
自分なりのイメージやビジョンを持つこと
佐藤幹夫先生はそんな人だと思うよ
つづく

つづき

なお
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
は、お断りです

小学生がいますので、18金（禁）よろしくね！（＾＾
テンプレは以上です

https://ja.wikipedia.org/wiki/%E3%83%8A%E3%83%93%E3%82%A8%E2%80%93%E3%82%B9%E3%83%88%E3%83%BC%E3%82%AF%E3%82%B9%E6%96%B9%E7%A8%8B%E5%BC%8F%E3%81%AE%E8%A7%A3%E3%81%AE%E5%AD%98%E5%9C%A8%E3%81%A8%E6%BB%91%E3%82%89%E3%81%8B%E3%81%95
ナビエ–ストークス方程式の解の存在と滑らかさ

https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_existence_and_smoothness
Navier–Stokes existence and smoothness

2026 blowup result
Further information: Navier–Stokes equations § OpenAI announcement

Inability to be extended to the unforced case
On September 17, 2026, Peter Constantin, Mihaela Ignatova, and Vlad Vicol released a preprint claiming that OpenAI's method does not extend to the Navier–Stokes existence and smoothness problem with a real analytic external force instead of merely a smooth external force.[9] This implies that OpenAI's method does not extend to statements (A) and (B) of the Millennium Prize's Navier–Stokes existence and smoothness problem with a zero external force,[10] since a zero external force is real analytic.

https://ja.wikipedia.org/wiki/%E3%83%8A%E3%83%93%E3%82%A8%E2%80%93%E3%82%B9%E3%83%88%E3%83%BC%E3%82%AF%E3%82%B9%E6%96%B9%E7%A8%8B%E5%BC%8F
ナビエ–ストークス方程式

https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_equations#OpenAI_announcement
Navier–Stokes equations

OpenAI announcement
Main article: Navier–Stokes existence and smoothness § 2026 blowup result
(google訳)
10月6日、arxivに掲載された論文で、OpenAIのLean証明と自然言語証明の間に矛盾があることが発見された。[ 52 ] [ 53 ]

[ 52 ]
Bastounis, Alexander; Circelli, Fabian; Hansen, Anders C. (2026-10-06), Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs , arXiv, doi : 10.48550/arXiv.2610.08144 , arXiv:2610.08144 , 2026-10-13取得

[ 53 ]
アロン、ジェームズ（2026年10月8日）。「OpenAIはナビエ・ストークス方程式の証明において、数学をコードに誤って翻訳した」。ニュー・サイエンティスト。

https://www.newscientist.com/article/2592824-openai-mistranslated-mathematics-into-code-for-its-navier-stokes-proof/
newscientist
(google訳)
OpenAIはナビエ・ストークス方程式の証明において、数学をコードに誤って翻訳してしまった。
OpenAIがナビエ・ストークス問題に対する驚くべき解決策を発表した際、人間向けとコンピュータ向けの証明をそれぞれ作成したが、それらは一致しなかった。
ジェイコブ・アロン 著
2026年10月8日

テンプレです
>・おサル「正則行列を知らない線形代数落ちこぼれ」https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
>　↓
>・私「零因子行列のことだろ？知っているよ」

>「正則行列くらい知っている」と平凡に答えずに
>ひねって 「零因子行列のことだろ？知っているよ」にした

テンプレです
>記号の濫用として a'2 ⊂UB1が ありか どうか？ ありでは？

テンプレです
>>UB1を小さくして a'2を含まないように分離できる
>小さくする仕方が不明
>>具体的な仕方は不要。
>>ハウスドルフだから 小さくして 分離可能の一言。
>ハウスドルフだからと書いたとしたら
>正則との違いを理解してない？と思われるだけかも
>>このスレには
>>位相空間論の初学者もいると思うので
>>はっきり否定させてもらうが
>>１）ハウスドルフは 空間の公理として普通に指定されるケースが多い
>>２）ハウスドルフ性は、良い性質を持つ
>>３）その肝が 分離性で 分離可能の一言 でだいたい片付くよ

テンプレです
>まず、確率分布Prを定義するには、確率空間から始めないと学部数学の確率論にならない
>確率空間をどう定義しているのか
>次に、Pr(Bn,b)=1/n n∈N ならば
>Σ n=0〜∞ Pr(Bn,b)＝Σ n=0〜∞ 1/n ＝∞（∵1/nの無限和が発散するのは有名な事実）
>なので、明白に Pr(Ω)≠1 ですよ(ここにΩは全事象)

テンプレです
https://rio2016.5ch.io/test/read.cgi/math/1774707956/626
>選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ

テンプレです
>>どの無限列を入れるかは自由だが、確率変数にするかしないか、の自由はない
>>つまり、一回入れたら二度と変更できない
>>毎回の試行で変更することは決して許されない
>そこ、吉田大学の札付きでも同じだよ
>そこを読めてないのは おまえ

テンプレです
>>なぜなら箱入り無数目では箱の中身はすべて定数だから
>誤解ですよ
>箱の中身は、現代数学の確率論で扱えるよ
>「箱の中身はすべて定数だから」？
>あほか
>重川を読め

テンプレです
>　まず 先頭の幾つかをあける。株価で1円単位とすると 例えば下記ソニーで 3234 ・・・と出る
>　次に、かなり離れた 後のしっぽを全部開けると 2000代とか3000代の整数が分る
>　そこから 先頭側としっぽ側とで 狭めていって 先頭からD番目を残して 前後を開ける
>　もし、「株価かな？」と見当がつけば、ブラック–ショールズ方程式に乗せてみる
>　それ以外には、統計処理で平均値を出したり 標準偏差を計算したりもありだ
>　そして D番目を推察するのだ

テンプレです
>そこを 箱入り無数目のように 列の自由選択に変更すれば
>「1/2に出来る」と誤読している人がいるが
>しかしそれでは、数学ストーリーとしてヘンｗ
>数学ストーリーは、札付き定理の完全否定！■

テンプレです
>>「実数の構成に選択公理が必要」という君の独自説がそんなに面白いかい？
>
>必要だ。簡単に カントールの実数の構成 有理コーシー列を使う場合に限定するよ
>有理コーシー列は、加算無限有理数列だ。要するに、有理数Qから有理数を取り出して
>q0,q1,q2,・・,qi,・・ なる無理数rに収束する列を作る（細かくは rに収束する列は一つに限らないから 同値類を考える）
>q0,q1,q2,・・,qi,・・は、集合の元を整列させているってこと
>つまりは、整列可能定理が使える
>列長さが ω（＝最初の無限順序数）のときは、可算選択公理で足りる
>が、なんらの選択公理の不使用 つまり 可算選択公理さえ使わないならば
>加算無限有理数列は、構成できない！

テンプレです
>>そもそもQを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い
>
>笑える。下記の東北大 尾畑研 第16章整数・有理数・実数 P249 「■実数論」を 百回音読してね
>『Qを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い』か・・
>独自説だねぇ〜、ユニークで笑える、が面白すぎｗｗ（＾＾

テンプレです
>冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
>この対偶命題：
>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない

テンプレです
>>Nは無限集合ですからQ^Nは普通はデカルト積とは呼ばないでしょうね
>赤ペン
>１）”Nは無限集合ですから”がダメ
>２）デカルト先生は R^2でデカルト積 (r1,r2) ｜r1,r2∈R
>　を考えた故事をしらないんだね
>　”Rは無限集合ですから”って デカルト先生に言ってあげようｗ

テンプレです
>・一方、Dedekind Cutsを使うと なんらの選択公理は不要だが
>　完備であることの証明はできない

テンプレです
>実数の公理を裏口から密輸している
>ZFC公理系で 実数の公理なんて使えないぞ
と
>で https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>を見ると、ZF公理系の話では無いだろ
>例えば
>Tarski's axiomatization of the reals
>とか
>それ 笑えるんだけど？（＾＾

テンプレです
>可算選択公理さえ仮定しない ZFのみでは・・
>1）コーシー列とデデキントカットの同値は言えない（別物？）

テンプレです
>おかしいねよ？ 可算選択公理ACω なしで 実数の構成できると言った人がいたけど
>たしかに、形式的には デデキントカット、コーシー列も それらしい まねごとは出来たとしても
>ガウスやコーシー、リーマン、ワイエルシュトラス、デデキント、カントール、ヒルベルト
>らが思っている実数（それは我々が求めている実数でもある）とはほど遠いよね
>
>可算選択公理ACω なしで構成した 実数の責任は？
>だれが どうとる？

テンプレです
>Jech, T The Axiom of Choice. North-Holland. Jelonek 1973
>CH.2, THE COUNTABLE AXIOM OF CHOICE
>P21の画像 を見て貰えば分るが
>THE COUNTABLE AXIOM OF CHOICEは
>コーシー列の収束を証明するのに重要な役割をしている

テンプレです
>異なる自然数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>書かれている自然数の大きい方が勝ち
>さてA,Bの勝つ確率は？
>(引用終り)
>
>１）全体集合を場合分けする
>　ケース１ ある大きなしかし有限の自然数Mを取って 0〜Mのカードで考える
>　ケース２ 無限集合の自然数N全体を考える
>２）ケース１では、0〜Mのカードは 離散一様分布を成す（下記）
>　期待値（平均値）や 分散も存在する
>　この場合、A,Bの勝つ確率は おのおの1/2
>３）ケース２では、確率は考えられない
>　なぜならば、無限集合たる自然数N全体は、非正則分布を成すから（下記）

テンプレです
>(引用開始)
>偶数と奇数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>偶数を引いた方が勝ち
>さてA,Bの勝つ確率は？
>(引用終り)
>
>良い指摘だ
>いま、箱の中は 偶数1枚と奇数1枚の計2枚のみとする
>全体の数が2枚で有限だから
>普通に確率計算が可能で
>A,Bの勝つ確率は 各1/2ずつ

テンプレです
>・箱入り無数目 は、私が立てた
>・IUTのシン応援スレも 私
>・各種ガロアスレのうち
>　純粋・応用数学・数学隣接分野（含むガロア理論）21 (816)
>　ガロア第一論文と乗数イデアル他関連資料スレ19 (247)
>　の2つは私が立てた
>
>因みに、下記の数学勢いランキング
>1〜11で 4、5、7、10の4つを除く
>7個は 全部私が立てたんだよね

テンプレです
>>（ランダムってのは確率空間の話では？定義も無くてランダムとはね）
>
>素人か（＾＾
>下記乱数分かりますか？
>乱数も知らずに 箱入り無数目を論じるかね？ｗ
>
>箱入り無数目>>1 において 箱に 下記 乱数列を発生させて入れていく
>箱入り無数目で当てられるとすれば、乱数の定義に反する
>まさに 縦と矛 矛盾なり！
>
>真の乱数列とは？ 他の数を見ても 当てることはできない！！
>他の数を見て 当てることができるならば・・、それは真乱数ではない！！ｗｗｗ
>
>まあ、素人には理解できないだろうね
>（この議論は、１０年以上前 箱入り無数目の初期に書いている）

テンプレです
>”その「御大」も底が知れてる”？ まあ、そこは同意だよ。

テンプレです
>誤：（Setはモノイダル圏だけどテンソル圏とは呼ばれないみたい）
>　↓
>正：（Setは単なる集合の圏で積の定義なし。一方モノイダル圏即ちテンソル圏はテンソル積が定義された圏である。集合の圏Setは、なんらの積も定義されていないので、テンソル積が定義された圏であるモノイダル圏即ちテンソル圏とは、全く異なる圏である■）

テンプレです
>ところが、天才グロタンディクは 圏論を使う代数幾何には
>ZFCじゃ狭い！ だから 広くしようぜと言った
>それが グロタンディク宇宙で ちょうど研究されていた到達不能基数の理論とマッチングアプリ

テンプレです
>”集合論では、超フィルターは、構成可能性の公理が可測基数 κの存在と両立しないことを示すために用いられる。”
>”ゲーデルによる神の存在論的証明は、すべての「肯定的性質」の集合が超フィルターであることを公理として用いている。”
>
>これらから導かれること
>１）”超フィルター（ultrafilter）"は、ZFC内に収まることもあれば、
>　ZFC内に収まらないこともある
>２）それは、”超フィルター（ultrafilter）"を使う人の立場による
>
>よって、”超フィルター（ultrafilter）"は
>常に ZFC内だと 倒錯している人が
>一人存在することが証明された■

テンプレです
>おそらく
>集合論論による代数幾何＋α → 圏論による代数幾何
>で、チョロと1回グロタンUをもってくれば 終り だと思う？ しらんけど

テンプレです
>ノイマン宇宙Vままだと 宇宙が狭い。Vの外に出ると そこは集合ではなく クラス（類）になる
>グロタンディク宇宙Uは、Vを広げて Vならクラス（類）になる対象を包含できるようにする
>後世の人「おまいら それ 到達不能基数の議論と同値じゃん」と指摘したらしい

テンプレです
>うむ いま Terence Tao“big picture”として 宇宙の包含関係を考える
>Vo⊂Vk⊂Vk+1⊂・・・
>ここで
>・k,k+1・・などは到達不能基数で この順に大きくなり Vkなどはkを含む宇宙で 到達不能基数kもまた集合である
>・Voは、到達不能基数を全く含まない 通常基数の宇宙
>
>これより
>・Vk+1が無矛盾ならば それより左のVo、Vkが無矛盾（∵ 包含関係で Vo、Vkが矛盾なら Vk+1が矛盾を含むので 背理法成立）
>・κの存在証明が不可能は、良いだろう
>以上

テンプレです
>４）では、到達不能とは なんなのじゃ？ と問えば
>　それは、2^R とか 集合べきを ZFCの中で 超限回繰り返す その外に
>　おわします 神の基数なり！
>　あたかも ZFCの中で 超限回繰り返しは人の作る基数であって
>　到達不能は、ZFCで人が考え得る外の基数なり！

テンプレです
>　κ未満の 全て(any)の ordinal number βについての Vβの和である（定義より）
>　繰り返すが 全て(any)の ordinal number βを尽くす和
>　従って Vκには V中の全てのVβを含む
>　従って V⊂Vκ （再度強調するが Vκは 集合という設定（到達不能基数公理より従う））■

テンプレです
>射影幾何では 平行線は 例えば左右2方向で それぞれが 左と右と二つの無限遠点を持つとできる（全ての平行線で同様）■

テンプレです
>１）Q係数の5次既約方程式のガロア群は対称群S5になる。それは交代群A5を正規部分群として持つ

テンプレです
>IUTは、ガリレオ天動説です
>だんだん、理解され受け入れられてきたよ

テンプレです
>１）この The Absolute Universe (V) は、下記 Large cardinal hierarchyの図の頂点
>　即ち 0＝1 （V_0＝1）のことだ

テンプレです
>そもそも 到達不能基数κには 定義とその解説がある
>それを素直に読んで 理解すべきところを
>読んでも理解できないし
>そのうえ誤解の複雑骨折
>パッパラパーｗ

テンプレです
>１）” Vκ⊊V ”：V内は ZFCから証明できる集合だが
>　到達不能基数κは ZFCから証明できないので 矛盾！
>２）”Vκ は集合ですが、V は真クラスだからです”
>　は、典型的なロジックの誤り
>　つまり、ZFCではクラスだが タルスキ・グロタンディクでは集合になる例がある
>　それが、グロタンディクUがノイマンVの非保存拡大の意味

テンプレです
>　V:=⋃α Vα.であって さらに Vαは”called stages 略”だという（格好良く ”stage”とするよ）
>　で、各stage Vα は、ZFCで構成可能（＝証明可能）な集合である

テンプレです
>２）これは 下記 超実数（ hyperreal number）で 無限大と無限小を含む
>　別に 拡大実数 通常の実数に正の無限大 +∞ と負の無限大 −∞ の2つを加えた体系（リーマン球面は無限大は一つ 複素数で+も-も同じ）
>３）これZFCの中だろ？ しらんけど 磯野優介先生に聞いてみなよｗ（＾＾
>　（少なくとも 拡大実数 +∞までは ZFCの中で あとは 無限小を ZFCでどう料理するかだけでしょｗ）
>４）”実数論の公理”？ 筆が滑ったか？
>　実数論は ZFCの中だから 公理ではなく定理ぞｗ

テンプレです
>１）数学者は 数学をZFCの中ではやってない
>　数学をZFCの外でやって 「これZFCの中だよね」って 確認するんだよ
>　君は そこが 根本的に滑っている
>２）例を示す 下記 Von Neumann universe First 5 von Neumann stages の図解があるよ
>　"the set V6 contains 2^65536 elements, which very substantially exceeds the number of atoms in the observable universe"
>　(集合V6は2^65536個の要素を含んでおり、これは観測可能な宇宙に存在する原子の数を大幅に上回っている)
>　分かりますか？ Von Neumann universe 集合V6「これは観測可能な宇宙に存在する原子の数を大幅に上回っている」
>　V6は当然序の口で これ以上は具体的に描けないし 描いても無駄だ
>３）このステージが ωを越えて ω^2 も越えて ・・ ω^ω（可算）も越えて 非可算の2^ωになって さらにさらに限りなく（超限）つづく
>　その外に 到達不能基数κさまが居るって想定なわけ
>　到達不能基数κさまは、ZFCの外で ラスボスか神か という存在なわけ
>　ZFCとは そういうゲームなんだよ 覚えておいてねｗ（＾＾

テンプレです
>”「与えられたどんな順序数βよりも大きな順序数αで
（中略）
>繰返すが、”どんな順序数βよりも大きな順序数α”

発狂 (ですね)人か
ご苦労様

>>51
ですねw

>>52
テンプレですね

4文字をテンプレにしてもねw

>>54
ですね

彼の人がAI検索してないはずはなく
Vκ⊂V以外の言明を得ることができないのを
さいきんでは
>１）チャッピーさんが、ハルシっている理由は 数学史が分かっていないので
と
ハルシネーションで片付けたがってます
自分で考えてないので
自分に都合のよいことだけ受け入れるのでしょう
（これもテンプレかな？）

ガロアスレのアホな仲間たち
・瀬田爺
・いかれたアナーキスト
・🐎🦌やろう
・質問乞食（new）

・暇人（new）

>>57
お前がだろよｗ

>>59
同意