[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 23 (1002ﾚｽ)
Inter-universal geometry と ABC予想 23 http://rio2016.5ch.net/test/read.cgi/math/1515202641/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
746: １３２人目の素数さん [sage] 2018/01/18(木) 23:52:01.04 ID:jvPO2phr >>744 レスありがとう 正直言ってIUTTはよくわからんので、↓のHPの以下の指摘・意見はどうなんだろう？ ttps://www40.atwiki.jp/tock_t9710/pages/1593.html ----------引用開始---------- 以下の問題点が指摘されている。 ・同じ言語上の二つの理論において、保存的拡大という用語を使用している。特にZFCGはZFCの保存的拡大ではない。 ・ZFCは無限個の公理からできている。仮に有限個の公理型に分類しても定式化の仕方によるので9個とは言い切れない。 これらは細部や用語上の問題ではなく、一階述語論理などの基本的な性質に関連するため、Inter-universal Teichmuller Theory IV の Section3 は集合論や数理論理学における文脈では意味をなさない主張になっており、著者が数理論理学について理解をしていない 可能性があるという意見がある。（ただし論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ないとみられている。） ---------引用終了----------- http://rio2016.5ch.net/test/read.cgi/math/1515202641/746
749: １３２人目の素数さん [] 2018/01/19(金) 01:09:18.39 ID:52lt0jRC >>746 そんなサイトあるんだ 正直言ってあまり断言するようなことを言うべき段階ではないけど 絶対遠アーベル的な観察から数学の基礎として論じるには早まったという可能性はあると思う しかし、見るところその二点は例のセクションの思想に対し完全に致命的な議論には見えない ZFCの公理が無限であるというのも、ユーザである非論理学者と論理学者では 捉え方が違うだろう。強いて言えば、もう少し「直観的」な階層性の整備を論じているのが 論理学者的には厳密性において違和感を与えているように見える http://rio2016.5ch.net/test/read.cgi/math/1515202641/749
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.030s