[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 71 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 71 http://rio2016.5ch.net/test/read.cgi/math/1713536729/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
59: １３２人目の素数さん [] 2024/04/23(火) 06:49:49.91 ID:hJsMQbos >>55 >この定理があるかぎりヒルベルトの目論見は失敗する、もちろんいわゆる“排中律”をあきらめて“真”でも“偽”でもない命題を認めればよいが、これまでの数学ではずっと排中律は使ってきたしこれからも使いたい、どうするか。 排中律の扱いについて １）直観主義論理が、ハイティング代数 ラムダ計算 カリー＝ハワード対応などで復権（計算機のプログラムは有限の世界） ２）圏論では、排中律は成り立つとは限らない ３）量子論理でも、排中律は成り立つとは限らない (参考) https://ja.wikipedia.org/wiki/%E6%8E%92%E4%B8%AD%E5%BE%8B 排中律 https://en.wikipedia.org/wiki/Law_of_excluded_middle Law of excluded middle https://ja.wikipedia.org/wiki/%E7%9B%B4%E8%A6%B3%E4%B8%BB%E7%BE%A9%E8%AB%96%E7%90%86 直観主義論理 直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。 意味論 ハイティング代数意味論 ラムダ計算 カリー＝ハワード対応はIPCと直和と直積を持つ単純型付きラムダ計算との間に拡張できる。[6] https://researchmap.jp/hisashi-aratake/presentations/41535386/attachment_file.pdf 圏論的論理学の拡がり 2023/02/23 — ▷ 排中律や選択公理は成り立つとは限らない ... 圏論的論理学 Kripke–Joyal 意味論 Heyting 値意味論 ... 理論の双圏と分類トポス. 論理と圏の等価性. 現状で ... https://www.jstage.jst.go.jp/article/jpssj1968/14/0/14_0_21/_pdf 量子論理は論理か J-Stage 藤田晋吾 著 · 1981 — (4),(5)は. それぞれ排中律 と分配律. に対応する意味論的原理であるが,古典論理では真理表を考えれば分 るように. これら二つともが前提 される.と ころが量子論理で http://rio2016.5ch.net/test/read.cgi/math/1713536729/59
67: １３２人目の素数さん [sage] 2024/04/23(火) 08:19:39.91 ID:nfeXM0n/ やっぱり iut スレはあかんな こんなゴミレスしかつかん http://rio2016.5ch.net/test/read.cgi/math/1713536729/67
138: １３２人目の素数さん [] 2024/04/25(木) 11:15:22.91 ID:/nzNNLOU >プロは基本がしっかりしている ただのクソ爺の重箱隅ほじりだろｗ 環だったらそもそも乗法の逆元が常に存在するわけじゃないから 逆行列云々なんて問題にもならん そこに思い至らない１一匹が愚かなド素人 クソ爺はただのイチャモン爺 http://rio2016.5ch.net/test/read.cgi/math/1713536729/138
189: １３２人目の素数さん [sage] 2024/04/27(土) 14:20:37.91 ID:8SWx+GKu なんかつまらん言い訳長々書いてる奴はほっといて 元教授が環上の行列を持ち出したのは どっかの誰かの零因子ではないは勿論 よく言う行列式が零でないも核心ではなく 実は行列式が単元（可逆元）である事が本質だ と言いたかったのかなと考えた 可換環で零元以外は単元という性質を持てば体だから http://rio2016.5ch.net/test/read.cgi/math/1713536729/189
196: １３２人目の素数さん [sage] 2024/04/28(日) 05:46:11.91 ID:9CYAssOL >>195 言ってることがわかった？そりゃ結構 でも肝心なのはなぜ成り立つかだろ？ 余因子行列で言えることに気づかなかった？そりゃ残念 でも大事なのは自分の無思索を認めることだろ？ 検索結果を鵜呑みにすればいいなんて 安易な行為を続けても馬鹿のままだぜ 自分でも気づいてるんだろ？ 素直に認めて改めなよ 工学部卒の数学落伍者さんよ http://rio2016.5ch.net/test/read.cgi/math/1713536729/196
253: １３２人目の素数さん [] 2024/05/03(金) 20:40:39.91 ID:ygS3n9Mw >>251 >このabc喜劇において与えられた役割を立派に果たすがよい おお 良いことを 望月氏も、2003年ころは 宇宙に夢をみて a∈aに妄想をたくましくしていたが 出来上がった理論は、結構ZFCGの中におさまったらしい しかし、若い頃（20年前）の余韻さめず、IUT理論と名付ける 若手Z氏がもう一人の数学者と来日し、討議したのち 返信で相手を罵倒する悪いクセが出た（joshi氏にも罵倒癖でた。なんだかな） かっかかっかしたZ氏は、意趣返しのレビューを出す大失態（若気の至り） 一方、望月氏にはフランス国から強力な援軍が参戦 米国から、ケドラヤ氏やフロリアン・ポップ氏も参加 Stixもどうも宗旨替えをした感あり はてさて、この結末やいかに！ http://rio2016.5ch.net/test/read.cgi/math/1713536729/253
305: １３２人目の素数さん [sage] 2024/05/05(日) 12:33:22.91 ID:IUMhpT/C >>303 参考になぞなるわけないやろ無能w 共通の単語があるかないかしか分からんゴミwww http://rio2016.5ch.net/test/read.cgi/math/1713536729/305
353: １３２人目の素数さん [] 2024/05/06(月) 16:25:55.91 ID:Co8XPBRF >>351-352 妄想は、ヨシコさんｗ １）いまどき、論文提出から査読、出版まで数年かかる IUTの後継 5人論文（下記）は 2022年だから、これの引用論文が出版されるのは、これからですよ ２）”自国自慢”というが、大谷が実際にホームランを打って活躍しなければ 自国自慢もクソもない 望月先生も、5人論文でABC明示公式の特大ホームラン打ちました！！ ヾ ^_^♪ [笑] (参考) https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96 宇宙際タイヒミュラー理論 2022年7月、楕円曲線の 6 等分点を用いて、論文中のディオファントス的不等式中の定数の数値を明示したもの（非明示的な「定数」が現れない）に変更した、ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月新一らの査読論文が、東京工業大学が編集する数学論文誌Kodai Mathematical Journalに掲載された[15][16]。この結果により、宇宙際タイヒミュラー理論によるフェルマーの最終定理の新たな証明[17]を得たとされる。 [16]^ a b Mochizuki, Shinichi; Fesenko, Ivan; Hoshi, Yuichiro; Minamide, Arata; Porowski, Wojciech (2022-06). “Explicit estimates in inter-universal Teichmüller theory”. Kodai Mathematical Journal 45 (2): 175-236. doi:10.2996/kmj45201. ISSN 0386-5991.(Paid subscription required要購読契約) http://rio2016.5ch.net/test/read.cgi/math/1713536729/353
467: １３２人目の素数さん [sage] 2024/06/14(金) 16:51:58.91 ID:CKJYbCe1 立原のあの文章は失敗じゃないか 望月と同じく思考のやべぇ状態のやつだけが無理やり納得してるんじゃないかって不安になるんだけど あれ英語にしたら望月学派の海外での立場が悪くなるのを補完するだけだと思うよ 修士レベルの整数論でもわかるというなら海外の超天才研究者でもわかるんじゃないかな http://rio2016.5ch.net/test/read.cgi/math/1713536729/467
859: １３２人目の素数さん [] 2024/07/15(月) 23:32:05.91 ID:bH7Pp22i >>514 俺は記述のとおり そこから減らないな 実際イケメンとかわいい女選手増えてきたから http://rio2016.5ch.net/test/read.cgi/math/1713536729/859
964: １３２人目の素数さん [] 2024/08/21(水) 21:52:51.91 ID:yMm8WlSe ああ 昨日買い増ししたというネットニュースを見て こんなに話を議論してたら本人たち勘違いアイドルに楽曲定期しなかった http://rio2016.5ch.net/test/read.cgi/math/1713536729/964
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
2.252s*