集合指向(set-intensive)ではない数学 (11レス)
集合指向(set-intensive)ではない数学 http://rio2016.5ch.net/test/read.cgi/math/1763305413/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
1: 132人目の素数さん [] 2025/11/17(月) 00:03:33.83 ID:tv/rEZnT 現代数学の研究対象は、何らかの公理をみたす集合として定式化される しかし、オイラーなどの時代に遡ってみれば、数学の研究対象は個別の数や方程式だった いまさら、集合以外の定式化はできないのだろうか? http://rio2016.5ch.net/test/read.cgi/math/1763305413/1
2: 132人目の素数さん [] 2025/11/17(月) 01:46:05.40 ID:H6cLI1J9 作用か http://rio2016.5ch.net/test/read.cgi/math/1763305413/2
3: poem [] 2025/11/17(月) 02:08:31.65 ID:cPHXoseb パラドックス系がパラドックス解消して公理になる場合も何らかの集合関係なんだろうけど http://rio2016.5ch.net/test/read.cgi/math/1763305413/3
4: 132人目の素数さん [] 2025/11/17(月) 11:22:13.72 ID:iLzSRPlS 無理だろ 極限とか数列の性質じゃなくて、それが属している空間の性質だし http://rio2016.5ch.net/test/read.cgi/math/1763305413/4
5: 132人目の素数さん [sage] 2025/11/17(月) 11:40:24.06 ID:hqUUL6t+ 物理、工学じゃん http://rio2016.5ch.net/test/read.cgi/math/1763305413/5
6: 132人目の素数さん [] 2025/11/17(月) 14:44:31.33 ID:ZJf5Avvl pを素数として級数 s_n = 1 + p + p^2 + ... p^n の収束/発散はs_nだけではなく、s_nが属している位相空間に依存する。 多項式 f(x) = x^2 + 1 が既約かどうかはfだけではなく、fが属している環に依存する。 http://rio2016.5ch.net/test/read.cgi/math/1763305413/6
7: 132人目の素数さん [] 2025/11/18(火) 15:53:04.00 ID:OPaRqn61 $\mathbb{F}_1$ の探求は、数学の公理そのものを書き換え、「集合と作用」という旧来の基礎を、より柔軟な対象(例えばモノイドや圏)で置き換える試みである 2。その究極的な目的は、整数論におけるリーマン予想の証明 2 や、代数幾何学の「絶対的(Absolute)」な基礎付け($Spec \mathbb{Z}$ を $\mathbb{F}_1$ 上の曲線と見なす 2)を提供することにあると信じられている。 http://rio2016.5ch.net/test/read.cgi/math/1763305413/7
8: 132人目の素数さん [] 2025/11/18(火) 15:56:59.54 ID:OPaRqn61 したがって、BitNet b1.58 が採用した計算モデルは、数学的には「$\mathbb{F}_1$ 上の基点付き集合の線形代数」の実装にほかならない。 http://rio2016.5ch.net/test/read.cgi/math/1763305413/8
9: 132人目の素数さん [] 2025/11/18(火) 19:58:10.27 ID:uxujt4Sn 集合指向ではない数学は結局、集合が元の集まりであることを忘れて、それ自体をプリミティブな対象として扱うというだけだ つまり、非集合指向は集合指向ということ http://rio2016.5ch.net/test/read.cgi/math/1763305413/9
10: 132人目の素数さん [] 2025/11/18(火) 23:41:04.39 ID:W824nrvo 実数の連続性をデデキント完備性と考えるならば集合が必要だが、同値な条件に非集合論的なものは色々ある そういった方向でいいならある程度できるだろう http://rio2016.5ch.net/test/read.cgi/math/1763305413/10
11: 132人目の素数さん [] 2025/11/19(水) 11:01:23.24 ID:yPidUt5I >>10 たとえば? http://rio2016.5ch.net/test/read.cgi/math/1763305413/11
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.004s