25/11/03 19:19:38.01 u7vdmd1+.net
強制法でできること
公理系Aのモデルが存在するとして、
それに公理Bを追加した場合のモデルの存在が示せることがある
「公理系のモデルが存在しない」と「公理系が矛盾する」の同値性から、対偶をとれば
公理系Aに公理Bを追加した場合に矛盾が証明できるとして
その場合、公理系Aのみから矛盾が証明できることがいえる場合がある
そう考えると、強制法はそんなにミラクルなことをしてるわけではない（笑）
80:現代数学の系譜 雑談
25/11/03 20:44:26.31 RGcnI1b5.net
>>67
>> 2）池上大祐の答えは「現状では グロタンディーク宇宙は必要」
>> ということだった
>これはその人が言ったことですか？
いいから、池上大祐を読め
>>70
>前提なしに意味のある論理的思考はできない
>これ豆な
>人の論理的思考は、一階述語論理＋「公理の集まり」という公理系で表せる
>これ豆な
間違っている
1）君の論ならば、オイラーやガウスやリーマン、ポアンカレは
意味のある論理的思考はできていなかったとなるぞｗ ；ｐ）
2）”人の論理的思考は、一階述語論理＋「公理の集まり」という公理系で表せる”？
(google検索結果 AIの回答）
ポアンカレは、”ポアンカレは、乗合馬車（当時は一般的な交通手段でした）に乗ろうとして、その踏み段に足をかけた瞬間に、長い間解決できずにいたフックス関数（より正確には、フックス型微分方程式の理論から発展させた保型関数）に関する重要なアイデア、すなわち「フックス関数を定義するのに用いた変換は非ユークリッド幾何学の変換とまったく同じである」という洞察が突然閃いた、と自身の著書『科学と方法』に記しています。 ”
(AIの回答には間違いが含まれている場合があります)
URLﾘﾝｸ(www.gp.tohoku.ac.jp)
成功の秘訣は「柔軟性と執着心」
Kimio Hanawa 2019年11月20日
表題は，今年（2019年）ノーベル化学賞を受賞された旭化成フェローの吉野博さんが記者会見時に述べたものである．記者から研究者にとっての必要な姿勢を問われ，「頭の柔らかさと，その真逆の執着心．しつこく最後まであきらめないこと」と答えた(10月10日，朝日新聞）．さらに続けて，「剛と柔のバランスをどうとるか．大きな壁にぶちあたったときも，『なんとかなるわ』という柔らかさが必要」と述べている．
では，「突然」解決策を見つけるためにはどうすればよいのであろうか．私自身は，問題をいつも考えていることなのだろうと思っている．堂々巡りになるとしても，あれやこれやと，しつこく，しつこく頭の中で思考実験を繰り返すことである．
これがプレコンデショニングになって制御は不可能であるが，いつかの閃きに結びつくのであろう．
数学者のアンリ・ポアンカレ（J.-H. Poincare, 1854-1912）は，著書『科学と方法』（1908：吉田洋一訳，岩波文庫，2000）の中で，そのような出来事が何度も起こったことを記している．「どこかへ散歩に出かけるために乗合馬車に乗った．その階段に足を触れた瞬間，（略）突然わたしがフックス関数を定義するのに用いた変換は非ユークリッド幾何学の変換とまったく同じであるという考えが浮かんできた」などと．ポアンカレはこれらの体験を分析し，「突然天啓の下った如くに考えのひらけてくること」は，「これに先立った長い間無意識に活動していたことを歴々と示すもの」であるとまとめた．私もこの分析にまったく同意する．たとえ壁にぶつかろうが，問題を考えに考えていれば，いつか突破口は必ず見つかるものであると信じたい．
81:現代数学の系譜 雑談
25/11/03 20:57:07.14 RGcnI1b5.net
>>74
>望月が●違いな反応をしなければ、
>大した騒動にはならなかっただろう
>人格の異常が人生を破滅に導く典型例といっていい
そこは、半分同意だ
凡人ならば、人生破滅だろうが
そこが、プリンストン飛び級天才で凡人と違うところ
天才に凡人の処世術を説いてもね ；ｐ）
>>76
>望月新一のやってることは「燻製ニシンの虚偽」だけどな
>ｘ∈ｘとか何言ってんの？
凡人からは というか IUTが理解できない人には
「燻製ニシンの虚偽」に見えるだろうが
案外当人は、本気のマジメかもしれんｗ （＾＾
”ｘ∈ｘ”は、直接は使っていない
”ｘ∈ｘ”もどきを、圏論で作ったってことでしょ ；ｐ）
なお、「非有基的集合論」もあるが
望月先生は、そうではないようだ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
非有基的集合論は、集合がそれ自身の要素であることを認め、自己属集合（ある集合が自分自身の要素になっている集合）を許容する集合論である。
概要
数学で一般的に用いられる公理論的集合論は、集合の要素は集合自身を含まないという公理（正則性公理、基礎の公理、有基性公理とも呼ばれる）に基づいている。このため、自己参照的な概念のモデル化に用いることは困難だった。これに対して、自己属集合を許容する非有基的集合論は、自己参照や無限遡及を自然に扱うことができるために、計算機科学（プロセス代数と最終意味論）、言語学と自然言語意味論（状況意味論）、哲学（うそつきパラドックスに関する研究）[1]、非標準解析における非終了計算プロセスの論理モデリング、複雑系科学などに応用されている[2]。非有基的集合論は、集合論における伝統的な基底主義、つまり集合が空集合から階層的に構築されるという考え方に挑戦するものである[3]。
URLﾘﾝｸ(en.wikipedia.org)
Non-well-founded set theory
82:１３２人目の素数さん
25/11/03 20:58:54.84 2XITUXgJ.net
石器時代にも
意味のある論理的思考ができていた人は
多かっただろう
83:１３２人目の素数さん
25/11/03 21:02:09.86 u7vdmd1+.net
>>80
＞オイラーやガウスやリーマン、ポアンカレは意味のある論理的思考はできていなかった
カラスの世田がオイラーやガウスやリーマン、ポアンカレのやったことを
何ひとつ理解できてないだけのこと ま、公式暗記馬鹿の高卒だからな
＞「フックス関数を定義するのに用いた変換は非ユークリッド幾何学の変換とまったく同じである」
それ、まさに一階述語論理＋「公理の集まり」という公理系で表せるけど
カラスの世田が論理を知らないから理解できないだけ
おまえ、メビウス変換知らないだろ？ 高卒だもんな
URLﾘﾝｸ(ja.wikipedia.org)
84:１３２人目の素数さん
25/11/03 21:04:07.28 2XITUXgJ.net
メビウス変換の論文は1855年に発表された
85:１３２人目の素数さん
25/11/03 21:09:24.01 u7vdmd1+.net
>>81
>>望月が●違いな反応をしなければ、
>>大した騒動にはならなかっただろう
>>人格の異常が人生を破滅に導く典型例といっていい
>そこは、半分同意だ
同意できない半分は
「日本人が何も仕事できてなかった」
という点か？
もう貴様は国籍とかくだらないこと全部忘れろ
人類は数万年前まで遡ればみんなアフリカ出身だぞ（笑）
>凡人ならば、人生破滅だろうが
>そこが、プリンストン飛び級天才で凡人と違うところ
>天才に凡人の処世術を説いてもね
プリンストン飛び級くらいでフィールズ賞とれるなら苦労はないよ
灘にも受からず名もない公立中からカス公立高に行き
東大どころか京大にも受からず二流国立大の阪大の
しかも理学部じゃなく工学部とかいうパンピー社奴生産所に行き
さらに大学一年の数学で落第とかもうカスofカスじゃん
もう数学板でわけわかんないコピペとかして生き恥さらすなよ
黙っていれば普通人として生きていけるだろ
馬鹿カラスが天才ぶるな お前はクジャクじゃないｗ
86:１３２人目の素数さん
25/11/03 21:11:40.47 nkvgQbyQ.net
>>80
>いいから、池上大祐を読め
自分で読んでないのめくれてて草
87:１３２人目の素数さん
25/11/03 21:11:40.73 u7vdmd1+.net
>>81
>”ｘ∈ｘ”は、直接は使っていない
>”ｘ∈ｘ”もどきを、圏論で作ったってことでしょ
高卒素人が分かりもせずに口から出まかせのホラ吹くなよ
見苦しいヤツだな おまえは所詮只の一般人だよ
先祖が広島廿日市出身のどこぞの社奴の世田某
88:現代数学の系譜 雑談
25/11/03 21:16:28.45 RGcnI1b5.net
>>80 タイポ訂正
ポアンカレは、”ポアンカレは、乗合馬車（当時は一般的な交通手段でした）に乗ろうとして、その踏み段に足をかけた瞬間に、
↓
”ポアンカレは、乗合馬車（当時は一般的な交通手段でした）に乗ろうとして、その踏み段に足をかけた瞬間に、
>>65
>自分に合わないものを無理して続ける心理状態というものがある
巡回ご苦労さまです
真逆の人たちが・・・ｗ
望月 拓郎先生、高校数学は面白くないと 多分京大の物理？
だったが 在学中のトポロジーの本を読んで、数学修士に飛び級
別に、山下 真由子先生、進学校の桜蔭から昼夜間定時制 都立新宿山吹高等学校へ
数学以外は手抜きて 東大へｗ
東大教養でも手抜きして 進振りで 工学部へ”もぐる”も、飛び入学で数学修士へ ；ｐ）
東大に入学したのに、卒業は京大とか・・
いろんな人が・・
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
望月 拓郎（1972年〈昭和47年〉8月28日 - ）
長野県長野高等学校を卒業後、京都大学に進学[1]。理学部にて学んでいたが[1]、在学中にトポロジーの本を読み[3]、「計算で答えを出す高校までの数学からガラッと変わった」[3]と述懐している。大学院の理学研究科に飛び入学で進学するため、1994年（平成6年）に理学部を中途退学した[1]。1996年（平成8年）、京都大学の大学院における修士課程を修了した[1]
URLﾘﾝｸ(ja.wikipedia.org)
山下 真由子（やました まゆこ、1995年[1] - ）
人物
桜蔭高等学校から東京都立新宿山吹高等学校に編入学し、在学中に第54回国際数学オリンピックコロンビア大会日本代表選手として銀メダルを獲得する。
2014年に東京大学理科一類に入学し、工学部計数工学科へ進学するも、4年次に進級せず修士課程への飛び入学のために退学する。
2017年に大学院数理科学研究科数理科学専攻修士課程へ入学し、2019年に博士課程へ進学する
URLﾘﾝｸ(ja.wikipedia.org)
東京都立新宿山吹高等学校
東京都が創設したいくつかの新しいタイプの実験高校のうち、昼夜間定時制（四部制）、単位制、無学年制の高校として旧赤城台高校跡地に開校した
89:１３２人目の素数さん
25/11/03 21:20:38.07 kWSKSZz3.net
望月先生の責任を追求する方法は確かに存在しない。それを処世術というならそれも仕方ない。しかしそれは学者の人生としては完全に失敗やな。まぁもう引き返すこともできんやろし、このまま汚名が残ってもそれを恥いる家族もおらんみたいやからそれはそれで諦めつくんかもな。
まぁこれしか逃げ場はないんやろな
90:現代数学の系譜 雑談
25/11/03 21:24:53.95 RGcnI1b5.net
>>87
>先祖が広島廿日市出身のどこぞの社奴の世田某
『くやしいのうwww』 はだしのゲン ”「のう」は広島弁で「だなぁ」”（下記）
まあ、数学の論争で勝てないのを認めているんだねｗ
いやがらせのつもりで、”先祖が広島廿日市出身・・”云々かんぬん
非数学に逃げた時点で、おれの優勢勝ちが決まるｗｗｗ ；ｐ）
URLﾘﾝｸ(dic.nicovideo.jp)
くやしいのうwww
くやしいのうwwwとは、望みが叶えられず悔しい様を皮肉っぽく表現したもの。多くの場合、くやしいのうwwwくやしいのうwww、と重ねて使われる。 wは１～５個程度か、付けないこともある。
概要
元ネタは中沢氏の漫画「はだしのゲン」のセリフ。
当たり前の話だが作品発表当時「w」を使って笑いや嘲笑を表す表現はなかったので、
原作では単に「くやしいのう」 となっている。
なお、「くやしいのう」の「のう」は広島弁で「だなぁ」等の感嘆、詠嘆程度の役割で
特に深い意味はない。
91:現代数学の系譜 雑談
25/11/03 21:33:35.70 RGcnI1b5.net
>>89
>望月先生の責任を追求する方法は確かに存在しない。それを処世術というならそれも仕方ない。しかしそれは学者の人生としては完全に失敗やな。まぁもう引き返すこともできんやろし、このまま汚名が残ってもそれを恥いる家族もおらんみたいやからそれはそれで諦めつくんかもな。
>まぁこれしか逃げ場はないんやろな
ヒキコモリ数学者の基礎論君な
1）望月先生の責任を追求する方法は確かに存在するぞ
それは、君が IUTを数学的に論破することだよ
2）具体的には、100万ドル懸賞の応募の数学論文を書くこと
100万ドルが貰える貰えないは別として、論文を出せ！
だが、君にはそれだけの数学力が無いことは
みなさん、まるっと お見通しだ！ｗ （＾＾
(参考)
URLﾘﾝｸ(zen.ac.jp)
IUT Challenger Prizeの紹介
2023年7月、株式会社ドワンゴ創業者の川上量生氏は、個人としてIUT Challenger Prizeの創設を発表しました。
これは京都大学数理解析研究所教授の望月新一教授によって創始された宇宙際タイヒミュラー理論（Inter-universal Teichmüller theory）の「本質的な欠陥」を明らかにした最初の論文に100万ドルを贈呈するというものです。
92:１３２人目の素数さん
25/11/03 21:41:22.19 nkvgQbyQ.net
>おまえは所詮只の一般人だよ
それは一般人に失礼
93:１３２人目の素数さん
25/11/03 21:46:07.15 nkvgQbyQ.net
>>90
>非数学に逃げた時点で、おれの優勢勝ちが決まるｗｗｗ ；ｐ）
おまえ数学語ってたの？ おまえに語れる数学ってなに？
94:１３２人目の素数さん
25/11/03 21:48:04.02 nkvgQbyQ.net
>>91
>だが、君にはそれだけの数学力が無いことは
>みなさん、まるっと お見通しだ！ｗ （＾＾
だが、君には大学一年の数学力が無いことは
みなさん、まるっと お見通しだ！ｗ （＾＾
95:１３２人目の素数さん
25/11/03 21:51:36.12 2XITUXgJ.net
今日5階の大講義室では
今年Münster jouranl of Mathematicsに掲載された
論文の結果を報告していたが
数学を語っているようには見えなかった
96:１３２人目の素数さん
25/11/03 22:02:46.17 kWSKSZz3.net
どんなに矛盾を提示しても「それはお前の読み方が悪い」と言われたらどうしようもない。だから数学の世界では本当に曖昧に書かれてる部分の行間がキチンと本当に埋められるのかの慎重な作業が必要でそれを行うのがレフェリーの仕事。レフェリーは論文に存在する曖昧さが一般的な能力を持つ数学者が埋めることができる程度のものであるか確認して、それが不可能とお前ば原則無限に著者に訂正を要求できる最後の砦。そこをprimsが通してしまったんだからもう一般の数学者には粛々と無視する以外の対抗策はない。そもそもそんな恥知らずな行動とる数学者がいるという事を数学界は想定してこなかったんだから仕方ない。
なので例の検証なんぞなんの役にも立たない。あれは「誰も反論できないじゃないか」と数学の世界の事なんも知らんセタみたいなアホを躍らせるためだけの機能しかない
もう数学の世界ではiutなんぞ誰の口にも上らない
終わった話
97:１３２人目の素数さん
25/11/03 22:03:10.00 t7WMssS9.net
>>80
>いいから、池上大祐を読め
はぁ
不思議に引用はしないんですね？
98:１３２人目の素数さん
25/11/03 22:04:49.35 t7WMssS9.net
具体的に
何年何月の連載の何ページの何行目と書いてくれるだけでも良いですよ
99:１３２人目の素数さん
25/11/03 22:12:05.47 nkvgQbyQ.net
無理 ただのブラフだから
100:現代数学の系譜 雑談
25/11/03 23:37:26.27 RGcnI1b5.net
>>97-98
>具体的に
>何年何月の連載の何ページの何行目と書いてくれるだけでも良いですよ
新参ものか
これは、すまんかった
前スレより再録
ｽﾚﾘﾝｸ(math板:944番)
>グロタンディーク宇宙の公理を満たすモデルが
>存在するかなんて分からんけど
>グロタンディーク宇宙の公理を仮定することで
>abc予想がもし証明できればすごい業績だろ
>逆にリーマン予想はどうせ正しいだろうけど
1）グロタンディーク宇宙の話は、下記の
数学セミナー 2025年3月号 池上大祐
「フェルマーの最終定理はZFCの下で証明できるか？／
グロタンディーク宇宙と到達不可能基数」
をご参照
2）池上大祐の答えは「現状では グロタンディーク宇宙は必要」
ということだった
というのは、フェルマーの最終定理の証明には、谷山-志村予想の証明(の一部）
を使うが、谷山-志村にはグロタンディークの代数幾何の理論が必要で
それには、グロタンディーク宇宙（それは圏論の一部）が使われているという
3）個人的には、フェルマーの最終定理は 整数しか登場しないから 純整数範囲で済みそうに思うが
歴史的には、整数論は 代数的整数論と解析的整数論があって
高等数学では、整数論は 全く 整数の範囲には収らないのです
(参考)
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 2025年3月号
集合論の雑学―無限についてのおはなし
フェルマーの最終定理はZFCの下で証明できるか？／
グロタンディーク宇宙と到達不可能基数
……池上大祐 60
101:現代数学の系譜 雑談
25/11/03 23:53:43.37 RGcnI1b5.net
>>95
巡回ご苦労さまです
（＾＾
102:１３２人目の素数さん
25/11/04 04:36:31.67 edKQSXTM.net
>>90
>非数学に逃げた時点で、おれの優勢勝ちが決まる
全く努力しないのに勝負する時点でカラスの世田は負けてる
おまえは負けた おまえは死んだ もうあきらめろ
先祖の出身地 広島廿日市に帰って 牡蠣でもとってろ
103:１３２人目の素数さん
25/11/04 04:45:37.74 edKQSXTM.net
>>91
＞望月新一の主張を否定する方法は確かに存在するぞ
＞それは、IUTを数学的に論破することだ
＞具体的には、100万ドル懸賞の応募の数学論文を書くこと
＞100万ドルが貰える貰えないは別として、論文を出せ！
＞だが、君にはそれだけの数学力が無いことは、みなさん、まるっと お見通しだ！
「証明になってない」と「間違ってる」は違うんだがな
何を論破する？ ABC予想を否定するのか？ 系3.12を否定するのか？
ABC予想を否定する必要がないことは、馬鹿でもわかる
系3.12を否定すれば確かに望月新一の主張を否定できるだろう
しかしながら系3.12が正しいとしても、その証明が証明になってないということもあり得る
ショルツェの指摘はまさにそこなのだが、望月新一は理解できないらしい
これは望月新一の集合論及び圏論に対する理解の誤りに根差しているので
望月新一自身が認める以外ない
ちなみに、圏論も集合論も初歩から理解できてないカラスの世田は
ただ「日本バンザイ」といいたいためだけに望月新一を盲目的に応援してるだけなので
もう論外というか、永遠に黙れといいたい
カラスの世田 お前の自尊心回復の面倒なんか誰にも見きれん
104:１３２人目の素数さん
25/11/04 04:50:26.10 edKQSXTM.net
>>92
＞一般人に失礼
「●●に失礼」という言い方は
「●●をリスペクトしてない」、つまり
「●●を人として認めていない」という意味と思われる
この場合「一般人は大学レベルの数学が理解できてない。お前も同じ」という意味で
これに対して「一般人に失礼」というのは
「一般人が大学レベルの数学を完璧に理解できている」
という主張になるが、その証拠はあるかね？
ないだろう あるわけがない
一般人に大学レベルの数学が分かるなら、オチコボレの発生などありえんよ
現実を見ろ 名誉教授の耄碌爺（笑）
105:１３２人目の素数さん
25/11/04 04:52:12.60 NexgTmN4.net
なんの話をしてるのかと思えばここでもまたアンポンタンな勘違いかましてるんか。
もうどこまで低脳なんやろコイツ。こんだけ頭悪かったら日常生活困るんちゃうかと思うレベルで頭悪いな
106:１３２人目の素数さん
25/11/04 04:53:24.55 NexgTmN4.net
セタな
どこまでもどこまでも頭悪い
107:１３２人目の素数さん
25/11/04 04:58:17.39 edKQSXTM.net
>>93
＞おまえ数学語ってたの？ おまえに語れる数学ってなに？
>>94
＞君には大学一年の数学力が無いことは、みなさん、まるっと お見通しだ！
ID:nkvgQbyQ は名誉教授ではなかったようだ スマン
とすると「一般人に失礼」の意味が違ってくるな 要するに
「一般人も大学レベルの数学は分かってないが
別にそんなことが恥ずかしいともおもわず
知らん事を知ってるとウソついてコピペしたりする
恥ずかしいマネをしでかしたりしない」
という意味か
まあ、それはその通りだ
一般人は、日本にアメリカ軍が駐留してるくらいで
「アメリカが日本の独立を損なっている！アメリカ出ていけ」
とイキったしりないし、中国がウロチョロしてるくらいで
「中国は日本を征服しようとしている！中国を攻撃しろ」
とイキったりしない
そういうおかしなイキり方をするのは大体健全な自尊心がない変質者
確かに健全な一般人とは全く異なる不健全な変態だ（笑）
108:１３２人目の素数さん
25/11/04 05:08:01.73 edKQSXTM.net
>>96
「それはお前の読み方が悪い」
というのは、欧米人にとっては書いた人の敗北宣言なので
その言葉を吐いた時点でゲームセット
IUT論文に関してはレフェリーは仕事してない
おそらくFesenkoとSaidiがレフェリーと思われるが
ふたりとも望月新一とはナァナァの関係なので
ろくに見てないし理解も出来てないと思われる
数学業界もポストモダン化してしまったようだ
PRIMSは数学雑誌の看板を下ろしてしまった
京大数理解析研も数学の研究所の看板を下ろしてしまった
そう解釈されても仕方ない、ということ
日本は終わった
まあ、アベシンゾーとかタカイチサナエのような
破廉恥な輩が首相になれる時点で明らかだがな
カラスの世田が数学で見栄はるのと
盲目的に日本バンザイといいたがるのは
実は同じ病気
自分が何の取り柄もないから
見栄を張り自国自慢をする
動機は分かるが対処の仕方が間違ってる
自分の取り柄をみつけてそれを伸ばす以外の方法はない
世田の取り柄は数学ではない
日本の取り柄は軍備ではない
109:１３２人目の素数さん
25/11/04 05:13:23.25 rnCEcLfb.net
大学一年の数学力はバカにならない
110:１３２人目の素数さん
25/11/04 06:22:55.65 fe/eeGks.net
>>100
>2）池上大祐の答えは「現状では グロタンディーク宇宙は必要」
> ということだった
2025年3月号のその記事の何ページの何行目に書かれてますでしょう？
111:１３２人目の素数さん
25/11/04 06:55:11.61 rnCEcLfb.net
>>現実を見ろ 名誉教授の耄碌爺（笑）
>>ID:nkvgQbyQ は名誉教授ではなかったようだ
どっちも現実
112:Seta Karasu
25/11/04 07:06:07.38 JU+2aa49.net
2 名前：１３２人目の素数さん[] 投稿日：2020/12/19(土) 21:18:55.00 ID:4b7NgT9S [2/2]
雑談 ◆yH25M02vWFhP
2012年以来、8年間も延々と「ガロア理論」と名の付くスレッドを立て続けるも
一冊の本も読み通せず、ガロア理論の基本定理のステートメントすら
正しく読解できなかった正真正銘のidiot
最初のスレッド
ｽﾚﾘﾝｸ(math板)
自称 大阪大学工学部卒 資源工学専攻
ただし正則行列も行列式も知らんので、学歴詐称の疑惑あり
数学板 ４大💩Tripper
ｽﾚﾘﾝｸ(math板:2番)
113:現代数学の系譜 雑談
25/11/04 07:28:47.17 yzUd5nV9.net
>>110
>>2）池上大祐の答えは「現状では グロタンディーク宇宙は必要」
>> ということだった
>2025年3月号のその記事の何ページの何行目に書かれてますでしょう？
ご苦労さまです
いま手元にないので、記憶で書くと
1）池上大祐記事の最後の結論は
フェルマーの最終定理の証明に、将来にわたって
グロタンディーク宇宙なしのZFCだけの証明が可能かどうかは不明
2）現状では、グロタンディーク宇宙を使った
グロタンディークのEGAやSGAの議論とその発展形の数学が使われている
ということだったと
記憶している
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Grothendieck universe
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク宇宙
114:現代数学の系譜 雑談
25/11/04 07:38:38.74 yzUd5nV9.net
>>109
>大学一年の数学力はバカにならない
巡回ご苦労さまです
そうそう
将棋の話だが、谷川 浩司氏が（下記）
小学生時代に 内藤國雄（当時八段）と対局したという
そのときお兄さんもいたが、内藤八段は 弟の方が 才能があると言ったとか
そういう人いるんですよね
高木先生や小平先生の生まれ変わりみたいな人
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
谷川 浩司（たにがわ こうじ、1962年4月6日 - ）
現役の将棋棋士で十七世名人（永世名人）[1]
プロデビューまで
小学生時代、神戸・三宮でおこなわれた将棋のイベントで内藤國雄（当時八段）と対局したこともある[9]。この対局について、内藤は「中盤から終盤への感覚が優れていた」と谷川を評し[9]、谷川も「大きな自信になった」と回顧している[9]。
115:現代数学の系譜 雑談
25/11/04 07:46:06.90 yzUd5nV9.net
>>70
>>それに加えて、人の思考は 一階述語論理に縛られない
>↑素人の妄想 その２
>人の論理的思考は、一階述語論理＋「公理の集まり」という公理系で表せる
戻る
・”葦の髄から天井を覗く”
・数学の投稿論文が一本も無いオチコボレさんが、独自の数学観を語るとはｗ
・滑稽千万だよｗｗ
数学的な直観を軽視してはいけない
むしろ 数学的な直観を高める勉強をすべきじゃね？（>>80）
高木先生は、数学研究は演繹より帰納であるべきと書いていた
”帰納”には、”数学的な直観”は不可欠だろうよ
(参考)
URLﾘﾝｸ(imidas.jp)
imidas
会話で使えることわざ辞典
葦の髄から天井を覗く
よしのずいからてんじょうをのぞく
浅い知識や狭い識見をもとにして、大きな問題を判断しようとすることをいう。葦の茎の穴を通して天井を見ても、天井の一部分しか見えないのに、天井全体を見たと思う愚かさにたとえる。
〔類〕井の中の蛙大海を知らず／鍵（かぎ）の孔（あな）から天を見る／針の穴から天を覗く／火吹き竹から天を見る
〔出〕俳諧（はいかい）・世話尽（せわづくし）
〔会〕「でも、山本さんはそう言ってたぜ」「だめだめ、あの人は葦（よし）の髄から天井を覗（のぞ）く人でさ、あの人の意見を鵜呑（うの）みにすると、こっちがあとで恥をかくんだよ」
116:１３２人目の素数さん
25/11/04 07:47:04.29 fe/eeGks.net
>>113
>2）現状では、グロタンディーク宇宙を使った
> グロタンディークのEGAやSGAの議論とその発展形の数学が使われている
>ということだったと
>記憶している
つまり彼は「現状では グロタンディーク宇宙は必要」とは書いておらず
あなたがそう信じているというだけですね
117:１３２人目の素数さん
25/11/04 07:51:28.13 fe/eeGks.net
あなたはいつものように
何が書かれているかを理解せず
自分に都合のよいように解釈しているに過ぎません
118:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 07:52:10.30 VAh4PF21.net
魔神転生みたいなお馬鹿な古典現代囲碁で有段者になるとか。三国志、信長の野望、ガチャポン戦士も、再考。
119:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 07:53:20.91 VAh4PF21.net
シミュレーションは経済から人文の理論。
120:１３２人目の素数さん
25/11/04 08:09:31.34 Afdq/ab6.net
>>104
>一般人は大学レベルの数学が理解できてない。お前も同じ
大学レベルの数学が理解できてない一般人はセタとは違い理解できてるフリをしない
理解できてるフリをするセタは一般人未満
121:１３２人目の素数さん
25/11/04 08:14:19.15 Afdq/ab6.net
数学を理解できてないのは別によい 数学は必須ではない やりたい奴だけやればよいだけ
しかし理解できてないのに理解できてるフリをするのは人を騙す詐欺師であり人間のクズである
セタは人間のクズ
122:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 08:25:24.13 VAh4PF21.net
understand は落ち込んで悩んだあと起立して待備するの意味だから誰にでもある。
123:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 08:26:18.87 VAh4PF21.net
無理はさせないほうがいい。
124:１３２人目の素数さん
25/11/04 08:29:38.48 rnCEcLfb.net
修行のためにしてみたければしてもよい
125:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 08:34:45.09 VAh4PF21.net
修行はオトナの作為的。
126:１３２人目の素数さん
25/11/04 08:35:22.49 Afdq/ab6.net
>>107
>中国がウロチョロしてるくらいで「中国は日本を征服しようとしている！中国を攻撃しろ」とイキったりしない
海警局武装船が許可無く領海内ウロチョロはダメだろ 君は日本が侵略されてもよいのかい？ 東トルキスタンを侵略されたウイグル族の悲惨さを知らないのかい？
127:１３２人目の素数さん
25/11/04 08:42:55.87 rnCEcLfb.net
当局同士にどういう形式をとらせるかは重要事項
128:１３２人目の素数さん
25/11/04 08:47:44.61 Afdq/ab6.net
能天気な左翼は頭お花畑やな
中国は少しでも隙を見せれば平気で侵略してくる基地外国家やぞ 中国だけじゃない 日本の周りは基地外ばかり
こうやって５ちゃんに好き勝手書いていられるのも日本という国家に護られて自由が保障されとるからやぞ
ウイグル族なんて自由が無いどころか不妊手術を強制されたり母国語や文化を禁止されたり、つまり民族浄化させられとるぞ、自治区と称して中共の好き勝手にするためにな
129:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 08:48:59.20 VAh4PF21.net
開戦に踏み切る勢いがないからストレス。敵がやってる脅し威嚇ではない。
130:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 08:49:46.86 VAh4PF21.net
敵が怯むなら押して行け。
131:１３２人目の素数さん
25/11/04 08:54:30.27 rnCEcLfb.net
ビザなし渡航が１年延長されたのはありがたかった
132:１３２人目の素数さん
25/11/04 09:09:51.00 Afdq/ab6.net
>>108
>日本は終わった
>まあ、アベシンゾーとかタカイチサナエのような
>破廉恥な輩が首相になれる時点で明らかだがな
破廉恥でない国会議員って誰？
君は誰が首相になるべきと思う？
133:１３２人目の素数さん
25/11/04 09:11:18.11 Afdq/ab6.net
批判するだけなら楽ちん
あべがー たかいちがー って吠えてりゃいいだけ
134:１３２人目の素数さん
25/11/04 09:12:20.08 HNB9tftr.net
＞君は日本が侵略されてもよいのかい？
いくらさわいだところで侵略される時はされる
アナトリア半島も、もともとは東ローマ帝国の領土でギリシャ人がいたはずだが
セルジュク・トルコの侵入以降トルコ化してしまった
しかし、中身が変わったわけではない
ギリシャ語話してたヤツの子孫がトルコ語話しだしただけ
日本でも。縄文から弥生への変化はそんな感じ
縄文人の言語と弥生以降の日本語は別物
でも、ヒトが入れ替わったわけではない
135:１３２人目の素数さん
25/11/04 09:15:18.31 HNB9tftr.net
＞東トルキスタンを侵略されたウイグル族の悲惨さを知らないのかい？
トルキスタンは今でこそトルコ系の言語を話してるが
その昔はおそらくインド・ヨーロッパ系のトカラ語を話していた
そのころはイスラム教ではなく仏教を信仰していた
玄奘三蔵の記録に書かれてる通り
いくらさわいだところで侵略される時はされる
あきらめろ
136:１３２人目の素数さん
25/11/04 09:15:43.29 Afdq/ab6.net
>>108
>日本バンザイといいたがるのは実は同じ病気
日本を大事に思わないのであれば日本から出てけば？ そういう輩にいてもらう必要は無い むしろ迷惑
普段どれほど日本に護られているかも分からん脳タリンなんだろう
137:１３２人目の素数さん
25/11/04 09:17:47.09 Afdq/ab6.net
>>134
>いくらさわいだところで侵略される時はされる
そう思うならさっさと中国にでも帰化すれば？ なんで日本なんかにいるの？
138:１３２人目の素数さん
25/11/04 09:18:24.76 HNB9tftr.net
＞中国は少しでも隙を見せれば平気で侵略してくる基地外国家やぞ
妄想
中国が日本を侵略したことはない
島なんでさすがにめんどくさすぎる
元寇があるだろう、というが、元はモンゴル 中国じゃない
遊牧民なんて、もう泥棒みたいなやつらだから そりゃどこでも攻めてくる
でも中国人は農耕民なんで、そんなやたらめったら泥棒するほど暇じゃない
日本は明治維新以降、朝鮮も中国も侵略したけどな
さすがに頭オカシイ
139:１３２人目の素数さん
25/11/04 09:20:26.04 HNB9tftr.net
＞日本を大事に思わないのであれば日本から出てけば？
君は徳仁クンかい？（笑）
まあ、彼がそんなこというわけないけど
万が一そういいだしても却下だな
俺がどこにいようが俺の勝手
カラスの世田じゃないが、それはその通り（笑）
140:１３２人目の素数さん
25/11/04 09:22:54.15 Afdq/ab6.net
>>109
誰がバカにしてるの？
セタが見事に落第した通りバカにできないと思うけど？
141:１３２人目の素数さん
25/11/04 09:25:30.32 0lysHLYN.net
誤 日本という国家に護られて
正 日本という国家に毟られて
君、仕事は何？
君の父親の仕事は何？
君の祖父の仕事は何？
君の先祖の仕事は何？
まあ、よほどの上級国民様じゃないかぎり
「先祖代々武士ですが何か？」
なんてこと言える奴はいない
なんたって明治維新の頃、国民の９割以上は平民で、８割以上は農民なんだからな
農民は年貢とられて毟られるだけ
先の大戦では、兵隊にとられて大量に死んでった
国が守る？ウソだろ 国が勝手に戦争に行けといって、人命すりつぶす
これは失政であり、大量虐殺である それわかんないってヤバいよ
首相が靖国神社参拝したくらいで狂喜乱舞するのは馬鹿
おまえも戦地いって餓死して靖国の神になるか？（笑）
142:１３２人目の素数さん
25/11/04 09:49:59.75 xmddeQdE.net
>しかし、中身が変わったわけではない
>ギリシャ語話してたヤツの子孫がトルコ語話しだしただけ
これって本当なんか？
中身が変わってなかったら、なんで言語だけ変わるんだ？
143:１３２人目の素数さん
25/11/04 10:03:39.16 xmddeQdE.net
弥生時代には「民族浄化」なんて概念はなかった。
現代の中国共産党と人民解放軍だったら、そのくらい平気でやる。
チベットやウイグルでも実証されている。
144:１３２人目の素数さん
25/11/04 10:36:32.21 0lysHLYN.net
>>142
＞中身が変わってなかったら、なんで言語だけ変わるんだ？
支配者の都合にあわせる（笑）
民族浄化なんて昔は無理
DNA調べてもギリシャ人とアナトリアのトルコ人は
連続性があるから入れ替わってないことは明白
逆にトルコ系の諸民族は結構DNA構成が違うから
言語が同じ＝系統が同じ、とはいえない
これ豆な 知らんヤツは素人
145:１３２人目の素数さん
25/11/04 10:37:19.11 0lysHLYN.net
チベットやウイグルの人口も知らん奴が馬鹿騒ぎする
146:１３２人目の素数さん
25/11/04 10:59:06.93 xmddeQdE.net
言語が自然に外国語になるなんてありえないね。
日本でいくら英語教育しても日本人は英語話せないだろ。
何らかの同化政策、婚姻政策、元からいた住民は相当な悲劇に
遭っているはず。
東京新聞愛読者くんは、むしろ何で言語が自然に外国語になるなんて
思うんだい？
147:１３２人目の素数さん
25/11/04 11:15:23.87 xmddeQdE.net
東京って大空襲で10万人死んでるのに、なんで新聞はサヨクなんだろうね？
考えたことある？ 広島の公教育にも同様の傾向がある。これはなぜか？
占領政策が効いてるのではないか？というのは一つの仮説。
もしそうなら、東京在住が自慢で東京新聞愛読者の彼も、自ら知らずに
その影響を受けていることになる。哀れなもん。
148:１３２人目の素数さん
25/11/04 11:42:07.34 Y1BGMlVc.net
>>146
国が変わった 主人が変わった
だから言語が変わった
生きるのに必要になれば英語を話す
親世代はダメでも子供は話す
アメリカの日系1世と2世以降のようなもの
悲劇？一時のこと
産経新聞愛読者にはわからんか（笑）
149:１３２人目の素数さん
25/11/04 11:44:40.87 Y1BGMlVc.net
先の大戦で大正生まれの男性の人口は１割減少した
これでも国家は正義で国民を守ってるとかいうヤツは狂ってる
国家が無謀な侵略戦争によって国民を殺したのだ
産経新聞愛読者は自分は戦争にいかない明治生まれか江戸時代生まれの上級国民様のつもりか？
150:１３２人目の素数さん
25/11/04 11:50:30.44 Y1BGMlVc.net
明治維新に至るまで、日本は海外と大して関わり合いがなかった
明治維新以降、どういうつもりか知らんが、日本は侵略国家に成り下がった そして破滅した
戦後、日本が繁栄したのは、無駄な軍事に金を使わなかったから
とはいえ、日本は脱農業による工業化には成功したが
脱工業化による新たな産業の育成には成功しなかった
まあ、ITで世界中から金を毟るアメリカみたいにならなくて
よかったのかもしれない
151:１３２人目の素数さん
25/11/04 11:52:44.22 Y1BGMlVc.net
日本はアメリカからも中国からも信用されてない
日米同盟がなくなると、日本は勝手な軍国化によって
必ず中国ともめて戦争を起こすと思われている
要するに日本はイスラエル並みにヤバい国だとおもわれてる
152:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 11:56:58.27 VAh4PF21.net
男の隊なんてなあ。女人禁制守れないし。擬似的な空襲ではダメ。鳥族を叩く。軍備を拡張できてないのが田舎や部落。
153:１３２人目の素数さん
25/11/04 11:57:08.90 Afdq/ab6.net
>国家が無謀な侵略戦争によって国民を殺したのだ
誰も戦争しようなんて一言も言ってない
国防予算は増額すべき、なぜなら戦争抑止力になるから
どっかのバカ党が「国防予算増額は日本を戦争する国にする」とかアホなこと言ってるがまったく逆。戦争をしないための国防予算増額。ウクライナ戦争が起きたのはウクライナの国防力が弱いから。
154:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 12:00:02.35 VAh4PF21.net
男の隊の死の先には倦怠と退屈しか無い疑似天国か地獄そこで熱くなるのが未熟。
155:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 12:01:51.60 VAh4PF21.net
永遠の平和の鬼は過疎が孤立するから危ない。
156:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 12:02:54.78 VAh4PF21.net
あまねく女性が救済されてもお前らまだ甘い。
157:１３２人目の素数さん
25/11/04 12:03:02.24 xmddeQdE.net
明治維新の思想的起源を遡ると、水戸学というものがあって
そのあたりから反省する必要はあると思う。
「水戸黄門」が名君のように描かれたドラマがあるけど
われわれが知らない、こんなところにまで影響を残してる。
158:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 12:04:11.97 VAh4PF21.net
復讐をしないことは依存と粘着の優劣関係を招く。
159:１３２人目の素数さん
25/11/04 12:04:14.38 xmddeQdE.net
ナショナリズムって、ある意味自然なものだよ。
「日本」を否定する彼は、ある時期「俺は縄文人の子孫だ」
とか何とか言ってた。DNA検査までやったそう。
「アホだね、下戸の縄文人がいるかよ」と思ったが
本人も自分のバカさに気づいたのか、そのうち言わなくなって
「縄文と弥生の混血」の歴史を認めるようになった。
この経過をわたしは、「ナショナリズムはイケナイことだ」
と抑えた結果、妙な形に歪んで表れた、と解釈した。
160:１３２人目の素数さん
25/11/04 12:05:58.80 Afdq/ab6.net
日本は核武装すべき
核廃絶なんて絶対実現することのない夢物語
この世から戦争が無くなるとしたら、それはすべての国が核武装したときだけだろう
核こそが平和をもたらす
161:１３２人目の素数さん
25/11/04 12:13:01.53 AbGyw9Jz.net
1969年には京都のある大学で
多くの新入生たちは
「日本民族」という授業を受けた
162:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 12:18:12.93 VAh4PF21.net
細胞核。リゾーム酷使で。原子核を救済。
163:１３２人目の素数さん
25/11/04 12:26:48.57 0lysHLYN.net
＞国防予算は増額すべき、なぜなら戦争抑止力になるから
馬鹿の妄想
ペニスは大きいほうがいい なぜなら女にもてるから
というくらい馬鹿（笑）
164:１３２人目の素数さん
25/11/04 12:28:05.63 0lysHLYN.net
＞水戸学
いまだに頭が江戸時代のままの人がいるようだ（嘲笑）
165:１３２人目の素数さん
25/11/04 12:31:49.54 0lysHLYN.net
＞ナショナリズムって、ある意味自然なものだよ。
人格異常者って、自分が人格異常だという自覚がないものだよ。
貴様がその典型例（笑）
＞「アホだね、下戸の縄文人がいるかよ」
縄文人の子孫と弥生人の子孫は両立するので、下戸でも問題ないが
ちなみに自分は Y染色体HG D1a2a ミトコンドリアHG M7a でどっちも縄文系
もちろん、それ以外にも多数の祖先がいるから、弥生系の遺伝子が入っていても問題ない
遺伝を正しく理解していれば分かること
166:１３２人目の素数さん
25/11/04 12:33:40.40 0lysHLYN.net
＞日本は核武装すべき
＞核廃絶なんて絶対実現することのない夢物語
＞この世から戦争が無くなるとしたら、
＞それはすべての国が核武装したときだけだろう
＞核こそが平和をもたらす
とかほざくヤツに中性子線を浴びせたい（笑）
まあ、DNAはバラバラになるでしょう
その結果・・・おや、誰か来たようだ
167:１３２人目の素数さん
25/11/04 12:35:34.91 Afdq/ab6.net
日本人ファーストをレイシズムだの差別だの排外主義だのと言う連中が居るが、そいつらに問いたい。
日本国の存在はレイシズム・差別・排外主義か？
もし違うと言うなら日本国の定義と存在意義は何か？
168:１３２人目の素数さん
25/11/04 12:35:54.46 0lysHLYN.net
世界中から国家というものがなくなることを期待する
日本なんてただの地名になればいい
ちなみに日本とは東の意味で、もちろん中国から見たときの方角
中国という国名に対して「世界の中心なんて自己中心的でけしからん」という人が
そういう自己中心的な国から見た方角に過ぎない国名を喜々として叫ぶのを見ると
心底馬鹿だなあと思う（笑）
169:１３２人目の素数さん
25/11/04 12:36:40.44 0lysHLYN.net
＞日本国の存在はレイシズム・差別・排外主義か？
はい
（完）
170:１３２人目の素数さん
25/11/04 12:37:11.06 Afdq/ab6.net
>とかほざくヤツに中性子線を浴びせたい（笑）
ほらね、こういう基地外が居るから抑止力として核武装が必要なんだよ（笑）
171:１３２人目の素数さん
25/11/04 12:38:28.08 0lysHLYN.net
日本に限らず国家というものは自民族至上主義、差別、排外主義そのものである
だいたい、人類は共通の種であるし、数万年前は同じアフリカにいたのである
たかだか言葉と見かけの違いくらいで「俺が上だ」と言い合うなんてエテ公と同じ
ああ、ヒトは生物学的にエテ公でしたか（笑）
172:１３２人目の素数さん
25/11/04 12:38:41.88 Afdq/ab6.net
>>169
じゃあ日本を無くすよう努力しろよ デモでも集会でもおまえが国会議員になるでも何でもいいから
それができない無能ならせめて日本から出てけよ
173:１３２人目の素数さん
25/11/04 12:39:58.42 0lysHLYN.net
>>170
核なんか持ってても抑止力にならない
いきなり隣のヤツにぶん殴られることを核兵器で抑止できるか？（笑）
やめとけ
174:１３２人目の素数さん
25/11/04 12:40:51.08 0lysHLYN.net
世界中の人がそれぞれ自分の国をなくすように努力するときっといいことがある（笑）
175:１３２人目の素数さん
25/11/04 12:41:55.12 0lysHLYN.net
ここでも国家をありがたがるヤツは反社のゴロツキである
そういうヤツがカタギの衆を脅かしてみかじめ料（税金）をせしめるのである（笑）
176:１３２人目の素数さん
25/11/04 12:44:08.34 Y1BGMlVc.net
国家を潰すコツ
１．国家のいうことに表向きはいはいといいつつ、絶対にその通りにしない
２．国家に対して本当のことをいわず、ウソをつく
３．国家からヤなことを押し付けられそうになったら、まよわず逃げる
世間でいう「良いこと」の逆を、国家に対して行えばいい（笑）
177:１３２人目の素数さん
25/11/04 12:44:40.76 Afdq/ab6.net
>>171
だからー 口だけじゃなく行動しような
おまえが国連トップになって国連軍を編成して日本に宣戦布告して日本を壊滅させて日本解体を実行しろよ
まさかできもしない夢を見てんのか？ どこの乙女だよｗ
178:１３２人目の素数さん
25/11/04 12:47:02.47 Afdq/ab6.net
>>176
コツ掴んでるのに潰せないのはなぜ？
179:１３２人目の素数さん
25/11/04 12:48:26.85 Afdq/ab6.net
ぎゃーぎゃーほざく奴は日本から出てけばいいんだって
日本が嫌いで日本が無くなれば良いと思ってるのになぜ日本にしがみついて生きてんの？
180:１３２人目の素数さん
25/11/04 12:49:29.09 Afdq/ab6.net
日本が無くなるべきと思ってるのに日本にしがみついて生きている
壮大な自己矛盾で草
181:１３２人目の素数さん
25/11/04 12:51:47.33 Afdq/ab6.net
ここに投稿してることが日本にしがみついてる証拠
しがみついてないなら他国のBBSに行くはず
182:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 12:55:48.77 VAh4PF21.net
粒子の飛び散るあとまで戦うさ。
183:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 12:56:45.87 VAh4PF21.net
内政も秩序だね。国に帰れば？
184:１３２人目の素数さん
25/11/04 12:57:04.84 AbGyw9Jz.net
核抑止力について考えるのは結構だが
最重要の一歩は
被爆者の気持ちを理解すること
185:１３２人目の素数さん
25/11/04 12:58:27.37 Afdq/ab6.net
日本は無くなるべきという主張を日本語で表明するの草
日本語を自由に使える恩恵にあずかっとるやないかいｗ
中国に侵略されたら日本語禁止やで
186:１３２人目の素数さん
25/11/04 13:01:22.88 Afdq/ab6.net
>>184
だからー
被爆者の気持ちを最大限汲んで、被爆の悲劇を二度と起こさせないため、その抑止力として核武装すんの
先の大戦で仮に日本が先に核武装に成功していたら世界初の被爆国になったであろうか？
187:１３２人目の素数さん
25/11/04 13:01:28.96 AbGyw9Jz.net
アメリカに占領されても日本語禁止にはならなかった
188:１３２人目の素数さん
25/11/04 13:03:21.22 Afdq/ab6.net
世界中の国という国が核武装したら、誰か戦争する気起きる？
プーチンとかいうならず者は相手が弱小国と思うから戦争するんだろ？
189:１３２人目の素数さん
25/11/04 13:05:11.22 AbGyw9Jz.net
ノーベル平和賞により世界的な発言の機会を得た
被団協は
核廃絶を訴えている。
この事実を踏まえたうえで
核武装の論拠を示すべきだろう。
190:１３２人目の素数さん
25/11/04 13:05:37.56 Afdq/ab6.net
中共に侵略された新疆自治区は民族浄化されとるで
191:１３２人目の素数さん
25/11/04 13:10:16.13 Afdq/ab6.net
被団協がノーベル平和賞を受賞しても北は核放棄しない
いくら日本が核廃絶を叫ぼうが実現できない夢物語なんだって
それが分からない頭お花畑族を左翼と云うｗ
192:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:12:12.54 VAh4PF21.net
侵略も占領も子供という見返りを求めてなされる。日本人は報復でありまし。
193:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:13:18.38 VAh4PF21.net
卵をさらうなんて日本人にはできない。移民や外国人の帰化。
194:１３２人目の素数さん
25/11/04 13:13:46.76 Afdq/ab6.net
核廃絶が実現できるならこんな素晴らしいことは無い
ユートピアが実現できるならこんな素晴らしいことは無い
左翼はいつも夢物語を夢見て現実を見ないｗ
195:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:13:59.92 VAh4PF21.net
数字の傾向ですら暴露。
196:１３２人目の素数さん
25/11/04 13:15:17.90 AbGyw9Jz.net
>>被団協がノーベル平和賞を受賞しても北は核放棄しない
もちろんその現実も踏まえたうえで
必要とあれば矛盾の止揚を試みねばなるまい。
197:１３２人目の素数さん
25/11/04 13:16:59.62 AbGyw9Jz.net
左翼といえどもヘーゲルやサルトルを読まないわけではなかろう
198:１３２人目の素数さん
25/11/04 13:19:37.06 S/r4ghN6.net
＞日本は無くなるべきという主張を日本語で表明するの草
国家と言葉は無関係
東南アジアの少数民族にも当然言葉はあるが、
共通する言葉毎に国家があるなんてことはない
199:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:19:46.31 VAh4PF21.net
隔対核。カモられているのは諸外国。巣鴨のカモの談話。
200:１３２人目の素数さん
25/11/04 13:20:14.69 S/r4ghN6.net
＞抑止力として核武装
核武装したら核戦争解禁
だれが抑止するかバカ
201:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:21:02.95 VAh4PF21.net
モードの波をオーロラみたいに届けよう。隔離カーテン。
202:１３２人目の素数さん
25/11/04 13:21:42.42 S/r4ghN6.net
＞世界中の国という国が核武装したら、誰か戦争する気起きる？
全面核戦争で人類絶滅する
核があれば必ず使う
人は自分が死んでも相手を滅ぼしたい●違いだから必ず使う
それがエテ公の本能（笑）
203:１３２人目の素数さん
25/11/04 13:22:51.45 Afdq/ab6.net
>国家と言葉は無関係
じゃあ中国でウイグル語が禁止されてるのはなぜ？
204:１３２人目の素数さん
25/11/04 13:24:06.75 Afdq/ab6.net
>核武装したら核戦争解禁
人類史において核武装国が核攻撃受けたことある？
>だれが抑止するかバカ
バカはおまえ
205:１３２人目の素数さん
25/11/04 13:26:24.20 Afdq/ab6.net
>人は自分が死んでも相手を滅ぼしたい●違いだから必ず使う
使えば反撃されて自分が滅びることになるから必ず使わない
人類バカにしすぎｗ
206:１３２人目の素数さん
25/11/04 13:27:17.43 Afdq/ab6.net
おまえが思うほど人類はバカじゃない
バカはむしろおまえ
207:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:28:13.21 VAh4PF21.net
だから対角で自分が落ちてるから相手を下げるが負け型。自分が犠牲になるなら相手が上がる勝ち型だろ。
208:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:29:37.13 VAh4PF21.net
犠牲の祈りは狂人かもしれないが見直される答案みたいなもの。
209:１３２人目の素数さん
25/11/04 13:30:31.52 Afdq/ab6.net
仮におまえが正しくて、人類がおまえの言う通りのバカならば、そんな人類は滅んだ方が良いｗ
どっちに転んでも核武装が正解 核武装論圧勝ｗ
210:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:30:57.78 VAh4PF21.net
相手の運命線を絶つより助力すること。
211:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:33:16.72 VAh4PF21.net
子供が相手に受け入れられないならナンパにでもつるんで繰り出せ。生徒たち。憎しみは成る出合いではない。
212:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:34:06.25 VAh4PF21.net
不幸より幸せを増やしなさい。
213:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:35:27.21 VAh4PF21.net
憎しみが頭脳に浮かんでもそれは心ではない、原爆は脳神経の異常。
214:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:36:50.13 VAh4PF21.net
神経科で治療してあげようか。内科だから怖くないよ。頓服も怒りを鎮める。
215:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:37:50.34 VAh4PF21.net
パンデミックな原爆頭脳の社会病。
216:１３２人目の素数さん
25/11/04 13:39:37.12 Afdq/ab6.net
プーチンは喉から手が出るほど勝利が欲しい
負ければ戦犯として処刑されるから 勝てば官軍負ければ賊軍
そのプーチンですら核を使わない
おまえが思うほど人類は愚かでない
217:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:40:07.72 VAh4PF21.net
治療が必要。買わないもらわない使わない使わない噂をしない。目を信じる段階。処理は可能だから積んどけ。租税を。そのほうが取り残されない。
218:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:41:49.40 VAh4PF21.net
犯罪には無法や許しがあるが罪は永遠に消えない罰にがある。
219:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:43:25.93 VAh4PF21.net
生徒に本当の恐怖を教授する教師が減ったなあ。
220:１３２人目の素数さん
25/11/04 13:47:56.26 Afdq/ab6.net
もちろん愚かな連中もいる
毛沢東、スターリン、ポルポト、・・・
221:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:53:03.46 VAh4PF21.net
原バグ。
222:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/04 13:55:36.78 VAh4PF21.net
教授へ問 バグるっていうのはどういうことが身を持って示せ。高尚なバグと下品なバグを比較しながら。
223:１３２人目の素数さん
25/11/04 16:20:20.48 J6jn/cSf.net
>>91
それ判定基準非公開のやつだろw
224:現代数学の系譜 雑談
25/11/04 17:55:01.50 mPyC8s/T.net
>>222
死狂幻調教大師S.A.D.@月と六ベンツさん
ありがとうございます。
スレ主です
今後ともよろしくお願いいたします
225:１３２人目の素数さん
25/11/04 17:57:09.42 fe/eeGks.net
>>224
>死狂幻調教大師S.A.D.@月と六ベンツさん
この人はセタと呼ばれている人の別アカなの？
226:現代数学の系譜 雑談
25/11/04 18:17:36.37 mPyC8s/T.net
>>223
>それ判定基準非公開のやつだろw
まあな だが
１)下記の”審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたもの”
という形式的な要件を満たす論文が出現して はじめて
「どういう 判定基準？」が問題となる
２)もっと言えば、ノーベル賞であれ フィールズ賞であれ
その審査過程が 直ちに公開されるわけではない
例えば、噂だが ペーター・ショルツェ氏は、１年前に当確とされて
他は、なかなか決まらないと ５ｃｈに書かれたことがあったよ
もどると 要するに
上記１)を満たす IUTダメ出し論文が２本３本と投稿され 掲載される情勢になっている場合には
『IUT Challenger Prizeを出さないのは なぜだ？！ 判定基準は？』となるべきだが
IUTダメ出し論文が皆無なのに、判定基準を議論するのは ”ため”にする議論だろうよ
URLﾘﾝｸ(ameblo.jp)
勝負するビジネス英語ノート
「ためにする議論」「自己目的化」など 20201129
まず" just for the sake of it "です。知っているけれどもあまり使っていないと言う人も結構いらっしゃるのではないでしょうか
「ためにする議論だ」とか「〜だけのためにやる必要はない」といった会話に活用できます
もちろん"just becaseu xxx"などを使って表現することもできるのですが、「目的を失って形式に走っている」というニュアンスが強く出ます
ためにする議論に費やす時間はない。・・・We don't have the time for argument just for the sake of it.
URLﾘﾝｸ(zen.ac.jp)
IUT Challenger Prizeの紹介
(抜粋)
2023年7月
審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたものに限ります
URLﾘﾝｸ(ja.wikipedia.org)
フィールズ賞
2018年(リオデジャネイロ)
コーチェル・ビルカー(Caucher Birkar, 1978年 - )
「For the proof of the boundedness of Fano varieties and for contributions to the minimal model program. 」
アレッシオ・フィガリ(Alessio Figalli, 1984年 -)
「For contributions to the theory of optimal transport and its applications in partial differential equations, metric geometry and probability. 」
ペーター・ショルツェ(Peter Scholze, 1987年 - )
「For transforming arithmetic algebraic geometry over p-adic fields through his introduction of perfectoid spaces, with application to Galois representations, and for the development of new cohomology theories. 」
アクシェイ・ヴェンカテシュ(Akshay Venkatesh, 1981年 - )
「For his synthesis of analytic number theory, homogeneous dynamics, topology, and representation theory, which has resolved long-standing problems in areas such as the equidistribution of arithmetic objects.
227:１３２人目の素数さん
25/11/04 19:14:11.44 9vx0mQPF.net
お前みたいなアホ躍らせるためだけのゴミだよ
踊っとけやカス
228:１３２人目の素数さん
25/11/04 19:15:01.74 9vx0mQPF.net
マンマと踊らされて数学界に迷惑だけかけてるゴミ
とっとと消えろ能無し
229:１３２人目の素数さん
25/11/04 19:53:39.30 TnfMdeNA.net
>>135
お前は死ね
230:１３２人目の素数さん
25/11/04 19:54:15.29 TnfMdeNA.net
>>138
おめでたいクズ
とっとと中国に帰れよ
231:１３２人目の素数さん
25/11/04 20:08:01.24 F7ByEl9r.net
,.,.,.,.,.,.,.,.,__
,,;f::::::::::::::::::::::ヽ
i::::::::/'"￣￣ヾi
|:::::::| ノ ::.::: ヽ|
|r-==（◎);（◎)
( ヽ /( ,_､)ヽ}
ヽ.. ｨｪｴｦ;
＼＿＿_ !
／ ￣￣ ＼
| | | |
| | | |
|⌒＼| |／⌒|
| | | | |
| ＼ （ ） ／ |
| |＼＿__人＿___／| |
| | ヾ;;;;| | |
,lﾉl|
人i ﾌﾞﾊﾞﾁｭｳ!!
ノ:;;,ﾋ=-;､
(~´;;;;;;;ﾞ'‐;;;）
,i`（;;;ﾞ'―---‐'ヾ
ヽ;;';ｰ--―-､'';;;;;ﾞ）
/ :::::::＼
（ :::::::;;;;;;;）＿
＼＿―￣￣::::::::::＼
ﾉ￣ ::::::::::::::::::::::）
ﾉ￣ ::::::::::::::::::::::）
（ ::::::::::::::;;;;;;;;;;;;人
／￣―――￣￣::::::::＼
（ :::::::::::::::::::::::::::::::::）
＼＿＿::::::::::::::::::;;;;;;;;;;;;;;;;;;;;;;;;ノ
232:１３２人目の素数さん
25/11/04 20:08:08.49 F7ByEl9r.net
,.,.,.,.,.,.,.,.,__
,,;f::::::::::::::::::::::ヽ
i::::::::/'"￣￣ヾi
|:::::::| ノ ::.::: ヽ|
|r-==（◎);（◎)
( ヽ /( ,_､)ヽ}
ヽ.. ｨｪｴｦ;
＼＿＿_ !
／ ￣￣ ＼
| | | |
| | | |
|⌒＼| |／⌒|
| | | | |
| ＼ （ ） ／ |
| |＼＿__人＿___／| |
| | ヾ;;;;| | |
,lﾉl|
人i ﾌﾞﾊﾞﾁｭｳ!!
ノ:;;,ﾋ=-;､
(~´;;;;;;;ﾞ'‐;;;）
,i`（;;;ﾞ'―---‐'ヾ
ヽ;;';ｰ--―-､'';;;;;ﾞ）
/ :::::::＼
（ :::::::;;;;;;;）＿
＼＿―￣￣::::::::::＼
ﾉ￣ ::::::::::::::::::::::）
ﾉ￣ ::::::::::::::::::::::）
（ ::::::::::::::;;;;;;;;;;;;人
／￣―――￣￣::::::::＼
（ :::::::::::::::::::::::::::::::::）
＼＿＿::::::::::::::::::;;;;;;;;;;;;;;;;;;;;;;;;ノ
233:１３２人目の素数さん
25/11/04 20:08:17.34 F7ByEl9r.net
,.,.,.,.,.,.,.,.,__
,,;f::::::::::::::::::::::ヽ
i::::::::/'"￣￣ヾi
|:::::::| ノ ::.::: ヽ|
|r-==（◎);（◎)
( ヽ /( ,_､)ヽ}
ヽ.. ｨｪｴｦ;
＼＿＿_ !
／ ￣￣ ＼
| | | |
| | | |
|⌒＼| |／⌒|
| | | | |
| ＼ （ ） ／ |
| |＼＿__人＿___／| |
| | ヾ;;;;| | |
,lﾉl|
人i ﾌﾞﾊﾞﾁｭｳ!!
ノ:;;,ﾋ=-;､
(~´;;;;;;;ﾞ'‐;;;）
,i`（;;;ﾞ'―---‐'ヾ
ヽ;;';ｰ--―-､'';;;;;ﾞ）
/ :::::::＼
（ :::::::;;;;;;;）＿
＼＿―￣￣::::::::::＼
ﾉ￣ ::::::::::::::::::::::）
ﾉ￣ ::::::::::::::::::::::）
（ ::::::::::::::;;;;;;;;;;;;人
／￣―――￣￣::::::::＼
（ :::::::::::::::::::::::::::::::::）
＼＿＿::::::::::::::::::;;;;;;;;;;;;;;;;;;;;;;;;ノ
234:現代数学の系譜 雑談
25/11/04 20:40:30.37 yzUd5nV9.net
スレ主です どうもです （＾＾；
>>225
>>死狂幻調教大師S.A.D.@月と六ベンツさん
>この人はセタと呼ばれている人の別アカなの？
”セタと呼ばれている人”が 誰なのか？
正確には知らない
だが、数学以外のものを持ち出して
自分たちの劣勢を糊塗しようという態度を見ると
こいつら 数学的に終わったな
と思うよ
で、おれと”死狂幻調教大師S.A.D.@月と六ベンツ”氏は別人だよ
>>116-117
>つまり彼は「現状では グロタンディーク宇宙は必要」とは書いておらず
>あなたがそう信じているというだけですね
君が真っ先にやるべきことは、下記の
数学セミナー 2025年3月号の
池上大祐「集合論の雑学―無限についてのおはなし
フェルマーの最終定理はZFCの下で証明できるか？／
グロタンディーク宇宙と到達不可能基数」
を 読んで 内容を確認することだ
君は、オチコボレさんのつれか？ >>15に
『オチコボレ サイコパスおサルの 連れの 落ちコボレさん が、もう一匹います。
「箱入り無数目 (あほ二人の”アナグマの姿焼き"Part3ｗ)」の連れです ｽﾚﾘﾝｸ(math板)』
と書いておいたけどねｗ
実際、寂れたとはいえ 5chはROMさんも多い
数学セミナー 2025年3月号 なら、大学の図書館に出入りできる人なら
簡単に読めるだろうさ
数学セミナー 2025年3月号の池上大祐について 書いたのは
もう何回目だろうか？ 5回目くらいかな
その間 君みたいなアホな 突っ込みは無かったなｗ
(参考)>>100より再録
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 2025年3月号
集合論の雑学―無限についてのおはなし
フェルマーの最終定理はZFCの下で証明できるか？／
グロタンディーク宇宙と到達不可能基数
……池上大祐 60
235:１３２人目の素数さん
25/11/04 20:52:43.89 54iK+QXE.net
>>234
>君が真っ先にやるべきことは、下記の
>数学セミナー 2025年3月号の
>池上大祐「集合論の雑学―無限についてのおはなし
>フェルマーの最終定理はZFCの下で証明できるか？／
>グロタンディーク宇宙と到達不可能基数」
>を 読んで 内容を確認することだ
あなは確認してないんですね
つまり彼は「現状では グロタンディーク宇宙は必要」とは書いておらず
あなたがそう信じているというだけです
あなたはいつものように
何が書かれているかを理解しようとせず
自分に都合のよいように解釈しているに過ぎません
236:１３２人目の素数さん
25/11/04 20:56:06.03 54iK+QXE.net
>>234
>”セタと呼ばれている人”が 誰なのか？
>正確には知らない
あなたのことです
237:１３２人目の素数さん
25/11/04 20:59:22.22 9vx0mQPF.net
>>234
その池上先生の記事も読み間違って意味取れてないんだよ落ちこぼれ
どこまで能無しやねん役立たずwww
お前何ができるんやゴミwww
238:１３２人目の素数さん
25/11/04 21:05:56.64 9vx0mQPF.net
そもそもFLTの証明にGalos表現上のFunctor Categoryまで使われてたとしても(そこまですら使われてないが)当然ℂGal(ℚ̅/ℚ)-module がskeletally smallだからuniverseなんぞ持ち出すまでもないわ
なんもわからんくせに知ったかすんなゴミ
お前の持ってる数学上の知識で俺に勝てるもんなんか何一つないわゴミ
239:現代数学の系譜 雑談
25/11/04 21:26:03.89 yzUd5nV9.net
>>233
前スレの連投も含めて
運営に 君のアク禁依頼を出したので
首を洗って待て
240:１３２人目の素数さん
25/11/04 21:52:04.27 F7ByEl9r.net
>>239
＿＿＿＿
.／, - ､, - ､ ￣ ヽ
./-┤ ｡|｡ |―-､ ヽ
| ヽ｀- ○- ´ ／ ヽ |
| - | ― | |
| ´ | ｀ヽ . | |ヽ
∩ 人｀､ _ | ＿.- ´ | .| ＼
| ⌒ヽ ／ ＼ ￣￣￣ ノノ ＼
| |´ |￣―--― ´ヽ ＿ ／⌒＼
＼_ _/-――.| （ Ｔ ） ｀l Τ（ ）
￣ | ￣ } | ＼＿／
| ､--― ￣| /
ＦＵＣＫ ＹＯＵ
241:Генеалогія сучаснай
25/11/04 22:04:08.33 5VZBp+29.net
Я прасіў забараніць доступ адміністратара,
у тым ліку ў некалькіх паведамленнях у папярэдняй тэме,
таму, калі ласка, набярыцеся цярпення.
242:１３２人目の素数さん
25/11/04 22:06:59.35 54iK+QXE.net
>>234
>もう何回目だろうか？ 5回目くらいかな
>その間 君みたいなアホな 突っ込みは無かったなｗ
ツッコミがない＝間違っていない
ですか？
公理を削除する＝公理の否定
みたいな誤解ですよそれ
243:現代数学の系譜 雑談
25/11/04 22:18:08.99 yzUd5nV9.net
>>235-238
ふっふ、ほっほ
一句”不勉強 オチコボレのさばる 便所板”（字余り）
不勉強、言い訳だけは、いちょまえ
オチコボレ、言い訳だけは、一流だ （追加）
>つまり彼は「現状では グロタンディーク宇宙は必要」とは書いておらず
数学セミナー 2025年3月号 池上大祐
を、書棚の肥やしの中から引っ張り出してきた （＾＾
池上大祐の書いている趣旨は
1）フェルマーの最終定理には、グロタンディーク宇宙を仮定した
代数幾何の理論（圏論）が使われていた
2）彼は、文献[3]を挙げて
『代数幾何の基礎理論についての基本文献（の一部）であるSGAで行われている議論は、（可算ではないグロタンディーク宇宙の存在を仮定せずに）ZFCあるいはそれよりも弱い集合論の公理系で展開できる』
とColin McLartyは 主張していると説く
3）しかし、池上大祐氏は 彼自身は フェルマーの最終定理の証明を精査する知識がないので「わかりません」が私の回答だという
（文献[3]：Colin McLarty,The Large structures of Grothendiek founded on finite-order arithmetic. Rev.Symb.Log.13(2020)no.2,296-325）
さて、まとめると
・ワイルズのフェルマーの最終定理は、グロタンディーク宇宙を仮定していて
SGAなどの代数幾何の理論が使われている （だが、SGAが全てではない）
・文献[3]の主張が正しいと仮定して、SGAの全てが グロタンディーク宇宙の仮定なしで言えたとしても
では、ワイルズの証明のSGA以外の部分がどうなるのか？ それは 文献[3]の射程がどこまでかだ
・池上大祐氏の回答 ：（2025年3月号時点において）「わからない」は、いまだ有効だってことだ■
（ワイルズの証明は グロタンディーク宇宙の仮定ありで SGA以外の部分も含んでいるのだから）
244:１３２人目の素数さん
25/11/04 22:44:19.64 54iK+QXE.net
>>243
その通り
彼は「分からない」としています
>1）フェルマーの最終定理には、グロタンディーク宇宙を仮定した
> 代数幾何の理論（圏論）が使われていた
正確には
「グロタンディークが展開した代数幾何の基礎理論（スキーム論ですかね）を用いるため、宇宙の公理、とくに、可算でないグロタンディーク宇宙の存在を仮定していることになります」
ですが
スキームを使う上でグロタンディーク宇宙が必要ということではないのでは？
あれば対象を集合に「制限して」集合論的な困難を回避できるかも知れませんが
なくてもそれは回避できるとのことですよ
グロタンディークがグロタン宇宙を前提にスキーム論を展開した
ことを
スキーム論にはグロタン宇宙が必要
と誤解していますね
245:現代数学の系譜 雑談
25/11/04 23:22:58.53 yzUd5nV9.net
>>243 補足
検索してみると (google検索)：
Colin McLarty,The Large structures of Grothendiek founded on finite-order arithmetic. Rev.Symb.Log
で、結果は下記
＜検索結果＞
The large structures of Grothendieck founded on finite ...
arXiv
URLﾘﾝｸ(arxiv.org)<) › 277...
このページを訳す
2025/08/09 — Abstract. THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE ORDER ARITHMETIC - COLIN MCLARTY. ResearchGate Logo ... large structure ...
Colin Mclarty, The large structures of grothendieck founded ...
PhilPapers
URLﾘﾝｸ(philpapers.org)<) › ...
このページを訳す
Abstract The large-structure tools of cohomology including toposes and derived categories stay close to arithmetic in practice, yet published foundations ...
含まれない: Rev. ‎Symbol.
Reverse mathematics of (co)homology?
MathOverflow
URLﾘﾝｸ(mathoverflow.net) › questions
このページを訳す
2010/01/17 — @hm2020: One was published as McLarty, Colin, The large structures of Grothendieck founded on finite-order arithmetic. Rev. Symb. Log. 13 ...
回答 3 件
ベストアンサー:
I don't have Hartshorne, so I can't address the specifics of this case. However, there is ...
つづく
246:現代数学の系譜 雑談
25/11/04 23:23:17.67 yzUd5nV9.net
つづき
arXiv:1102.1773v4 [math.LO] 30 Apr 2014
arXiv
URLﾘﾝｸ(arxiv.org)<) › journals
このページを訳す
ASL Core logo black. Published on behalf of Association of Symbolic ... THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC · COLIN MCLARTY.
A Finite Order Arithmetic Foundation for Cohomology
Case Western Reserve University
URLﾘﾝｸ(artscimedia.case.edu)<) › questions
このページを訳す
2020/05/14 — Colin McLarty has looked into this. The large structures of Grothendieck founded on finite order arithmetic, Review of Symbolic Logic 13 ...
回答 1 件
ベストアンサー:
Colin McLarty has looked into this The large structures of Grothendieck founded on finite order arithmetic, Review of Symbolic Logic 13 issue 2 (2020) ...
つづく
247:現代数学の系譜 雑談
25/11/04 23:24:03.26 yzUd5nV9.net
つづき
（追加）
URLﾘﾝｸ(mathoverflow.net)
How strong a set theory is necessary for practical purposes in sheaf theory?
asked May 14, 2020 at 0:09
user158035
1
Thank you David. This paper of McLarty's is really remarkable, and seems to be what I asked for, and then much more as well. –
user158035
CommentedMay 14, 2020 at 15:24
does that mean the Fermat's last theorem can be proved in MacLane set theory (i.e. bounded Zermelo)? –
Zuhair Al-Johar
CommentedMay 14, 2020 at 18:38
@Zuhair absolutely, and weaker foundations; this was the motivation for the paper. –
David Roberts
♦ CommentedMay 14, 2020 at 20:45
(google訳)
1
デイビッドさん、ありがとうございます。マクラーティさんのこの論文は本当に素晴らしいです。私が求めていた通りの内容で、それ以上のものでした。
ユーザー158035
コメントした2020年5月14日 15時24分
それはフェルマーの最終定理がマクレーン集合論（つまり有界ツェルメロ）で証明できることを意味しますか？
Zuhair Al-Johar
コメントした2020年5月14日 18時38分
@Zuhair まさにその通りです。そして基礎が弱いのです。これがこの論文の動機でした。
デビッド・ロバーツ
♦
コメントした2020年5月14日 20時45分
(引用終り)
こんなところに、デビッド・ロバーツが
それはフェルマーの最終定理がマクレーン集合論（つまり有界ツェルメロ）で証明できることを意味しますか？
@Zuhair まさにその通りです。そして基礎が弱いのです。これがこの論文の動機でした。
か・・・ 果たして・・・ （＾＾
以上
248:１３２人目の素数さん
25/11/05 00:18:46.38 y45LWemW.net
>>243
お前にまとめられるわけないやろカス
俺の書いてる話1ミリもわからんくせに何いうとんじゃ能無し
fltの証明にグロータンディックのユニバースなんぞ1ミリも使われとらんわ
その記事にある意味はグロータンディックユニバース使えばちょっと細かい議論を回避できん事もない程度の意味しかないわカス
お前にfltの証明レベルの話が理解できるわけないやろゴミ
249:現代数学の系譜 雑談
25/11/05 10:13:36.31 K/Lr81ky.net
>>245 追加
(google検索)：
Colin McLarty,The Large structures of Grothendieck founded on finite-order arithmetic. Rev.Symbol.Logo
＜AI による概要＞
Colin McLarty's paper, "The Large Structures of Grothendieck Founded on Finite-Order Arithmetic," published in the Review of Symbolic Logic in 2020, argues that the complex tools of Grothendieck-style algebraic geometry, such as toposes and derived categories, can be founded on the much weaker system of finite-order arithmetic, rather than the stronger ZFC set theory typically used for such foundations. This research aims to close the foundational gap by showing that these powerful "large structure" tools only require a significantly weaker logical strength to be established, with one specific topos of sets already requiring this level of strength.
・Core argument: McLarty demonstrates that the theorems of Grothendieck's Éléments de géométrie algébrique (EGA) and Séminaire de géométrie algébrique du Bois-Marie (SGA), along with derived categories, can be formally grounded using finite-order arithmetic.
・Weakest possible foundation: The paper establishes that finite-order arithmetic is the weakest possible foundation for these tools because even a single elementary topos of sets with infinity is already this strong.
・Implication for set theory: This finding implies that one does not need the full strength of ZFC, which is stronger than finite-order arithmetic, to prove the consistency of these large structures. The work shows that their foundations can be established with axioms that have the same proof-theoretic strength as finite-order arithmetic, which Zermelo set theory (Z) proves is consistent.
・Practical insight: The work formalizes the practical insight that tools of cohomology, while theoretically requiring large structures, often stay close to arithmetic in their actual application.
・Publication details: The paper was published in the Review of Symbolic Logic (Volume 13, Issue 2, 2020), with the doi: 10.1017/s1755020319000340 and can be found on arXiv as paper 1102.1773.
（AI の回答には間違いが含まれている場合があります）
つづく
250:現代数学の系譜 雑談
25/11/05 10:13:53.81 K/Lr81ky.net
つづき
（追加）>>247より
URLﾘﾝｸ(mathoverflow.net)
How strong a set theory is necessary for practical purposes in sheaf theory?
asked May 14, 2020 user158035
Is it known how much of ZFC is actually necessary for the basic, familiar constructions and theorems in sheaf theory, along the lines of section II.1 (and its exercises) in Hartshorne's "Algebraic Geometry" textbook?
1 Answer
Colin McLarty has looked into this
The large structures of Grothendieck founded on finite order arithmetic, Review of Symbolic Logic 13 issue 2 (2020) pp. 296--325, doi:10.1017/S1755020319000340, URLﾘﾝｸ(arxiv.org)
with abstract (emphasis added):
The large-structure tools of cohomology including toposes and derived categories stay close to arithmetic in practice, yet published foundations for them go beyond ZFC in logical strength. We reduce the gap by founding all the theorems of Grothendieck’s SGA, plus derived categories, at the level of Finite-Order Arithmetic, far below ZFC. This is the weakest possible foundation for the large-structure tools because one elementary topos of sets with infinity is already this strong.
answered May 14, 2020
David Roberts♦
(引用終り)
以上
251:現代数学の系譜 雑談
25/11/05 10:22:12.78 K/Lr81ky.net
>>249 追加
(google訳)（一部手直し）
＜AI による概要＞
コリン・マクラーティの論文「有限階算術に基づくグロタンディークの大規模構造」は、2020年の記号論理学のレビュー、グロタンディークスタイルの代数幾何学の複雑なツール、例えばトポスや導来カテゴリなどは、そのような基礎付けに通常使用される強力なZFC集合論ではなく、はるかに弱い有限階算術体系の上に成り立つと主張している。この研究は、これらの強力な「大規模構造」ツールが確立されるには、はるかに弱い論理的強度しか必要とせず、特定の集合のトポスがすでにこのレベルの強度を必要としていることを示すことで、基礎的なギャップを埋めることを目指しています。
・中心的な議論:マクラーティは、グロタンディークの幾何学計算手法( EGA ) とボワマリー関数セミネール( SGA ) の定理が、derived categoriesとともに、有限階数の算術を使用して形式的に根拠づけられることを示しています。
・最も弱い基盤:この論文では、無限集合の単一の基本トポスでもすでにこのくらい強力であるため、有限階数算術はこれらのツールにとって最も弱い基盤であるとしています。
・集合論への示唆：この発見は、これらの大規模構造の無矛盾性を証明するために、有限階数算術よりも強いZFCの完全な強さを必要としないことを意味する。本研究は、有限階数算術と同等の証明論的強さを持つ公理によってこれらの構造の基礎を確立できることを示しており、有限階数算術はツェルメロ集合論（Z）によって無矛盾性が証明されている。
・実践的な洞察:この研究は、コホモロジーのツールは理論的には大規模な構造を必要とするものの、実際の応用では算術に近いことが多いという実践的な洞察を形式化しています。
・出版の詳細：この論文はReview of Symbolic Logic（第13巻、第2号、2020年）にdoi：10.1017/s1755020319000340で出版され、arXivでは論文1102.1773として見つけることができます。
252:現代数学の系譜 雑談
25/11/05 11:01:07.52 K/Lr81ky.net
>>249 追加
>Founded on Finite-Order Arithmetic
日本語では 有限階算術（あるいは高階算術か） とでもいうのか？
Second-order arithmetic、2階算術は 日本語であるようですが
”Finite-Order Arithmetic”は、不勉強で初耳です
英語検索でも、”Finite-Order Arithmetic”は あまりヒットしないす ；ｐ）
でも、私は 高階論者でして
「人の思考は 一階論理に縛られない」と思っています （＾＾
そういう意味で、
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Second-order arithmetic
In mathematical logic, second-order arithmetic is a collection of axiomatic systems that formalize the natural numbers and their subsets. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics.
A precursor to second-order arithmetic that involves third-order parameters was introduced by David Hilbert and Paul Bernays in their book Grundlagen der Mathematik.[1] The standard axiomatization of second-order arithmetic is denoted by Z2.
Second-order arithmetic includes, but is significantly stronger than, its first-order counterpart Peano arithmetic. Unlike Peano arithmetic, second-order arithmetic allows quantification over sets of natural numbers as well as numbers themselves.
Because real numbers can be represented as (infinite) sets of natural numbers in well-known ways, and because second-order arithmetic allows quantification over such sets, it is possible to formalize the real numbers in second-order arithmetic. For this reason, second-order arithmetic is sometimes called "analysis".[2]
URLﾘﾝｸ(googology.fandom.com)
巨大数研究 Wiki
二階算術
URLﾘﾝｸ(ja.wikipedia.org)
逆数学は大抵の場合、2階算術について実行され、定理が構成的解析と証明論に動機付けられた2階算術の部分体系のうち、どれに対応するのかを研究する。 2階算術を使うことで、再帰理論からの多くの技術も利用できる。実際、逆数学の結果の多くは、計算可能性解析学の結果を反映している。
逆数学は、Harvey Friedman (1975, 1976)によってはじめて言及された。基本文献は(Simpson 2009)を参照。
253:現代数学の系譜 雑談
25/11/05 11:15:26.89 K/Lr81ky.net
>>252 補足
用語について
・高階算術
・finite order arithmetic
・Higher-order logic
・Higher order arithmetic by Colin McLarty自身 2014 mathoverflow
(参考)
URLﾘﾝｸ(www.aichi-gakuin.ac.jp)
高階算術における抽象論
井澤 昇平
東北大学理学研究科数学専攻
数学基礎論若手の会’１０
Contents.
1 Introduction.
2 Definition of axioms of finite order arithmetic.
検索＜higher order arithmetic＞
URLﾘﾝｸ(arxiv.org)
[Submitted on 29 Aug 2023]
Conservativity of Type Theory over Higher-order Arithmetic
Benno van den Berg, Daniël Otten
URLﾘﾝｸ(en.wikipedia.org)
Higher-order logic
In mathematics and logic, a higher-order logic (abbreviated HOL) is a form of logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic.
The term "higher-order logic" is commonly used to mean higher-order simple predicate logic. Here "simple" indicates that the underlying type theory is the theory of simple types, also called the simple theory of types. Leon Chwistek and Frank P. Ramsey proposed this as a simplification of ramified theory of types specified in the Principia Mathematica by Alfred North Whitehead and Bertrand Russell. Simple types is sometimes also meant to exclude polymorphic and dependent types.[1]
URLﾘﾝｸ(mathoverflow.net)
Higher order arithmetic and fragments of ZFC
Zbierski "Models for Higher Order Arithmetics" (BULL. DE L'ACAD. POLONAISE DES SCIENCES Serie des sciences math., astr. et phys. - Vol. XIX, No. 7, 1971) defines ZFn
as ZFC with the power set axiom limited to n
successive power sets starting from the natural numbers N
. Note this includes the axiom of choice. He proves ZFn
is a conservative extension of n+2
order arithmetic with the axiom scheme of choice.. He notes Gandy had proved already ZF2
is not conservative over 4
th order arithmetic without the axiom scheme of choice.
But what is known about the case where the axiom of choice is also removed from ZF2 ?
Sochor "Constructibility in higher order arithmetics" (Arch. Math. Logic (1993) 32:381-389) shows that n
-th order arithmetic without choice can interpret n
-th order arithmetic with choice.though obviously it is not a conservative extension. So the issue is not equiconsistency. It is conservativity.
asked Dec 11, 2014 at 13:57
Colin McLarty
254:１３２人目の素数さん
25/11/05 11:38:01.72 Z1J+lKlF.net
>>243
カラスの世田は、数セミの記事すら、まともに読解できない（笑）
ーーーーーーーーーーーーーーーーーーーーーーー
数学セミナー 2025年3月
集合論の雑学 無限についてのおはなし 池上大輔
連載 第12回
フェルマーの最終定理はZFCの下で証明できるか？
グロタンディーク宇宙と到達不可能基数
１．イントロダクション
学部生時代に後輩が院生の先輩にした質問
「フェルマーの最終定理の証明に
グロタンディーク宇宙の存在を仮定するらしい
グロタンディーク宇宙の存在って
ZFCから導けないと聞いた
フェルマーの最終定理ってZFCの下で証明できるの？」
先輩の回答
「基礎論やってる池上君に聞けよ」
著者（池上氏）の答え
「わからない・・・」
２．おはなしの前に
質問の答えがＹｅｓかＮｏか考えるには
グロタンディーク宇宙の存在を仮定せずに
フェルマーの最終定理を証明できるかどうか
考える必要があるが
フェルマーの最終定理を精査するだけの
代数学の知識が私にはないので答えられない
ちなみに
フェルマーの最終定理が
ZFCの下で証明できれば
ZFの下でも証明できる
（第８回にて紹介
ゲーデルの構成可能宇宙Ｌを用いて
ZFCでの証明をZFでの証明に書き換えられるため）
（つづく）
255:現代数学の系譜 雑談
25/11/05 11:39:46.99 K/Lr81ky.net
>>250
>Colin McLarty has looked into this
>The large structures of Grothendieck founded on finite order arithmetic, Review of Symbolic Logic 13 issue 2 (2020) pp. 296--325, doi:10.1017/S1755020319000340, arxiv.org/abs/1102.1773
これ、リンクのarxivは 2014年版だな
30 Apr 2014 COLIN MCLARTY
1. Outline
Finite order arithmetic (Takeuti, 1987, Part II), or simple type theory with infinity, is n-th order arithmetic for all finite n. It deals with numbers, sets of numbers, and sets of those, up through any fixed finite level. Sections 2– 3 develop basic cohomology in any one of several set theories equivalent to this.
Sections 4–5 give a weak notion of a universe U, and a simpler notion of Ucategory than Grothendieck’s (SGA 4 I.1.2), in a theory of classes and collections conservative over set theory. Section 6 proves standard theorems on toposes, derived categories, and fibered categories. This is the weakest possible level for Grothendieck’s tools since a single elementary topos of sets with infinity is already as strong as finite order arithmetic.
Section 7 relates this to proofs of Fermat’s Last Theorem.
つづく
256:１３２人目の素数さん
25/11/05 11:40:06.99 Z1J+lKlF.net
>>254のつづき
（ここが記事の本論）
６．グロタンディーク宇宙の存在と選択公理の違い
（ａ）フェルマーの最終定理が数学的構造（Ｚ、+、×、０，１）において
∀や∃の範囲を整数全体Ｚに制限することで得られる論理式（一階算術の論理式）
で表現できる
（ｂ）一階算術の論理式の真偽がゲーデルの構成可能宇宙Ｌと集合全体Ｖで変わらない
↓
フェルマーの最終定理がZFCの下で証明可能ならばZFの下でも可能
一方、
（ｃ）ZFCからCon(ZFC)は証明できないが
グロタンディーク宇宙の存在からZFCの無矛盾性Con(ZFC)が証明可能
↓
グロタンディーク宇宙の存在を仮定すると、
証明できる一階算術の論理式が真に増えている
↓
グロタンディーク宇宙の存在を仮定した上での証明が
グロタンディーク宇宙の存在を仮定しない場合の証明に
書き換えられるとはいえない
さらに
現在知られている集合論の手法（※）では
ZFCのモデルMから、新しいZFCのモデルNを構成して
MとNの間で一階算術の命題の真偽を変えることはできない
↓
もしリーマン予想がZFCの下で証明も反証もできないとして
そのことを現在の集合論の手法で検証することはできない
※ 強制法のことか
257:現代数学の系譜 雑談
25/11/05 11:40:17.08 K/Lr81ky.net
つづき
7. A proof of Fermat’s Last Theorem in PA?
We have founded the whole SGA for arbitrary sites, while individual proofs in number theory use only low degree cohomology of sites close to arithmetic.
Detailed bounds may suffice to get existing proofs into n-order arithmetic for relatively low n, as in Section 3.8.4. That might be a good context for such hard logical analysis as Macintyre (2011) begins for FLT.
More work might bound the constructions within a conservative extension of PA (Takeuti, 1978) to show some existing proof of FLT works essentially in PA.
It might help further reduce the proof to Exponential Function Arithmetic (EFA) as conjectured in (Friedman, 2010).
Such estimates are likely to be difficult.
This is no logical end run around serious arithmetic.
Not motivated by concern with logic, Kisin (2009b) extends and simplifies (Wiles, 1995), generally using geometry less than commutative algebra, visibly reducing the demands on set theory. And Kisin (2009a) completes a different proof of FLT by a strategy of Serre advanced by Khare and Wintenberger.
References
Takeuti, G. (1987). Proof Theory. Elsevier Science Ltd, 2nd edition.
(引用終り)
以上
258:１３２人目の素数さん
25/11/05 11:46:15.79 Z1J+lKlF.net
>>256のつづき
蛇足
７．グロタンディーク宇宙とSGA
Colin McLarty,The large structures of Grothendieck founded on finite-order arithmetic
では、グロタンディークによる代数幾何の基礎理論の基本文献SGAで行われる議論は、
グロタンディーク宇宙の存在を仮定せずZFCあるいはそれより弱い集合論の公理系で
展開できることを主張し、そのための詳細の議論を述べている。
私（池上氏）には、代数学の知識が足りないため、内容の真偽が検証できないが
SGAに詳しく、興味がある方は、ぜひチャレンジしてみて
259:１３２人目の素数さん
25/11/05 11:50:08.99 Z1J+lKlF.net
池上氏の記事のポイント
１．選択公理は、証明できる一階算術の定理を増やさないが
グロタンディーク宇宙の存在は、証明できる一階算術の定理を増やす
２．現在の集合論の手法では一階算術の定理の範囲を変えることはできない
この程度の要約、サクッと書けない素人が、匂わせ書き込みとかすんな
不快なだけだから
260:現代数学の系譜 雑談
25/11/05 11:52:00.37 K/Lr81ky.net
>>255
Finite order arithmetic (Takeuti, 1987, Part II)
>>257
References
Takeuti, G. (1987). Proof Theory. Elsevier Science Ltd, 2nd edition.
竹内 外史先生だね
URLﾘﾝｸ(ja.wikipedia.org)
竹内 外史（たけうち がいし、1926年1月25日 - 2017年5月10日）
URLﾘﾝｸ(en.wikipedia.org)
Gaisi Takeuti (竹内 外史, Takeuchi, Gaishi; January 25, 1926 – May 10, 2017[1]) was a Japanese mathematician, known for his work in proof theory.[2]
Notes
2 Takeuti 2013.
・Takeuti, Gaisi (2013) [1975]. Proof theory (Second ed.). Mineola, New York: Dover Publications. ISBN 978-0-486-49073-1.
なお>>257より
(google訳)
7. PAにおけるフェルマーの最終定理の証明？
私たちは任意のサイトに対してSGA全体を構築しましたが、数論における個々の証明は、算術に近いサイトの低次コホモロジーしか使用していません。
詳細な評価によって、第3.8.4節のように、既存の証明を比較的低いnに対するn階算術に持ち込むことができるかもしれません。これは、マッキンタイア（2011）がフェルマーの最終定理に対して始めたような、困難な論理分析を行うのに適した文脈となるでしょう。
さらに研究を進めることで、PAの保存的拡大（竹内、1978）の範囲内で構成を限定し、フェルマーの最終定理の既存の証明が本質的にPA内で機能することを示すことができるかもしれません。
これは、フリードマン（2010）で予想されているように、証明を指数関数算術（EFA）にさらに還元するのに役立つ可能性があります。
このような評価は困難である可能性が高いです。
これは、真剣な算術を回避するための論理的な抜け道ではありません。
論理への関心に動機づけられているわけではありませんが、キシン（2009b）は（ワイルズ、1995）を拡張および簡略化し、一般的に可換代数よりも幾何学の使用を少なくすることで、集合論への要求を明らかに軽減しています。また、キシン（2009a）は、カーレとヴィンテンベルガーによって発展させられたセールによる戦略を用いて、フェルマーの最終定理の別の証明を完成させています。
(引用終り)
なので、Colin McLarty 先生も 2014版では 「7. PAにおけるフェルマーの最終定理の証明？」で ？マーク付きだｗ （＾＾
2020版でも 同じかな ；ｐ）