[過去ログ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002レス)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
265: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/05(水) 13:44:07.75 ID:K/Lr81ky >>257 >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 Kisin, M. (2009a). Modularity of 2-adic Barsotti-Tate representations. Inventiones Mathematicae, 178(3):587–634. Kisin, M. (2009b). Moduli of finite flat group schemes, and modularity. Annals of Mathematics, 170(3):1085–1180. これを、検索すると(2009a) https://www.researchgate.net/publication/226552399_Modularity_of_2-adic_Barsotti-Tate_representations Modularity of 2-adic Barsotti-Tate representations December 2009Inventiones mathematicae 178(3):587-634 Abstract We prove a modularity lifting theorem for two dimensional, 2-adic, potentially Barsotti-Tate representations. This proves hypothesis (H) of Khare-Wintenberger, and completes the proof of Serre’s conjecture. The main new ingredient is a classification of connected finite flat group schemes over rings of integers of finite extensions of ℚ2. (2009b):こちらはフルテキストが落とせるな (This provides a more conceptual way of establishing the Shimura-Taniyama-Weil conjecture) https://annals.math.princeton.edu/wp-content/uploads/annals-v170-n3-p03-p.pdf Moduli of finite flat group schemes, and modularity By MARK KISIN Abstract We prove that, under some mild conditions, a two dimensional p-adic Galois representation which is residually modular and potentially Barsotti-Tate at p is modular. This provides a more conceptual way of establishing the Shimura-Taniyama-Weil conjecture, especially for elliptic curves which acquire good reduction over a wildly ramified extension of 3. The main ingredient is a new technique for analyzing flat deformation rings. It involves resolving them by spaces which parametrize finite f lat group scheme models of Galois representations. http://rio2016.5ch.net/test/read.cgi/math/1761878205/265
266: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/05(水) 13:56:24.76 ID:K/Lr81ky >>252 補足 でも、私は 高階論者でして 「人の思考は 一階論理に縛られない」と思っています (^^ そういう意味で、 ↓ でも、私は 高階論者でして 「人の思考は 一階論理に縛られない」と思っています (^^ そういう意味で、”Finite-Order Arithmetic”使えば フェルマーの最終定理証明に グロタンディーク宇宙は 不要では? という発想は、非常に興味深いです (^^ http://rio2016.5ch.net/test/read.cgi/math/1761878205/266
267: 132人目の素数さん [] 2025/11/05(水) 14:04:18.52 ID:vZYtBEGo >高階論者(と称するド素人) >「(一般)人の思考は 一階論理に縛られない」 数学者 「数学の理論は、一階述語論理上の公理系として表現され 定理は一階述語論理によって公理から証明される」 http://rio2016.5ch.net/test/read.cgi/math/1761878205/267
268: 132人目の素数さん [] 2025/11/05(水) 14:10:35.94 ID:vZYtBEGo ”Finite-Order Arithmetic”=「有限階論理」 わざわざこう表現することからして 一階ではなく二階以上 ということだと認識している ついでにいうと二階算術とは、整数のみならず、 整数の部分集合に対する限量子を用いるという意味 もちろん、その場合も一階算術同様 一階述語論理に公理を追加した公理系を用いる 上記は 数学を全く知らぬド素人(例:カラスの世田) 以外には、いわずもがなの常識である http://rio2016.5ch.net/test/read.cgi/math/1761878205/268
269: 132人目の素数さん [] 2025/11/05(水) 14:11:40.69 ID:vZYtBEGo 誤 ”Finite-Order Arithmetic”=「有限階論理」 正 ”Finite-Order Arithmetic”=「有限階算術」 http://rio2016.5ch.net/test/read.cgi/math/1761878205/269
270: 132人目の素数さん [] 2025/11/05(水) 14:14:07.67 ID:FFxAuNzB >>252 >>261への回答が無いんだけど、君、 https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86 ゲーデルの不完全性定理の系の1つとして、以下の3つの属性を同時に満足するような二階述語論理の推論体系は存在しないとされた[4]。 (健全性)証明可能な二階述語論理の文は常に真である。すなわち standard semantics に従ったあらゆるドメインで真である。 (完全性)standard semantics において常に妥当な二階述語論理の論理式は、全て証明可能である。 (実効性)与えられた論理式の並びが妥当な証明かどうかを正しく決定できる証明検証アルゴリズムが存在する。 この系を言い換えると、二階述語論理は完全な証明理論に従わない、とも言える。この観点で、standard semantics を伴った二階述語論理は一階述語論理とは異なり、そのせいもあって論理学者は長年、二階述語論理に関わることを避けてきた。ウィラード・ヴァン・オーマン・クワインは二階述語論理は「論理」ではないと考える理由としてこれを挙げている[5]。 くらいは読んで理解したうえで言ってるんだよね? http://rio2016.5ch.net/test/read.cgi/math/1761878205/270
271: 132人目の素数さん [] 2025/11/05(水) 14:14:14.22 ID:RVein8hf 例えば、ACA0程度の普通の体系で、フェルマーの最終予想が証明できるかどうかは興味ある http://rio2016.5ch.net/test/read.cgi/math/1761878205/271
272: 132人目の素数さん [] 2025/11/05(水) 14:17:33.76 ID:RVein8hf 「可換環論における逆数学」 https://www.waseda.jp/inst/wias/news-en/2016/06/07/2369/ 「可算な一般の可換環のクラスについて,その理論を展開するには, 算術的集合存在公理(体系ACA)が必要かつ十分であることが示唆されます. 一方,より狭いアルティン環のクラスの理論については, より弱い公理である弱ケーニッヒの補題(体系WKL)が必要かつ十分であることが C. Conidisにより示されています.」 http://rio2016.5ch.net/test/read.cgi/math/1761878205/272
273: 132人目の素数さん [] 2025/11/05(水) 14:34:38.48 ID:0EQAYKXO j: :/: :_ ,;、、;,;,__:!: : : : : / r'/;;:='ヘk¬-、__`: : : : : _,イ (/='゛_r斤:|「`ヾァー-`ニ 「:|;ゞ-|:::::i:::::{リ::||_,ノ'″ |::l欠"lヽl::::::テ〃゛; /: : :l ゞ--‐'^"´ ,、‐'´: : : : : l 〈  ̄` ー-¬:卜、 ,.:': ``丶, ̄` '^`ヽ ,:': | _ / ヽャ‐‐-__、、 ヽ ・・・馬鹿か、たわけ者が・・・ ,〕!ニ、=-'’ | バカ カタワ ケモノ L、 http://rio2016.5ch.net/test/read.cgi/math/1761878205/273
274: 132人目の素数さん [sage] 2025/11/05(水) 14:44:36.99 ID:C4DDj+Yv 論理=思考法か何かそんな感じのもの としか考えられない。日本語の日常会話での意味でなんとなくにしかとらえられない。そこまではともかく「違うよ」と言われてもまだわからない。考えるという行為が一切できない。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/274
275: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/05(水) 18:18:56.33 ID:K/Lr81ky Ivan Fesenko ”B Class field theories, one-dimensional and higher dimensional” Essential Algebraic Number Theory, World Sci. Publ. 2026, 284pp. https://ivanfesenko.org/?page_id=80 News – Ivan Fesenko ・Essential Algebraic Number Theory, World Sci. Publ. 2026, 284pp. https://ivanfesenko.org/?page_id=126 Research – Ivan Fesenko B Class field theories, one-dimensional and higher dimensional [B17] Essential Algebraic Number Theory, World Sci. Publ. 2026, 284pp. <余禄> https://ivanfesenko.org/wp-content/uploads/2021/11/232.pdf [B16] Class field theory, its three main generalisations, and applications, May 2021, EMS Surveys 8(2021) 107-133 http://rio2016.5ch.net/test/read.cgi/math/1761878205/275
276: 132人目の素数さん [sage] 2025/11/05(水) 19:11:44.48 ID:3HT78/hG >>145 馬鹿はてめえだよ 共産圏の民族浄化の侵略手法は背乗りだ馬鹿が。 ウイグル族チベット族を殺して漢族が背乗りしてんだよ間抜け野郎。 人口だけ見て個体識別できてると思ってんのかクソ間抜け野郎が。 臓器売買人身売買で民族浄化しながら他民族の祖国を侵略掠奪し盡くして来やがったのが中共漢族の手法だ馬鹿が。 臓器売買の残りの部位を食人しやがるくらいの蛮族で 食人蛮族のダニ族やアスマット族と並んで漢族は原始人類系の比率が高いのが疑われるくらいの野蛮さだからな 1920年に台湾に押し掛けて異民族だからって理由で台湾人を食い散らかしてイギリス人オランダ人が目撃談を本国に書き送ってて嫌悪されてた蛮族やからな 未だに人民解剖軍と三合会連中が四島侵攻論の標的国に侵入して殺ってやがるわ。 超限戦侵略策動も知らん間抜けは引っ込んどけ。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/276
277: 132人目の素数さん [sage] 2025/11/05(水) 19:13:36.07 ID:3HT78/hG >>169 テメエが不正で不当で不法な人種憎悪感情に基づいたレイシストの差別主義者だろうが! テメエが排外主義者だろが! http://rio2016.5ch.net/test/read.cgi/math/1761878205/277
278: 132人目の素数さん [] 2025/11/05(水) 19:16:04.48 ID:BjMQZrgB 類体も知らんド素人のカラスの世田が なにわけわかんないコピペしてんだ(笑) http://rio2016.5ch.net/test/read.cgi/math/1761878205/278
279: 132人目の素数さん [sage] 2025/11/05(水) 19:16:08.55 ID:3HT78/hG 日本の国名も日本国の推古女帝が日出処の天子として中国に知らしめたのが中国にとっての始まりだ。 大嘘吐き野郎が。 中国ではこれに習い、武則天が日本と我が国の国号を改めたんだよ! 無知蒙昧の間抜け野郎が。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/279
280: 132人目の素数さん [sage] 2025/11/05(水) 19:20:21.81 ID:3HT78/hG 最近やっと中原出土の原人の解析結果公表されたね。 デニソワ系だよ。判るか?間抜け野郎。 ホモ・サピエンス・サピエンスとは全く別種の原始人類系ダダ漏れ人類だったんだよ。 まあ納得だわ。 人食い蛮族は明らかに原始人類系の要素ダダ漏れだからな。 稲作文化・長江文明圏を興したオーストロアジア人種(古代華南人=弥生人≒倭人、東南アジア人)とも、インダス文明を興したコーカソイド系とも異質の進化段階だったからな。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/280
281: 132人目の素数さん [] 2025/11/05(水) 19:20:23.56 ID:BjMQZrgB 漢族は基本的に侵略はしない 侵略したがるのは・・・モンゴル族な https://www.youtube.com/watch?v=_UgmJRZ52Ys http://rio2016.5ch.net/test/read.cgi/math/1761878205/281
282: 132人目の素数さん [sage] 2025/11/05(水) 19:20:50.62 ID:3HT78/hG お前は野蛮人の習性を直視すべきだよ 嘘は醜い。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/282
283: 132人目の素数さん [sage] 2025/11/05(水) 19:22:45.87 ID:3HT78/hG チベット王国、東トルキスタン共和国、満洲国、南モンゴルを侵略したのは誰なんだよ? 台湾を侵略したのは? http://rio2016.5ch.net/test/read.cgi/math/1761878205/283
284: 132人目の素数さん [sage] 2025/11/05(水) 19:22:56.98 ID:3HT78/hG htt ps://www.reddit.com/r/AskHistorians/comments/s34ely/was_cannibalism_by_han_settlers_common_on_the/?tl=ja http://rio2016.5ch.net/test/read.cgi/math/1761878205/284
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 718 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.028s