集合指向(set-intensive)ではない数学

集合指向(set-intensi ..

2:１３２人目の素数さん
25/11/17 01:46:05.40 H6cLI1J9.net
作用か

3:poem
25/11/17 02:08:31.65 cPHXoseb.net
パラドックス系がパラドックス解消して公理になる場合も何らかの集合関係なんだろうけど

4:１３２人目の素数さん
25/11/17 11:22:13.72 iLzSRPlS.net
無理だろ
極限とか数列の性質じゃなくて、それが属している空間の性質だし

5:１３２人目の素数さん
25/11/17 11:40:24.06 hqUUL6t+.net
物理、工学じゃん

6:１３２人目の素数さん
25/11/17 14:44:31.33 ZJf5Avvl.net
pを素数として級数

s_n = 1 + p + p^2 + ... p^n

の収束/発散はs_nだけではなく、s_nが属している位相空間に依存する。

多項式

f(x) = x^2 + 1

が既約かどうかはfだけではなく、fが属している環に依存する。

7:１３２人目の素数さん
25/11/18 15:53:04.00 OPaRqn61.net
$\mathbb{F}_1$ の探求は、数学の公理そのものを書き換え、「集合と作用」という旧来の基礎を、より柔軟な対象（例えばモノイドや圏）で置き換える試みである 2。その究極的な目的は、整数論におけるリーマン予想の証明 2 や、代数幾何学の「絶対的（Absolute）」な基礎付け（$Spec \mathbb{Z}$ を $\mathbb{F}_1$ 上の曲線と見なす 2）を提供することにあると信じられている。

8:１３２人目の素数さん
25/11/18 15:56:59.54 OPaRqn61.net
したがって、BitNet b1.58 が採用した計算モデルは、数学的には「$\mathbb{F}_1$ 上の基点付き集合の線形代数」の実装にほかならない。

9:１３２人目の素数さん
25/11/18 19:58:10.27 uxujt4Sn.net
集合指向ではない数学は結局、集合が元の集まりであることを忘れて、それ自体をプリミティブな対象として扱うというだけだ

つまり、非集合指向は集合指向ということ

10:１３２人目の素数さん
25/11/18 23:41:04.39 W824nrvo.net
実数の連続性をデデキント完備性と考えるならば集合が必要だが、同値な条件に非集合論的なものは色々ある
そういった方向でいいならある程度できるだろう

11:１３２人目の素数さん
25/11/19 11:01:23.24 yPidUt5I.net
>>10
たとえば？

12:１３２人目の素数さん
25/11/19 12:48:30.95 1sU0wK08.net
>>11
コーシー列の収束+アルキメデス性は
最小構成ならNとRの二種一階論理+関数型N→Rでいけると思う
種とか型を「それは集合じゃないか」と言われるとアレだが