[過去ログ]
Inter-universal geometry と ABC 予想 46 (1002レス)
Inter-universal geometry と ABC 予想 46 http://rio2016.5ch.net/test/read.cgi/math/1585967607/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
151: 132人目の素数さん [sage] 2020/04/05(日) 00:27:37 ID:8Izn6abD >>145 包括していて、なおかつ共通語を持たないと別々の体系を位置付けられない。原理から言って 相対性理論とニュートン力学では幾何学的な自由度からして違う。自由度が高いと表現力もより高い 似たような事は形式言語でも当然ある 実際、抽象的な言語ほど別の具体的な高レベル言語をコードしてシミュレートできる しかしそういう事は案外一般理論としてはあまり考えられてない問題かもしれないし、かなり深い問題だろうね 数学をAI化するのと数学の一部を形式化するのはそういう意味でも全然レベルが違う問題 http://rio2016.5ch.net/test/read.cgi/math/1585967607/151
163: 132人目の素数さん [] 2020/04/05(日) 01:00:42 ID:8Izn6abD >>157 あーなるほど、あなたはしかし公理と数学的理論や対象をちょっと混同してますね 普通の数学の理論で基本公理系の拡張自体を問題にすることは滅多にありませんよ しかし、抽象化が本質的に重要なのは確かです 例えば原色を混ぜて色んな色を作るとして、その調合の仕方をレシピにできたら各々の色を理解できますよね つまり、「原色を調合する仕組み」は抽象化で、具体的な対象は各々の色です これをちゃんと理解したら理論ができる、というのは全くその通り しかし、客観的には明らかに説明に成功してませんね。それしか言えませんねw http://rio2016.5ch.net/test/read.cgi/math/1585967607/163
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.630s*