Inter-universal geometry と ABC予想 (応援スレ) 74 (969ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
782: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/06(土) 10:17:55.24 ID:JgP2aXhR つづき (参考) https://ja.wikipedia.org/wiki/%E9%9D%9E%E6%9C%89%E5%9F%BA%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96 非有基的集合論 非有基的集合論は、集合がそれ自身の要素であることを認め、自己属集合（ある集合が自分自身の要素になっている集合）を許容する集合論である。 概要 数学で一般的に用いられる公理論的集合論は、集合の要素は集合自身を含まないという公理（正則性公理、基礎の公理、有基性公理とも呼ばれる）に基づいている。このため、自己参照的な概念のモデル化に用いることは困難だった。これに対して、自己属集合を許容する非有基的集合論は、自己参照や無限遡及を自然に扱うことができるために、計算機科学（プロセス代数と最終意味論）、言語学と自然言語意味論（状況意味論）、哲学（うそつきパラドックスに関する研究）[1]、非標準解析における非終了計算プロセスの論理モデリング、複雑系科学などに応用されている[2]。非有基的集合論は、集合論における伝統的な基底主義、つまり集合が空集合から階層的に構築されるという考え方に挑戦するものである[3]。 非有基的集合を扱うための公理系としては、Forti-Honsellの反基礎の公理（AFA）がよく知られている 歴史 応用が盛んとなったのは、グラフを用いることで有基性公理に基づく集合（well-founded set）とそれに基づかない非有基的集合（non-well-founded set）の両方を許容するHyperset論[6]をピーター・アクゼルが1988年に発表した以降のことである (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1755784703/782
788: １３２人目の素数さん [] 2025/09/06(土) 15:12:19.81 ID:DLHtgH0o >>781 >一元体 >>782 >非有基的集合論 そんなのいくらコピペしてもIUTは正当化できないよ 高卒素人 ◆yH25M02vWFhP >>783 君 そんな調子だと 兵庫県知事選でうっかり斎藤元彦に投票したり、 参院選でうっかり参政党に投票したりしたんだろ？ http://rio2016.5ch.net/test/read.cgi/math/1755784703/788
793: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/06(土) 19:34:03.34 ID:JgP2aXhR >>788 (引用開始) >>781 >一元体 >>782 >非有基的集合論 そんなのいくらコピペしてもIUTは正当化できないよ (引用終り) くさくない？ 言ってることがくさくない？ くさいよねｗ ；ｐ） ”IUTは正当化できないよ”って なに？ おれが IUTを正当化しなければならない必要は 全くない！ それは ”玉川安騎男先生 日本数学会 秋季分科会 総合講演 9月17日 遠アーベル幾何学の過去・現在・未来 >>727”の役割だからｗｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1755784703/793
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s