[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
667(4): 2022/04/27(水)21:35 ID:UAVjJ+6B(1) AAS
余談ですが新論文のアブストラクトなどで排他的論理和が無限に連なっているアナロジーを説明していますが、
普通の命題論理では論理和と論理積は無限に続くことが許されないので自明ではないんですよね
675(1): 2022/04/28(木)06:22 ID:7u46cckq(1) AAS
>>667
Wikiの文献1。
宇宙際タイヒミュラー理論（うちゅうさいタイヒミュラーりろん、英語: Inter-Universal Teichmüller Theory、略称: IUT）は、数学者望月新一によって開発された、数論におけるさまざまな予想、特にABC予想を解く要件[1]の考察により、遠アーベル幾何などを拡大した圏の宇宙際 (IU) 幾何を構想した数学理論である[2]。
＞考察で得た「ABC予想を解く要件」と書かれている。
2008年の文献1だから新論文の後付けはでなくれ、着想のフロー図は、
スタートの「ABC予想を解きたい」から始まるが、
下波線で「重要なポイント」となっており、「通常の集合論を拡大する必要がある」として、ABCを解く解決策で導入した部分で肝であることが分かる。
省4
679(6): 2022/04/28(木)16:37 ID:90oIbXEw(3/4) AAS
>>667
>余談ですが新論文のアブストラクトなどで排他的論理和が無限に連なっているアナロジーを説明していますが、
>普通の命題論理では論理和と論理積は無限に続くことが許されないので自明ではないんですよね
このスレは、初学者も来るかもしれないので、突っ込んでおく
「普通の命題論理では論理和と論理積は無限に続くことが許されない」
は、”普通”定義次第とは思うが、無限集合を扱う普通の代数学などでは、違うんじゃね？
・下記 高等学校数学A/集合と論理にあるように、論理の「かつ」「または」は、集合演算の”P∩Q”と”P∪Q”とに翻訳できる
省18
705(1): 2022/04/29(金)10:09 ID:b8gsErp4(3/15) AAS
>>694
>とりあえずルベーグ積分論あたりから勉強しなおしたら？
>許す場合も許さない場合もあるから。
ありがと
しかし、論点ずれてる
1）まず、もともとは、>>667 「普通の命題論理では論理和と論理積は無限に続くことが許されないので自明ではないんですよね」だった
2）>>679 の「高等学校数学A/集合と論理」にあるように
省15
709(1): 2022/04/29(金)10:33 ID:b8gsErp4(5/15) AAS
>>700
>そうしないと、集合論を一階述語論理で記載できませんよ
良いんじゃね？
そもそも、>>667 「普通の命題論理では論理和と論理積は無限に続くことが許されないので自明ではないんですよね」
は、一階述語論理という しばりないよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.211s*