[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
674: 2022/04/28(木)02:54 ID:b/M5qbNJ(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を解く解決策で導入した部分で肝であることが分かる。
Ｎスぺが「これまでにない数学への進化」が含まれたところで論議が起きており、この新しい数学の解説が求められるに対し、ANDとORの論文が回答であるとした。
だから分かり易くなるようにアブストラクトを付けたのではないのかな。
どこが乗法の情報で、どこが加法の情報かを書き加えて、
省1
676(1): 2022/04/28(木)07:36 ID:uVT9WkdK(1/5) AAS
>>675
あれ、ロジシャンには通じへんで
数学者は論理もわからんのかいな
物理学者が数学わからへんのと全く同じやな
677: 2022/04/28(木)15:07 ID:90oIbXEw(1/4) AAS
>>676
>あれ、ロジシャンには通じへんで
>数学者は論理もわからんのかいな
数学者≠ロジシャンで、良いんじゃない？
下記によれば、論理学者(＝ロジシャン)らしいね
日本人では、「竹内外史、前原昭二、廣瀬健」3人のみ
貴方は入ってないよね
外部ﾘﾝｸ:ja.wikipedia.org
Category:論理学者
論理学者 (ロジシャン)に関するカテゴリ。
省24
678(1): 2022/04/28(木)15:25 ID:90oIbXEw(2/4) AAS
>>669
>いや、十分に可読な証明がないという点でファルティングスもショルツも一致してるだろ
同意。664です
・ファルティングスもショルツも、証明と称する文書はある
・ファルティングスは、「証明が可読でない（おれには読めない）。だから、正しいとは認められない。師匠のオレに読めないならば、殆どの人には読めない。だから、（証明とは別に）可読な説明いる」
（なお、BuzzardのICM22講演 >>657 「証明でたけど、みんな分からん言っている。どうすんの？」ｗ）
・ショルツ氏、「おれの見解はSS文書で示した。おれの解釈では、証明とは認められない」
・英エクスター大教授モハメド・サイディのレビュー >>567「望月IUT論文正しい （ショルツ氏のレビューもSS文書も踏まえての結論です）」
まあ、なので
いま必要なのは証明ではなく（証明はもうある）
省3
679(6): 2022/04/28(木)16:37 ID:90oIbXEw(3/4) AAS
>>667
>余談ですが新論文のアブストラクトなどで排他的論理和が無限に連なっているアナロジーを説明していますが、
>普通の命題論理では論理和と論理積は無限に続くことが許されないので自明ではないんですよね
このスレは、初学者も来るかもしれないので、突っ込んでおく
「普通の命題論理では論理和と論理積は無限に続くことが許されない」
は、”普通”定義次第とは思うが、無限集合を扱う普通の代数学などでは、違うんじゃね？
・下記 高等学校数学A/集合と論理にあるように、論理の「かつ」「または」は、集合演算の”P∩Q”と”P∪Q”とに翻訳できる
・では、集合演算の”P∩Q”と”P∪Q”は、有限個に制限されるのか？
・すぐ浮かぶのは、位相空間論における開集合の議論で、下記”「開集合の任意個の合併は開集合である」「開集合の有限個の交わりは開集合である」”
とあるように、前半の「開集合の任意個の合併は開集合である」は、無限個を許す。後半の”有限個の交わり”は、無限個の場合”開”でなくても良いと読む（つまり、集合演算では、無限個を許すが、結果が”開”でなくても良い（連続濃度も可。普通は可算公理を入れるけど））
省15
680(1): 2022/04/28(木)16:41 ID:90oIbXEw(4/4) AAS
>>679
つづき
外部ﾘﾝｸ:ja.wikipedia.org
集合論において、数学者のツェルメロとフレンケルにちなんで名付けられたツェルメロ＝フレンケル集合論は、ラッセルのパラドックスなどのパラドックスのない集合論を定式化するために20世紀初頭に提案された公理系である。歴史的に議論を呼んだ選択公理（AC）を含むツェルメロ＝フレンケル集合論は公理的集合論の標準形式であり、今日では最も一般的な数学基礎論となっている。選択公理を含むツェルメロ＝フレンケル集合論はZFCと略される。Cは選択(Choice)公理を[1] 、 ZFは選択公理を除いたツェルメロ(Zermelo)＝フレンケル(Fraenkel)集合論の公理を表す。
ツェルメロ＝フレンケル集合論は、単一の原始概念の形式化、すなわち整礎的純粋（英語版）集合の概念の形式化を目的としているため、議論領域内のすべての対象(entity)はそのような集合となる。したがって、ツェルメロ＝フレンケル集合論における公理は純粋集合（英語版）のみに言及し、そのモデルにurelements（英語版）（集合の元であって、それ自体が集合ではないもの）が含まれないようにしている。さらに、真のクラス（それに属する元が共通してもつ属性によって定義された数学的対象の集まりであり、集合とするには大きすぎるもの）は、間接的にしか扱えない。具体的には、ツェルメロ＝フレンケル集合論では、普遍集合（すべての集合を含む集合）の存在も無制限の理解（英語版）も許容しないため、ラッセルのパラドックスを回避できる。フォン・ノイマン＝ベルナイス＝ゲーデル集合論（英語版）（NBG）は、ツェルメロ＝フレンケル集合論の保存拡大としてよく用いられており、真のクラスを明示的に扱うことができる。
ZFCは一階述語論理における1ソート理論である。
2.7 7. 無限公理
(引用終り)
以上
681: 2022/04/28(木)18:25 ID:0ksV2Oax(1) AAS
は〜。『Essential Logical Strucrture』はブログの内容を
マシマシにしたものを載っけて140ページになってんのか。
ますますカルト化っぽいっすよ。
謝辞に名前を挙げられた人たちはどう思ってんだろ？
アブストラクトのdisplayed formulaも意味不明っす。
X = Y ⇒ Z は普通の人なら 「X=Y（が真）」⇒「Z(が真)」と
読むんだろけど、どうもそうじゃなさそうだね。
中身もXORが無限個繋がっとるし。
ここで知ったかぶりしてる人が解説してくれるんかね。
682: 2022/04/28(木)18:38 ID:uVT9WkdK(2/5) AAS
>>679
>このスレは、初学者も来るかもしれないので、突っ込んでおく
このスレは、無学者が立てたと専らの噂やで
>「普通の命題論理では論理和と論理積は無限に続くことが許されない」
>は、”普通”定義次第とは思うが、
無学者は∃も∀も知らんらしいから教えとくけど
”無限論理和”と”無限論理積”は
∃ｘＰ（ｘ）と∀ｘＰ（ｘ）で表すんやで
>無限集合を扱う普通の代数学などでは、違うんじゃね？
命題論理なら和積標準形を積和標準形に直すのは力技でできるけど
省3
683: 2022/04/28(木)18:40 ID:uVT9WkdK(3/5) AAS
682は一か所間違えたんで、出し直し
>>679
>このスレは、初学者も来るかもしれないので、突っ込んでおく
このスレは、無学者が立てたと専らの噂やで
>「普通の命題論理では論理和と論理積は無限に続くことが許されない」
>は、”普通”定義次第とは思うが、
無学者は∃も∀も知らんらしいから教えとくけど
”無限論理和”と”無限論理積”は
∃ｘＰ（ｘ）と∀ｘＰ（ｘ）で表すんやで
>無限集合を扱う普通の代数学などでは、違うんじゃね？
省4
684: 2022/04/28(木)18:43 ID:uVT9WkdK(4/5) AAS
>>679
＞公理で定められた各集合の演算は、もともとその回数は無制です
「無制」なんて日本語はじめて聞いたわ
「無姓」なら知っとるけど
685(1): 2022/04/28(木)18:49 ID:uVT9WkdK(5/5) AAS
>>678
＞証明が可読でない
それ証明ちゃうやんｗ
「証明せよ」って問題で、学生が俺様証明とか書くけど
全然証明にもなんにもなってないってようあるこっちゃ
望月新一の証明も、ショルツとかファルティングスから見たら
そんな感じちゃうんけ？ 擬証明ちうんかな？証明モドキ
なんか日本人の中には望月新一がＡＢＣ予想証明したって
自慢したいヤツがいるみたいやけどひっくり返されたどないすんねん
道に落ちてるワケワカラン喰い物拾うて食うたらハラ壊すで
省1
686: 2022/04/28(木)20:02 ID:2eKniQGM(1/4) AAS
Cor 3.12の証明は出来ていないと思われる
それが出来ているならそもそも認められている
アイデアが求められるのは、証明出来ていないものは理解できないコンピュータと異なって、人間には埋めることができるから、証明できていないものを出来る形に汲み取ろうとしているだけ
687(3): 2022/04/28(木)20:05 ID:2eKniQGM(2/4) AAS
別スレに貼ってあったが、このショルツも参加するトークセッション「数学の形式化 コンピュータはいつ証明を行うのですか？」を、
日本の数学者はきちんと見て勉強したほうがいいんじゃないか？ドイツ語っぽいが
外部ﾘﾝｸ:hcm.uni-bonn.de
(Google翻訳、都度割愛)
今日、研究コミュニティは、証明が正しいかどうか、および数学的定理がピアレビュープロセスによって、つまり最終的にはコンセンサスによって証明されたと見なされるかどうかを決定します。原則として、誤った評価の可能性があります。
このような証明は、コンピューターによって正しいかどうかをチェックできます。
これが標準になることはもはやユートピア的ではないようです。
「液体テンソル実験」で示したように、非常に複雑なステートメントでも形式化できるようになりました。ペーター・ショルツェはこれを彼の同僚に挑戦として提示しました。パネルディスカッションで結果を報告します。
688: 2022/04/28(木)20:07 ID:2eKniQGM(3/4) AAS
>>687
ちなみにこれ明日だな
youtube liveでも見られるらしい
689(1): sage 2022/04/28(木)20:19 ID:TszF1sFA(1) AAS
＞証明出来ていないものは理解できないコンピュータ
コンピュータは理解するの？
フェルマー最終定理の証明とか。
690: 2022/04/28(木)20:35 ID:2eKniQGM(4/4) AAS
>>689
もちろんするが
691(1): 2022/04/28(木)20:43 ID:CaxFsI+g(1) AAS
形式化って門外漢にはわかりにくいというか
手頃な参考書的なものはあまりないよな
まあleanだとpdfのマニュアルなんかはあるけど
692: 2022/04/28(木)20:48 ID:Pij0bwl1(1) AAS
信州大かどっかがcoqのマニュアル作ってた
pdf公開してたはず
693(5): 2022/04/28(木)21:10 ID:2nf0w5TH(1) AAS
>>679 訂正と補足
なんか、ワケワカさんが、
無闇に突っ込んで自爆していますねｗ
まず訂正
・実際、下記のZFCにあるように、公理で定められた各集合の演算は、もともとその回数は無制です
↓
・実際、下記のZFCにあるように、公理で定められた各集合の演算は、もともとその回数は無制限です
さて、念押しですが ”条件 p,q を満たすものの集合をそれぞれ P,Q とする”とき
条件「pかつq」および「pまたはq」をあらわす図は、それぞれ次図のようになる。
（再録）
省23
上下前次1-新書関写板覧索設栞歴
あと 309 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s