[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 46 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
208: 2020/04/05(日)10:55 ID:cTzpxuVq(8/15) AAS
>>197
意味分からん
・ここにいる99％の人が、望月ＩＵＴは、”野矢茂樹の論理学”（>>193）とは無関係と理解しているだろうよ
・そして、”野矢茂樹の論理学”は、哲学の論理学であって、望月ＩＵＴの現代数学の論理学とは違うよ
・現代数学の論理学において、望月ＩＵＴと絡んでくるのは、第一に圏論的視点でしょ
・あと、ラベルという識別問題があって、無限の扱いとか、一階か高階かみたいなからみとかな
（望月先生自身は、∧と∨との取り違いで説明しているが）
・そこらは、”野矢茂樹の論理学”などの哲学の論理学では、決定的に欠けていると思うよ
スレチなので、これ以上は議論しない
上下前次1-新書関写板覧索設栞歴
あと 794 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.009s