123,123,123

內(nèi)容簡(jiǎn)介

　　《相對(duì)論的邏輯觀》以一階邏輯為方法研究相對(duì)論的公理化問(wèn)題，系統(tǒng)地匯總了近年來(lái)國(guó)內(nèi)外學(xué)者沿著匈牙利學(xué)派的路徑所取得的成果。書(shū)中用相對(duì)易懂的語(yǔ)言簡(jiǎn)單介紹了相對(duì)論的基本原理及要素，同時(shí)也對(duì)一階邏輯的相關(guān)概念和方法進(jìn)行了論述。這些將幫助有一定基礎(chǔ)的讀者較快地進(jìn)入《相對(duì)論的邏輯觀》的主體內(nèi)容。筆者以“從僅有慣性觀者的狹義相對(duì)論到有加速觀者的狹義相對(duì)論，再到觀者無(wú)關(guān)的狹義相對(duì)論，最后到廣義相對(duì)論”的順序?yàn)橹骶€，將匈牙利學(xué)派的研究及筆者的成果有機(jī)地串聯(lián)起來(lái)，使讀者對(duì)這一內(nèi)容有較全面的理解和較深刻的解讀。《相對(duì)論的邏輯觀》適合對(duì)相對(duì)論公理系統(tǒng)感興趣的讀者。同時(shí)，《相對(duì)論的邏輯觀》也可以看作一階邏輯的應(yīng)用，因此也適合對(duì)數(shù)理邏輯應(yīng)用感興趣的讀者。

作者簡(jiǎn)介

暫缺《相對(duì)論的邏輯觀》作者簡(jiǎn)介

圖書(shū)目錄

第1篇相對(duì)論的基本思想及理論要素
第1章狹義相對(duì)論簡(jiǎn)述
1．1 洛倫茲變換
1．2 質(zhì)點(diǎn)的動(dòng)力學(xué)
第2章微分幾何簡(jiǎn)介
2．1 坐標(biāo)系與微分流形
2．2 流形上的場(chǎng)
第3章從幾何看狹義相對(duì)論
3．1 間隔不變性
3．2 閔氏度規(guī)
3．3 世界線固有時(shí)
3．4 雙生子佯謬
3．5 車庫(kù)佯謬
第4章廣義相對(duì)論簡(jiǎn)述
4．1 廣義相對(duì)論的基本思想
4．2 廣義相對(duì)論的動(dòng)力學(xué)
第2篇一階邏輯基礎(chǔ)及應(yīng)用
第5章一階邏輯系統(tǒng)概述
5．1 謂詞演算系統(tǒng)
5．2 語(yǔ)法和語(yǔ)義
第6章一階邏輯系統(tǒng)的應(yīng)用
第3篇相對(duì)論的邏輯公理系統(tǒng)
第7章狹義相對(duì)論的一階公理系統(tǒng)
7．1 相對(duì)論邏輯基礎(chǔ)研究的歷史考察
7．2 為狹義相對(duì)論尋求一階邏輯基礎(chǔ)的原因
7．3 狹義相對(duì)論的基本概念
7．4 基本概念的一階邏輯表述
7．5 狹義相對(duì)論的一階邏輯公理系統(tǒng)Specrel
7．6 完善后的狹義相對(duì)論的一階邏輯公理系統(tǒng)Specrel'
7．7 簡(jiǎn)單證明
第8章有加速觀者的狹義相對(duì)論的一階公理系統(tǒng)
8．1 雙生子佯謬的形式化
8．2 AccRel公理系統(tǒng)
8．3 AccRel公理系統(tǒng)的缺陷
8．4 Specrel+公理系統(tǒng)
8．5 Specrel+與SpecRelDyn的對(duì)比
8．6 一階廣義定義擴(kuò)張模型
8．7 SpecRel*系統(tǒng)中的公理
第9章廣義相對(duì)論的一階公理系統(tǒng)
9．1 廣義相對(duì)論的公理系統(tǒng)LorMan
9．2 兩個(gè)系統(tǒng)之間關(guān)系的討論
第4篇多類邏輯與廣義相對(duì)論
第10章一階邏輯的擴(kuò)展——一階多類邏輯
10．1 矢量空間
10．2 簡(jiǎn)單的二階理論
第11章廣義相對(duì)論的多類邏輯公理系統(tǒng)
第12章主要工作及展望
后記
參考文獻(xiàn)