相对论的逻辑观

相对论的逻辑观
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者: , ,
2020-06
版次: 1
ISBN: 9787568286046
定价: 59.00
装帧: 平装
开本: 16开
纸张: 胶版纸
页数: 150页
分类: 哲学心理学
  •   《相对论的逻辑观》以一阶逻辑为方法研究相对论的公理化问题,系统地汇总了近年来国内外学者沿着匈牙利学派的路径所取得的成果。书中用相对易懂的语言简单介绍了相对论的基本原理及要素,同时也对一阶逻辑的相关概念和方法进行了论述。这些将帮助有一定基础的读者较快地进入《相对论的逻辑观》的主体内容。笔者以“从仅有惯性观者的狭义相对论到有加速观者的狭义相对论,再到观者无关的狭义相对论,最后到广义相对论”的顺序为主线,将匈牙利学派的研究及笔者的成果有机地串联起来,使读者对这一内容有较全面的理解和较深刻的解读。
      《相对论的逻辑观》适合对相对论公理系统感兴趣的读者。同时,《相对论的逻辑观》也可以看作一阶逻辑的应用,因此也适合对数理逻辑应用感兴趣的读者。 第1篇 相对论的基本思想及理论要素
    第1章 狭义相对论简述
    1.1 洛伦兹变换
    1.2 质点的动力学
    第2章 微分几何简介
    2.1 坐标系与微分流形
    2.2 流形上的场
    第3章 从几何看狭义相对论
    3.1 间隔不变性
    3.2 闵氏度规
    3.3 世界线固有时
    3.4 双生子佯谬
    3.5 车库佯谬
    第4章 广义相对论简述
    4.1 广义相对论的基本思想
    4.2 广义相对论的动力学

    第2篇 一阶逻辑基础及应用
    第5章 一阶逻辑系统概述
    5.1 谓词演算系统
    5.2 语法和语义
    第6章 一阶逻辑系统的应用

    第3篇 相对论的逻辑公理系统
    第7章 狭义相对论的一阶公理系统
    7.1 相对论逻辑基础研究的历史考察
    7.2 为狭义相对论寻求一阶逻辑基础的原因
    7.3 狭义相对论的基本概念
    7.4 基本概念的一阶逻辑表述
    7.5 狭义相对论的一阶逻辑公理系统Specrel
    7.6 完善后的狭义相对论的一阶逻辑公理系统Specrel\'
    7.7 简单证明
    第8章 有加速观者的狭义相对论的一阶公理系统
    8.1 双生子佯谬的形式化
    8.2 AccRel公理系统
    8.3 AccRel公理系统的缺陷
    8.4 Specrel+公理系统
    8.5 Specrel+与SpecRelDyn的对比
    8.6 一阶广义定义扩张模型
    8.7 SpecRel*系统中的公理
    第9章 广义相对论的一阶公理系统
    9.1 广义相对论的公理系统LorMan
    9.2 两个系统之间关系的讨论

    第4篇 多类逻辑与广义相对论
    第10章 一阶逻辑的扩展――一阶多类逻辑
    10.1 矢量空间
    10.2 简单的二阶理论
    第11章 广义相对论的多类逻辑公理系统
    第12章 主要工作及展望
    后记
    参考文献
  • 内容简介:
      《相对论的逻辑观》以一阶逻辑为方法研究相对论的公理化问题,系统地汇总了近年来国内外学者沿着匈牙利学派的路径所取得的成果。书中用相对易懂的语言简单介绍了相对论的基本原理及要素,同时也对一阶逻辑的相关概念和方法进行了论述。这些将帮助有一定基础的读者较快地进入《相对论的逻辑观》的主体内容。笔者以“从仅有惯性观者的狭义相对论到有加速观者的狭义相对论,再到观者无关的狭义相对论,最后到广义相对论”的顺序为主线,将匈牙利学派的研究及笔者的成果有机地串联起来,使读者对这一内容有较全面的理解和较深刻的解读。
      《相对论的逻辑观》适合对相对论公理系统感兴趣的读者。同时,《相对论的逻辑观》也可以看作一阶逻辑的应用,因此也适合对数理逻辑应用感兴趣的读者。
  • 目录:
    第1篇 相对论的基本思想及理论要素
    第1章 狭义相对论简述
    1.1 洛伦兹变换
    1.2 质点的动力学
    第2章 微分几何简介
    2.1 坐标系与微分流形
    2.2 流形上的场
    第3章 从几何看狭义相对论
    3.1 间隔不变性
    3.2 闵氏度规
    3.3 世界线固有时
    3.4 双生子佯谬
    3.5 车库佯谬
    第4章 广义相对论简述
    4.1 广义相对论的基本思想
    4.2 广义相对论的动力学

    第2篇 一阶逻辑基础及应用
    第5章 一阶逻辑系统概述
    5.1 谓词演算系统
    5.2 语法和语义
    第6章 一阶逻辑系统的应用

    第3篇 相对论的逻辑公理系统
    第7章 狭义相对论的一阶公理系统
    7.1 相对论逻辑基础研究的历史考察
    7.2 为狭义相对论寻求一阶逻辑基础的原因
    7.3 狭义相对论的基本概念
    7.4 基本概念的一阶逻辑表述
    7.5 狭义相对论的一阶逻辑公理系统Specrel
    7.6 完善后的狭义相对论的一阶逻辑公理系统Specrel\'
    7.7 简单证明
    第8章 有加速观者的狭义相对论的一阶公理系统
    8.1 双生子佯谬的形式化
    8.2 AccRel公理系统
    8.3 AccRel公理系统的缺陷
    8.4 Specrel+公理系统
    8.5 Specrel+与SpecRelDyn的对比
    8.6 一阶广义定义扩张模型
    8.7 SpecRel*系统中的公理
    第9章 广义相对论的一阶公理系统
    9.1 广义相对论的公理系统LorMan
    9.2 两个系统之间关系的讨论

    第4篇 多类逻辑与广义相对论
    第10章 一阶逻辑的扩展――一阶多类逻辑
    10.1 矢量空间
    10.2 简单的二阶理论
    第11章 广义相对论的多类逻辑公理系统
    第12章 主要工作及展望
    后记
    参考文献
