[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
2(4): 10/31(金)11:37:23.76 ID:0+I+3mSE(2/18) AAS
つづき
math_jinさん 情報早いな
外部ﾘﾝｸ:x.com
math_jin
ICM2030招致委員会
ICM2030 (International Congress of Mathematicians 2030) の招致・開催に向けて設置されました．本ページでは招致に向けた活動について情報共有を行います．
外部ﾘﾝｸ:mathsoc.jp
午前11:26 · 2025年7月30日
(参考)
応援スレ67 2chｽﾚ:math
省15
63(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/03(月)09:50:23.76 ID:RGcnI1b5(2/10) AAS
>>61
>>また、同値類R/Qの代表を考えることは可能である
>選択公理なしにそんなことは不可能だがな
あたま悪そうだな ；ｐ）
人は、ZFCの外で思考している（思考できる）
それに加えて、人の思考は 一階述語論理に縛られない
だ か ら、一階述語論理ZFに加えて「選択公理あったらいいね」が
考えられるんだよ
バカだな （＾＾
138(1): 11/04(火)09:18:24.76 ID:HNB9tftr(3/4) AAS
＞中国は少しでも隙を見せれば平気で侵略してくる基地外国家やぞ
妄想
中国が日本を侵略したことはない
島なんでさすがにめんどくさすぎる
元寇があるだろう、というが、元はモンゴル 中国じゃない
遊牧民なんて、もう泥棒みたいなやつらだから そりゃどこでも攻めてくる
でも中国人は農耕民なんで、そんなやたらめったら泥棒するほど暇じゃない
日本は明治維新以降、朝鮮も中国も侵略したけどな
さすがに頭オカシイ
177: 11/04(火)12:44:40.76 ID:Afdq/ab6(15/32) AAS
>>171
だからー 口だけじゃなく行動しような
おまえが国連トップになって国連軍を編成して日本に宣戦布告して日本を壊滅させて日本解体を実行しろよ
まさかできもしない夢を見てんのか？ どこの乙女だよｗ
194: 11/04(火)13:13:46.76 ID:Afdq/ab6(25/32) AAS
核廃絶が実現できるならこんな素晴らしいことは無い
ユートピアが実現できるならこんな素晴らしいことは無い
左翼はいつも夢物語を夢見て現実を見ないｗ
266: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)13:56:24.76 ID:K/Lr81ky(11/12) AAS
>>252 補足
でも、私は 高階論者でして
「人の思考は 一階論理に縛られない」と思っています （＾＾
そういう意味で、
↓
でも、私は 高階論者でして
「人の思考は 一階論理に縛られない」と思っています （＾＾
そういう意味で、”Finite-Order Arithmetic”使えば
フェルマーの最終定理証明に
グロタンディーク宇宙は 不要では？
省1
272: 11/05(水)14:17:33.76 ID:RVein8hf(2/2) AAS
「可換環論における逆数学」
外部ﾘﾝｸ:www.waseda.jp
「可算な一般の可換環のクラスについて，その理論を展開するには，
算術的集合存在公理（体系ACA）が必要かつ十分であることが示唆されます．
一方，より狭いアルティン環のクラスの理論については，
より弱い公理である弱ケーニッヒの補題（体系WKL）が必要かつ十分であることが
C. Conidisにより示されています．」
320: 11/06(木)00:20:13.76 ID:24EBkQLZ(2/2) AAS
ちなみに wikipedia の述語論理の項
述語論理（じゅつごろんり、英: predicate logic）とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、多ソート論理（英語版）、無限論理などが含まれる。...
どこにも一ミリも「考え方」「思考法」などと読める部分などない。本文読む気がないのか、読んでもわからんのか
352(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)11:40:52.76 ID:9MLt2+C6(7/17) AAS
>>326-330
；ｐ）；ｐ）；ｐ）；ｐ）；ｐ）
>一階述語論理は、アリストテレス論理学よりは強力
まず、人は ”一階述語論理”そのものでは、思考していない！
古代ギリシアの昔からね それを認めよう
次に、一階述語論理が向いている分野が 沢山ある
特に 理系の分野な。だが、高木先生は 数学研究は 演繹より帰納だと言った
演繹は、一階述語論理かもしれないが
帰納は、一階述語論理は むかないだろう
そして、人生においては 理性で割り切れない 分野があることも事実だろう
省18
432(1): 11/07(金)17:39:57.76 ID:OlPvA04S(3/5) AAS
>>428
>望月の元論文は数百ページあって ショルツエ氏の文書は たった10ページだよ
>単純にページ数の比較で、大幅な”simplifications”であることは 明白です
まるで意味をなしません
全部を否定しているのではないからです
たった10ページの非難も克服できないのがIUTサイドということになり
大いに分が悪い状況なのですよ
489: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)10:09:42.76 ID:P9qVEF++(6/25) AAS
>>483
>MacLaneの"Homology"を読めば圏論的な思考のまとめ方が
>どんなものかが理解できるように思う
巡回ご苦労さまです
御大は、東大入学早々に
MacLaneの"Homology"を読んだとかいう ウワサですね
びつくりです （＾＾
564(1): 11/09(日)09:14:00.76 ID:iDJjSeAH(1/4) AAS
ギャップというよりそもそも数学の文章として成立するための基礎論すらない。数学的証明に変換する変換先が定義されてない。どこそこわからないんじゃなくて丸ごと全部変換できない。
583(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/09(日)10:58:04.76 ID:QrKJGO9s(8/26) AAS
>>548-549
>トロン万歳！ リニア万歳！ 天皇陛下万歳！
>トロンと坂村健の嘘
>外部ﾘﾝｸ[html]:ikedanobuo.livedoor.biz
>>556
トロン → アイデアは良かったが、実現に至らず
(引用終り)
"トロン" みたいな話は、IT業界には山ほどある（敗れ去ったもの話 IT界の時間の流れは速い）
例えば、OSの歴史では いまLinuxが標準になってしまった
また、スマホも Androidは、Linuxカーネル（アップルiOSは BSD系UNIXらしい 下記）
省16
750(1): 11/11(火)06:51:05.76 ID:5zG2VQDm(1/9) AAS
>>749
それは嘲笑が目的であるということ？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s