2,708
次編輯
「The Code of Mathematics筆記」修訂間的差異
跳至導覽
跳至搜尋
→Ch1（？）
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） （→Ch1（？）） |
||
| 行 69： | 行 69： | ||
之後提到結構定義數學方法，識別相同結構物件，化解Benacerraf困境，但尚未用令人滿意的方法解決柏拉圖式的困境。 | 之後提到結構定義數學方法，識別相同結構物件，化解Benacerraf困境，但尚未用令人滿意的方法解決柏拉圖式的困境。 | ||
p.10 | |||
Cantor、Dedekind獨立發展集合論的基本概念（樸素集合論） | |||
x ∈ A, A = {x1, x2} | |||
可以用f : A -> B映射 | |||
Powerset(A) = A的子集的集合，即冪集 | |||
Dedekind用無限的集合來建立無限chain。 | |||
0, S(0), S(S(0)), ...，其中S:Mapping無限集合=>ℕ | |||