查看详情
相关图书 / 更多
相对论的逻辑观
相对论究竟是什么 得到App超过11万人都在学 万维钢通才丛书
得到 出品;万维钢
相对论的逻辑观
相对贫困论
王留根 著
相对论的逻辑观
相对论
[美]W. 泡利 著;凌德洪 ;周万生
相对论的逻辑观
相对工作中心性的前因与后果(一项跨文化的探索)(英文版)/中南财经政法大学青年学术文库
芦青 著
相对论的逻辑观
相对论狭义与广义理论(发表100周年纪念版)
阿尔伯特·爱因斯坦(Albert Einstein) 著;涂泓、冯承天 译
相对论的逻辑观
相对贫困视角下三峡库区普惠金融对多维贫困的减缓效应研究
王伟、王伟 著
相对论的逻辑观
相对论
《科学世界》杂志社
相对论的逻辑观
相对覆盖性和独立可拆分恒等式系统/代数、生物信息和机器人技术的算法问题第五卷
[俄罗斯]弗拉基米尔·波波夫 著
相对论的逻辑观
相对论(现代物理学ZUI伟大的基础理论,影响人类进程的不朽科普经典!)
[美]阿尔伯特·爱因斯坦 著;李精益 译;紫图 出品
相对论的逻辑观
相对论量子力学:波方程 第3版
[德]W. 格雷纳 著
相对论的逻辑观
相对论返波管导论
陈昌华;刘国治
相对论的逻辑观
相对论百问(第3版)
赵峥 著
您可能感兴趣 / 更多
相对论的逻辑观
消化内镜治疗学典型病例图谱
陈磊、柏健鹰、刘爱民、丁震 著
相对论的逻辑观
混知漫画小学必背诗词(二年级白居易)
陈磊、混知教育团队 著
相对论的逻辑观
混知漫画小学必背诗词(六年级辛弃疾)
陈磊、混知教育团队 著
相对论的逻辑观
混知漫画小学必背诗词(四年级李清照)
陈磊、混知教育团队 著
相对论的逻辑观
混知漫画小学必背诗词(一年级李白)
陈磊、混知教育团队 著
相对论的逻辑观
混知漫画小学必背诗词(三年级苏轼)
陈磊、混知教育团队 著
相对论的逻辑观
混知漫画小学必背诗词(五年级杜甫)
陈磊、混知教育团队 著
相对论的逻辑观
农业农村机械化应用及维护
陈磊、陈莉君、张增 著
相对论的逻辑观
JSP设计与开发(第3版)
陈磊、徐受蓉 编
相对论的逻辑观
云之安全、隐私与数字取证(英文版)
陈磊、[美]哈桑·塔卡比(Hassan Takabi)、[爱尔兰]N.A勒哈克(Nhien-An Le-Khac) 编
相对论的逻辑观
动画与数字媒体丛书:二维动画场景设计
陈磊、孙坚 著
相对论的逻辑观
效能评估理论、方法及应用
陈磊、姚伟召、郭全魁、王秀华 著