掃一掃
關(guān)注中圖網(wǎng)
官方微博
序與數(shù):數(shù)概念的形成與演變(邏輯、語言與智能——新清華邏輯文叢) 版權(quán)信息
- ISBN：9787302632023
- 條形碼：9787302632023 ; 978-7-302-63202-3
- 裝幀：精裝
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
序與數(shù):數(shù)概念的形成與演變(邏輯、語言與智能——新清華邏輯文叢) 本書特色
本書是數(shù)學(xué)哲學(xué)方面的一本論著，涉及有關(guān)自然數(shù)的本體論和認(rèn)識論的基本問題。十九世紀(jì)后半葉，多位數(shù)學(xué)思考者、哲學(xué)思考者圍繞自然數(shù)這一概念展開過一系列探索。其結(jié)果各有所長、各有千秋，但都不盡如人意。原因在于人們只注意到自然數(shù)的有限基數(shù)特點(diǎn)而疏忽了自然的實(shí)在的剛性的序特點(diǎn)。我國古代智慧的先人們則早已駕輕就熟地應(yīng)用這種序結(jié)構(gòu)來表達(dá)思想。
本書試圖從自然界的序現(xiàn)象出發(fā)，結(jié)合我國古代先人應(yīng)用序的智慧，闡明這種幾乎無處不在的“序結(jié)構(gòu)”如同到處可見的“幾何結(jié)構(gòu)”一樣，是人類一種來自生活經(jīng)驗(yàn)的認(rèn)識之源，有關(guān)自然數(shù)及其運(yùn)算律的認(rèn)識也和有關(guān)幾何知識的認(rèn)識一樣來源于對客觀世界的感知。本書試圖以嚴(yán)格的數(shù)學(xué)方式來論證自然數(shù)這一概念從其依賴的本源到抽象獨(dú)立出來，成為柏拉圖所說的“永恒之物”的自然和典型的思維路徑，以及從自然數(shù)到實(shí)數(shù)的根本發(fā)展途徑的典型性，從而對有關(guān)數(shù)這一概念的一些認(rèn)識論問題提出具有說服力的見解。
序與數(shù):數(shù)概念的形成與演變(邏輯、語言與智能——新清華邏輯文叢) 內(nèi)容簡介
本書涉及有關(guān)自然數(shù)的本體論和認(rèn)識論的基本問題。十九世紀(jì)后半葉，多位數(shù)學(xué)思考者、哲學(xué)思考者圍繞自然數(shù)這一概念展開過一系列探索。其結(jié)果各有所長、各有千秋，但都不盡如人意。原因在于人們只注意到自然數(shù)的有限基數(shù)特點(diǎn)而疏忽了自然的實(shí)在的剛性的序特點(diǎn)。我國古代充滿智慧的先人們則早已駕輕就熟地應(yīng)用這種序結(jié)構(gòu)來表達(dá)思想。 本書試圖從自然界的序現(xiàn)象出發(fā)，結(jié)合我國古代先人應(yīng)用序的智慧，闡明這種幾乎無處不在的“序結(jié)構(gòu)”如同到處可見的“幾何結(jié)構(gòu)”一樣，是人類一種來自生活經(jīng)驗(yàn)的認(rèn)識之源，有關(guān)自然數(shù)及其運(yùn)算律的認(rèn)識也和有關(guān)幾何知識的認(rèn)識一樣源于對客觀世界的感知。本書試圖以嚴(yán)格的數(shù)學(xué)方式來論證自然數(shù)這一概念從其依賴的本源到抽象獨(dú)立出來，成為柏拉圖所說的“永恒之物”的自然和典型的思維路徑，以及從自然數(shù)到實(shí)數(shù)的根本發(fā)展途徑的典型性，從而對有關(guān)數(shù)概念的一些認(rèn)識論問題提出具有說服力的見解。
序與數(shù):數(shù)概念的形成與演變(邏輯、語言與智能——新清華邏輯文叢) 目錄
第 1 章 緒論 1
1.1 十九世紀(jì)末葉思想者對自然數(shù)觀念的典型解釋 3
1.1.1 弗雷格在《算術(shù)基礎(chǔ)》解釋自然數(shù) 3
1.1.2 赫爾姆霍茲否定算術(shù)知識的先驗(yàn)性 12
1.1.3 克羅內(nèi)克定義自然數(shù) 18
1.1.4 戴德金論自然數(shù)的本質(zhì)與含義 20
1.1.5 皮亞諾算術(shù)公理 27
1.1.6 對前述典型認(rèn)知的幾點(diǎn)評注 29
1.2 面臨的基本問題及基本假設(shè) 32
1.2.1 思維過程涉及三種世界 33
1.2.2 關(guān)于抽象與抽象能力 42
1.2.3 關(guān)于數(shù)的哲學(xué)思考 44
第 2 章 比較與排序 49
2.1 生活中的比較問題 49
2.2 等同 58
2.2.1 相同關(guān)系 58
2.2.2 等價(jià)類與商集 62
2.3 關(guān)聯(lián)準(zhǔn)線性序與自然離散線性序 66
2.3.1 關(guān)聯(lián)準(zhǔn)線性序關(guān)系 66
2.3.2 線性序 68
2.3.3 關(guān)聯(lián)準(zhǔn)線性序之群體效應(yīng) 69
2.3.4 關(guān)聯(lián)準(zhǔn)線性序之提升 70
2.3.5 一階邏輯之量詞 78
2.3.6 量詞所轄變元之變化范圍問題 79
2.3.7 關(guān)于抽象：從具體到一般 80
2.3.8 序結(jié)構(gòu)比較問題 81
2.3.9 特殊字符串表及其字典序 85
2.3.10 居民擴(kuò)展名之等價(jià)類中名字的字典序 86
2.3.11 商集 M/ 中的元素與商集 H0/中元素之比較 88
2.3.12 竹簡書卷長短比較 89
2.4 “正”字字符串 92
2.4.1 從實(shí)物標(biāo)識到“正”字字符串表示 92
2.4.2 “正”字字符串之有界部分團(tuán) 95
第 3 章 序型算術(shù)與自然數(shù) 98
3.1 序同構(gòu)與序型比較 98
3.1.1 等勢 98
3.1.2 保序?qū)?yīng) 101
3.1.3 序同構(gòu)法則 102
3.1.4 自然離散線性序之剛性 102
3.1.5 序型表示問題 106
3.1.6 有限性與自然數(shù) 107
3.1.7 “自然數(shù)”之內(nèi)涵 108
3.2 算術(shù)問題 108
3.2.1 合并操作與整合操作 108
3.2.2 無重合序合并與序型加法 109
3.2.3 序型加法 111
3.2.4 序型加法保持序型比較關(guān)系 112
3.2.5 整合操作與干支乘積 123
3.2.6 整合操作的基本性質(zhì) 125
3.3 序型算術(shù)的實(shí)現(xiàn) 126
3.3.1 加法運(yùn)算與乘法運(yùn)算 126
3.3.2 運(yùn)算保序規(guī)律 131
3.3.3 自然數(shù)數(shù)值內(nèi)涵 134
第 4 章 正分?jǐn)?shù) 139
4.1 平面直線線段長短比較問題 139
4.1.1 平面直線線段長短比較 139
4.1.2 平面長度度量假設(shè) 144
4.2 平面整齊矩形面積量 146
4.2.1 整齊矩形面積度量 146
4.2.2 長度量之乘法以及面積量 148
4.2.3 等分直線段與正分?jǐn)?shù) 149
4.3 正分?jǐn)?shù)算術(shù)律 151
4.3.1 發(fā)現(xiàn)正分?jǐn)?shù)算術(shù)律 151
4.3.2 長度量均分假設(shè) 155
4.3.3 發(fā)現(xiàn)正真分?jǐn)?shù)大小比較律 155
第 5 章 幾何量 158
5.1 發(fā)現(xiàn)非分?jǐn)?shù)幾何量 158
5.1.1 單位正方形主對角線長度問題 158
5.1.2 發(fā)現(xiàn)雙倍面積定理 159
5.1.3 發(fā)現(xiàn)勾股弦面積定理 162
5.2 幾何原理 168
5.2.1 默認(rèn)假設(shè)追問 168
5.2.2 歐幾里得幾何 169
5.2.3 劉徽計(jì)算中的幾何直觀假設(shè) 171
5.2.4 發(fā)現(xiàn)圓周率 172
5.2.5 “數(shù)之法出于圓方” 173
5.2.6 非有理幾何量 174
5.2.7 無理數(shù) 175
5.2.8 幾何量與正實(shí)數(shù) 175
5.2.9 平面夾角及其大小比較 176
5.2.10 平面上夾角的度量 178
5.2.11 發(fā)現(xiàn)正弦變化律 179
5.2.12 正弦值與三角形面積 183
5.2.13 正無理長度 185
5.2.14 正實(shí)數(shù)直線 185
5.2.15 非負(fù)實(shí)數(shù)軸與平面直線線段長度 190
5.2.16 鏡面反射與負(fù)數(shù) 192
5.2.17 整數(shù)直線、分?jǐn)?shù)直線、實(shí)數(shù)直線 192
5.2.18 實(shí)數(shù)軸 195
第 6 章 向量 198
6.1 實(shí)數(shù)平面與實(shí)數(shù)立體幾何空間 198
6.1.1 笛卡爾直角坐標(biāo)系 198
6.1.2 歐幾里得平面參照系 201
6.1.3 笛卡爾距離空間 203
6.1.4 立體歐幾里得空間參照系 206
6.1.5 向量空間 208
6.1.6 內(nèi)積空間 214
6.1.7 高維向量空間中的內(nèi)積 216
6.2 向量內(nèi)積空間上的變換 217
6.2.1 平移 217
6.2.2 旋轉(zhuǎn) 220
6.2.3 旋轉(zhuǎn)矩陣 221
6.2.4 矩陣之代數(shù)運(yùn)算 223
6.2.5 旋轉(zhuǎn)復(fù)合 230
第 7 章 超限序數(shù) 235
7.1 對應(yīng)與函數(shù) 235
7.2 康托建立集合論 239
7.2.1 認(rèn)識實(shí)變函數(shù) 239
7.2.2 區(qū)分可排列與不可排列 244
7.2.3 康托引入超限序數(shù) 246
7.2.4 公理化之路 254
7.2.5 集合論語言：形式規(guī)則、形式語義以及形式判斷 256
7.2.6 無窮集合存在性 259
7.2.7 笛卡爾乘積以及交、并、差運(yùn)算 268
7.2.8 函數(shù)概念以及等價(jià)關(guān)系概念 271
7.2.9 集合之勢比較與等勢 274
7.3 有限數(shù)的集合表示 275
7.3.1 自然數(shù)大小比較 275
7.3.2 有限集合 276
7.3.3 自然數(shù)平面之序與勢 278
7.3.4 遞歸定義 280
7.3.5 自然離散線性序表示定理 282
7.3.6 自然數(shù)算術(shù) 285
7.3.7 整數(shù)及其算術(shù) 286
7.3.8 有理數(shù)算術(shù)及其線性序 287
7.3.9 有理數(shù)基本序列 289
7.3.10 實(shí)數(shù)有序域 291
7.3.11 希爾伯特“關(guān)于實(shí)數(shù)概念” 298
7.4 秩序與序數(shù) 301
7.4.1 秩序集合 302
7.4.2 序數(shù) 303
7.4.3 秩序典型代表問題 306
7.4.4 序數(shù)算術(shù) 309
7.4.5 秩序化問題 313
7.4.6 集合論論域累積層次 314
7.4.7 集合論公理體系 ZFC 315
7.4.8 基數(shù) 315
7.4.9 基數(shù)之和與積 319
第 8 章 無窮小量 321
8.1 無窮小量與非標(biāo)準(zhǔn)實(shí)數(shù)軸 321
8.2 非標(biāo)準(zhǔn)實(shí)數(shù)軸的超冪構(gòu)造 324
8.2.1 自然數(shù)集合上的超濾子 324
8.2.2 實(shí)數(shù)軸的一個(gè)超冪 325
8.2.3 自然數(shù)算術(shù)非標(biāo)準(zhǔn)模型 328
索引 330
1.1 十九世紀(jì)末葉思想者對自然數(shù)觀念的典型解釋 3
1.1.1 弗雷格在《算術(shù)基礎(chǔ)》解釋自然數(shù) 3
1.1.2 赫爾姆霍茲否定算術(shù)知識的先驗(yàn)性 12
1.1.3 克羅內(nèi)克定義自然數(shù) 18
1.1.4 戴德金論自然數(shù)的本質(zhì)與含義 20
1.1.5 皮亞諾算術(shù)公理 27
1.1.6 對前述典型認(rèn)知的幾點(diǎn)評注 29
1.2 面臨的基本問題及基本假設(shè) 32
1.2.1 思維過程涉及三種世界 33
1.2.2 關(guān)于抽象與抽象能力 42
1.2.3 關(guān)于數(shù)的哲學(xué)思考 44
第 2 章 比較與排序 49
2.1 生活中的比較問題 49
2.2 等同 58
2.2.1 相同關(guān)系 58
2.2.2 等價(jià)類與商集 62
2.3 關(guān)聯(lián)準(zhǔn)線性序與自然離散線性序 66
2.3.1 關(guān)聯(lián)準(zhǔn)線性序關(guān)系 66
2.3.2 線性序 68
2.3.3 關(guān)聯(lián)準(zhǔn)線性序之群體效應(yīng) 69
2.3.4 關(guān)聯(lián)準(zhǔn)線性序之提升 70
2.3.5 一階邏輯之量詞 78
2.3.6 量詞所轄變元之變化范圍問題 79
2.3.7 關(guān)于抽象：從具體到一般 80
2.3.8 序結(jié)構(gòu)比較問題 81
2.3.9 特殊字符串表及其字典序 85
2.3.10 居民擴(kuò)展名之等價(jià)類中名字的字典序 86
2.3.11 商集 M/ 中的元素與商集 H0/中元素之比較 88
2.3.12 竹簡書卷長短比較 89
2.4 “正”字字符串 92
2.4.1 從實(shí)物標(biāo)識到“正”字字符串表示 92
2.4.2 “正”字字符串之有界部分團(tuán) 95
第 3 章 序型算術(shù)與自然數(shù) 98
3.1 序同構(gòu)與序型比較 98
3.1.1 等勢 98
3.1.2 保序?qū)?yīng) 101
3.1.3 序同構(gòu)法則 102
3.1.4 自然離散線性序之剛性 102
3.1.5 序型表示問題 106
3.1.6 有限性與自然數(shù) 107
3.1.7 “自然數(shù)”之內(nèi)涵 108
3.2 算術(shù)問題 108
3.2.1 合并操作與整合操作 108
3.2.2 無重合序合并與序型加法 109
3.2.3 序型加法 111
3.2.4 序型加法保持序型比較關(guān)系 112
3.2.5 整合操作與干支乘積 123
3.2.6 整合操作的基本性質(zhì) 125
3.3 序型算術(shù)的實(shí)現(xiàn) 126
3.3.1 加法運(yùn)算與乘法運(yùn)算 126
3.3.2 運(yùn)算保序規(guī)律 131
3.3.3 自然數(shù)數(shù)值內(nèi)涵 134
第 4 章 正分?jǐn)?shù) 139
4.1 平面直線線段長短比較問題 139
4.1.1 平面直線線段長短比較 139
4.1.2 平面長度度量假設(shè) 144
4.2 平面整齊矩形面積量 146
4.2.1 整齊矩形面積度量 146
4.2.2 長度量之乘法以及面積量 148
4.2.3 等分直線段與正分?jǐn)?shù) 149
4.3 正分?jǐn)?shù)算術(shù)律 151
4.3.1 發(fā)現(xiàn)正分?jǐn)?shù)算術(shù)律 151
4.3.2 長度量均分假設(shè) 155
4.3.3 發(fā)現(xiàn)正真分?jǐn)?shù)大小比較律 155
第 5 章 幾何量 158
5.1 發(fā)現(xiàn)非分?jǐn)?shù)幾何量 158
5.1.1 單位正方形主對角線長度問題 158
5.1.2 發(fā)現(xiàn)雙倍面積定理 159
5.1.3 發(fā)現(xiàn)勾股弦面積定理 162
5.2 幾何原理 168
5.2.1 默認(rèn)假設(shè)追問 168
5.2.2 歐幾里得幾何 169
5.2.3 劉徽計(jì)算中的幾何直觀假設(shè) 171
5.2.4 發(fā)現(xiàn)圓周率 172
5.2.5 “數(shù)之法出于圓方” 173
5.2.6 非有理幾何量 174
5.2.7 無理數(shù) 175
5.2.8 幾何量與正實(shí)數(shù) 175
5.2.9 平面夾角及其大小比較 176
5.2.10 平面上夾角的度量 178
5.2.11 發(fā)現(xiàn)正弦變化律 179
5.2.12 正弦值與三角形面積 183
5.2.13 正無理長度 185
5.2.14 正實(shí)數(shù)直線 185
5.2.15 非負(fù)實(shí)數(shù)軸與平面直線線段長度 190
5.2.16 鏡面反射與負(fù)數(shù) 192
5.2.17 整數(shù)直線、分?jǐn)?shù)直線、實(shí)數(shù)直線 192
5.2.18 實(shí)數(shù)軸 195
第 6 章 向量 198
6.1 實(shí)數(shù)平面與實(shí)數(shù)立體幾何空間 198
6.1.1 笛卡爾直角坐標(biāo)系 198
6.1.2 歐幾里得平面參照系 201
6.1.3 笛卡爾距離空間 203
6.1.4 立體歐幾里得空間參照系 206
6.1.5 向量空間 208
6.1.6 內(nèi)積空間 214
6.1.7 高維向量空間中的內(nèi)積 216
6.2 向量內(nèi)積空間上的變換 217
6.2.1 平移 217
6.2.2 旋轉(zhuǎn) 220
6.2.3 旋轉(zhuǎn)矩陣 221
6.2.4 矩陣之代數(shù)運(yùn)算 223
6.2.5 旋轉(zhuǎn)復(fù)合 230
第 7 章 超限序數(shù) 235
7.1 對應(yīng)與函數(shù) 235
7.2 康托建立集合論 239
7.2.1 認(rèn)識實(shí)變函數(shù) 239
7.2.2 區(qū)分可排列與不可排列 244
7.2.3 康托引入超限序數(shù) 246
7.2.4 公理化之路 254
7.2.5 集合論語言：形式規(guī)則、形式語義以及形式判斷 256
7.2.6 無窮集合存在性 259
7.2.7 笛卡爾乘積以及交、并、差運(yùn)算 268
7.2.8 函數(shù)概念以及等價(jià)關(guān)系概念 271
7.2.9 集合之勢比較與等勢 274
7.3 有限數(shù)的集合表示 275
7.3.1 自然數(shù)大小比較 275
7.3.2 有限集合 276
7.3.3 自然數(shù)平面之序與勢 278
7.3.4 遞歸定義 280
7.3.5 自然離散線性序表示定理 282
7.3.6 自然數(shù)算術(shù) 285
7.3.7 整數(shù)及其算術(shù) 286
7.3.8 有理數(shù)算術(shù)及其線性序 287
7.3.9 有理數(shù)基本序列 289
7.3.10 實(shí)數(shù)有序域 291
7.3.11 希爾伯特“關(guān)于實(shí)數(shù)概念” 298
7.4 秩序與序數(shù) 301
7.4.1 秩序集合 302
7.4.2 序數(shù) 303
7.4.3 秩序典型代表問題 306
7.4.4 序數(shù)算術(shù) 309
7.4.5 秩序化問題 313
7.4.6 集合論論域累積層次 314
7.4.7 集合論公理體系 ZFC 315
7.4.8 基數(shù) 315
7.4.9 基數(shù)之和與積 319
第 8 章 無窮小量 321
8.1 無窮小量與非標(biāo)準(zhǔn)實(shí)數(shù)軸 321
8.2 非標(biāo)準(zhǔn)實(shí)數(shù)軸的超冪構(gòu)造 324
8.2.1 自然數(shù)集合上的超濾子 324
8.2.2 實(shí)數(shù)軸的一個(gè)超冪 325
8.2.3 自然數(shù)算術(shù)非標(biāo)準(zhǔn)模型 328
索引 330
展開全部
序與數(shù):數(shù)概念的形成與演變(邏輯、語言與智能——新清華邏輯文叢) 作者簡介
馮琦，湖北松滋人，1955年4月出生。哈爾濱工業(yè)大學(xué)計(jì)算機(jī)軟件專業(yè)本科畢業(yè)；美國賓州州立大學(xué)數(shù)學(xué)專業(yè)博士畢業(yè)。曾任新加坡國立大學(xué)數(shù)學(xué)系講師、高級講師、教授；曾任清華大學(xué)數(shù)學(xué)系教授；曾任中國科學(xué)院數(shù)學(xué)所研究員、數(shù)學(xué)所副所長，以及中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員；現(xiàn)為清華大學(xué)人文學(xué)院哲學(xué)系訪問學(xué)者。專業(yè)研究方向?yàn)閿?shù)理邏輯、集合論。著有《數(shù)理邏輯導(dǎo)引》(2017)、《線性代數(shù)導(dǎo)引》(2018)、《集合論導(dǎo)引》(3卷，2019)、《基本邏輯學(xué)》(2020)、以及《邏輯與發(fā)現(xiàn)》(預(yù)計(jì)2022)，均有科學(xué)出版社出版。
書友推薦
- >
詩經(jīng)-先民的歌唱
- >
二體千字文
- >
姑媽的寶刀
- >
唐代進(jìn)士錄
- >
新文學(xué)天穹兩巨星--魯迅與胡適/紅燭學(xué)術(shù)叢書(紅燭學(xué)術(shù)叢書)
- >
名家?guī)阕x魯迅:故事新編
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
苦雨齋序跋文-周作人自編集
本類暢銷
