[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
921(1): 2022/05/05(木)17:45 ID:1S3b5+W3(1) AAS
>>916
＞宇宙は宇宙、数学は数学
＞ショルツェが言ってるのは
＞結局そういうことでは？
まさかショルツェが
＞宇宙は宇宙、数学は数学
と本当に言ったの？
数理論理学の「宇宙」の用語がわかってないレベルなの？
＞数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。
特定の状況において考察される実体のすべてを元として含むような類のこと、を宇宙の用語で呼ぶと定めた、ということだけですね。
>>918氏の言われるように、＞宇宙って言っても例えだし、
別にそれを他の呼び方で呼べば、違う名称だったのだろう。
あとはネーミングのセンスだけど、
望月は、宇宙は自分のネーミングしたのではなく、前からあるのを使ったと言っているので、
宇宙と言う用語が変だと言っても、ネーミングした本人でないと言っているのに、拘っても仕方ない。
上下前次1-新書関写板覧索設栞歴
あと 81 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.019s