論數(shù)學真理

第一章 數(shù)學真理的創(chuàng)造
第一節(jié) 負數(shù)和虛數(shù)的引進
一、負數(shù)的引進
二、虛數(shù)的引進
第二節(jié) 非歐幾何的誕生
一、平行公理的證明
二、羅氏幾何的誕生
三、黎曼幾何的誕生
第三節(jié) 超限數(shù)理論的創(chuàng)立
一、超限數(shù)的創(chuàng)立
二、超限數(shù)創(chuàng)立的哲學分析
第四節(jié) 數(shù)理邏輯的形成
一、萊布尼茲的數(shù)理邏輯思想
二、布爾代數(shù)
三、數(shù)理邏輯形成的哲學分析
第五節(jié) 結(jié)論
第二章 數(shù)學真理的發(fā)展
第一節(jié) 微積分的嚴密化運動
第二節(jié) 從笛卡兒的解析幾何到格拉斯曼的n維幾何
一、笛卡兒的解析幾何
二、格拉斯曼的n維幾何
第三節(jié) 從方程論到群論
一、代數(shù)方程的根式解
二、群論的創(chuàng)立
第四節(jié) 結(jié)論
第三章 數(shù)學真理的客觀性
第一節(jié) 歐氏幾何是現(xiàn)實空間的正確描述
第二節(jié) 非歐幾何的出現(xiàn)
第三節(jié) 歐幾里得的《幾何原本》與希爾伯特的《幾何基礎》
一、歐幾里得《幾何原本》的缺陷
二、希爾伯特的《幾何基礎》
第四節(jié) 希爾伯特規(guī)劃
一、集合論悖論的發(fā)現(xiàn)
二、希爾伯特規(guī)劃
第五節(jié) 塔爾斯基關(guān)于真理的理論
第四章 邏輯與歷史的復雜關(guān)系
第一節(jié) 線性代數(shù)中邏輯與歷史不一致的現(xiàn)象
一、行列式理論的形成
二、矩陣理論的形成
三、行列式概念與矩陣概念的關(guān)系
第二節(jié) 幾何學中邏輯與歷史不一致的現(xiàn)象
一、射影幾何的肇始
二、幾何學的分類
三、度量幾何與射影幾何
第三節(jié) 微積分中邏輯與歷史不一致的現(xiàn)象
第四節(jié) 結(jié)論
第五章 數(shù)學真理的多元性
第一節(jié) 關(guān)于無理數(shù)的兩種理論
一、無理數(shù)的發(fā)現(xiàn)
二、關(guān)于無理數(shù)的兩種不同理論
第二節(jié) 關(guān)于自然數(shù)的三種理論
一、關(guān)于自然數(shù)的第一種理論
二、薩爾可夫斯基序列——關(guān)于自然數(shù)的第二種理論
三、用集合表示自然數(shù)——關(guān)于自然數(shù)的第三種理論
……
第六章 數(shù)學真理的判定
第七章 數(shù)學真理的走向
參考文獻