相對論的邏輯觀

定　價：￥59.00

作　者：	陳磊，朱科夫，翟若迅著
出版社：	北京理工大學出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

京東 (￥51.10)

ISBN：	9787568286046	出版時間：	2020-06-01	包裝：	平裝
開本：	16開	頁數(shù)：	150	字數(shù)：

內(nèi)容簡介

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

作者簡介

暫缺《相對論的邏輯觀》作者簡介

圖書目錄

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