[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
269: １３２人目の素数さん [] 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: １３２人目の素数さん [] 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: １３２人目の素数さん [] 2025/11/05(水) 14:14:14.22 ID:RVein8hf 例えば、ACA0程度の普通の体系で、フェルマーの最終予想が証明できるかどうかは興味ある http://rio2016.5ch.net/test/read.cgi/math/1761878205/271
272: １３２人目の素数さん [] 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: １３２人目の素数さん [] 2025/11/05(水) 14:34:38.48 ID:0EQAYKXO j: :/: :＿ ,;､､;,;,＿_:!: : : : : / r'／;;:='ﾍk￢-､__｀: : : : : _,ｲ （/='゛_r斤:|｢｀ヾｧｰ-｀ニ ｢:|;ゞ-|:::::ｉ:::::{ﾘ::||_,ノ'″ |::l欠"ｌヽｌ::::::ﾃ〃゛; ／: : :l ゞ--‐'＾"´ ,､‐'´: : : : : l 〈 ￣｀ ｰ-￢:卜、 ,.:': ｀`丶,￣` '＾｀ヽ ,:': | ＿ / ヽャ‐‐-__､、 ヽ ･･･馬鹿か、たわけ者が･･･ ,〕!ニ､=-'’ | ﾊﾞｶ ｶﾀﾜ ｹﾓﾉ L、 http://rio2016.5ch.net/test/read.cgi/math/1761878205/273
274: １３２人目の素数さん [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: １３２人目の素数さん [sage] 2025/11/05(水) 19:11:44.48 ID:3HT78/hG >>145 馬鹿はてめえだよ 共産圏の民族浄化の侵略手法は背乗りだ馬鹿が。 ウイグル族チベット族を殺して漢族が背乗りしてんだよ間抜け野郎。 人口だけ見て個体識別できてると思ってんのかクソ間抜け野郎が。 臓器売買人身売買で民族浄化しながら他民族の祖国を侵略掠奪し盡くして来やがったのが中共漢族の手法だ馬鹿が。 臓器売買の残りの部位を食人しやがるくらいの蛮族で 食人蛮族のダニ族やアスマット族と並んで漢族は原始人類系の比率が高いのが疑われるくらいの野蛮さだからな １９２０年に台湾に押し掛けて異民族だからって理由で台湾人を食い散らかしてイギリス人オランダ人が目撃談を本国に書き送ってて嫌悪されてた蛮族やからな 未だに人民解剖軍と三合会連中が四島侵攻論の標的国に侵入して殺ってやがるわ。 超限戦侵略策動も知らん間抜けは引っ込んどけ。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/276
277: １３２人目の素数さん [sage] 2025/11/05(水) 19:13:36.07 ID:3HT78/hG >>169 テメエが不正で不当で不法な人種憎悪感情に基づいたレイシストの差別主義者だろうが！ テメエが排外主義者だろが！ http://rio2016.5ch.net/test/read.cgi/math/1761878205/277
278: １３２人目の素数さん [] 2025/11/05(水) 19:16:04.48 ID:BjMQZrgB 類体も知らんド素人のカラスの世田が なにわけわかんないコピペしてんだ（笑） http://rio2016.5ch.net/test/read.cgi/math/1761878205/278
279: １３２人目の素数さん [sage] 2025/11/05(水) 19:16:08.55 ID:3HT78/hG 日本の国名も日本国の推古女帝が日出処の天子として中国に知らしめたのが中国にとっての始まりだ。 大嘘吐き野郎が。 中国ではこれに習い、武則天が日本と我が国の国号を改めたんだよ！ 無知蒙昧の間抜け野郎が。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/279
280: １３２人目の素数さん [sage] 2025/11/05(水) 19:20:21.81 ID:3HT78/hG 最近やっと中原出土の原人の解析結果公表されたね。 デニソワ系だよ。判るか？間抜け野郎。 ホモ・サピエンス・サピエンスとは全く別種の原始人類系ダダ漏れ人類だったんだよ。 まあ納得だわ。 人食い蛮族は明らかに原始人類系の要素ダダ漏れだからな。 稲作文化・長江文明圏を興したオーストロアジア人種(古代華南人＝弥生人≒倭人、東南アジア人)とも、インダス文明を興したコーカソイド系とも異質の進化段階だったからな。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/280
281: １３２人目の素数さん [] 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: １３２人目の素数さん [sage] 2025/11/05(水) 19:20:50.62 ID:3HT78/hG お前は野蛮人の習性を直視すべきだよ 嘘は醜い。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/282
283: １３２人目の素数さん [sage] 2025/11/05(水) 19:22:45.87 ID:3HT78/hG チベット王国、東トルキスタン共和国、満洲国、南モンゴルを侵略したのは誰なんだよ？ 台湾を侵略したのは？ http://rio2016.5ch.net/test/read.cgi/math/1761878205/283
284: １３２人目の素数さん [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
285: １３２人目の素数さん [sage] 2025/11/05(水) 19:24:50.04 ID:3HT78/hG 文革時代に中共漢族共が南モンゴル人のインテリ層に対してどれだけ大量虐殺したか インテリ層を虐殺したのはポル・ポトだけじゃ無いぞ。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/285
286: １３２人目の素数さん [sage] 2025/11/05(水) 19:26:21.63 ID:3HT78/hG 悍ましい真実を不都合な真実として隠蔽するのは悍ましい凶行を常とする蛮族だけあって醜悪だよな http://rio2016.5ch.net/test/read.cgi/math/1761878205/286
287: １３２人目の素数さん [sage] 2025/11/05(水) 19:28:39.43 ID:3HT78/hG 「漢族は侵略しない」？ 嗤わせんな 大嘘吐き野郎が。 醜悪極まり無い虚言だよな http://rio2016.5ch.net/test/read.cgi/math/1761878205/287
288: １３２人目の素数さん [sage] 2025/11/05(水) 19:44:03.78 ID:3HT78/hG 南モンゴル人権情報センター htt ps://share.google/mqphHOFZnOKkEmM1u http://rio2016.5ch.net/test/read.cgi/math/1761878205/288
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 714 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.016s