牛顿与爱因斯坦的时空概念(一)

牛顿以及爱因斯坦底时空概念 书写外话: 写这个笔记的关头是团结撞了一个有关广义相对论的问题。广义相对论有一定量种植标准针对如。一个凡局域的洛伦兹(local Lorentz transformation)变换还有一个即使是微分同胚(diffeomorphism)。从数学及点滴栽易分别都不行好理解:局域的洛伦兹移是作用在局域惯性指标上,而微分同胚是图在坐标系时空指标达标。问题是少栽转移的涉是啊?具体 […]

杰克

以起讨论哥德尔的本体论证明,即用三号模态逻辑(HOML)来证实“类上帝的习性必然产生实体”,之前,我们先行来了解一下模态逻辑。 命题逻辑、谓词逻辑和模态逻辑 模态逻辑中,有三单概念是最好中心的: 想必世界 对象 命题和性 咱俩可以组织一个极其可怜的集,称之为Omniverse(随便取的称为……),它是有着或世界之集纳。而所谓的“可能世界”,就是Omniverse中的一个素,其本人是一个由对象、属性 […]

伦理哥德尔的本体论证明,以及,没必要那么复杂的超快速证明

本体论证明 哥德尔的本体路能够证实,在S5模态逻辑的基本功及,引入了几乎久新的公理和概念。 概念1:存在关于性的属于性P。 P是关于性的属性,也即P并无直作用在对象x上,而是企图在叙述对象x的属性f上。 举例来说来说,“‘花是热之’这句话是P的”。这句话就是有关“香”这个特性之命题,即,P是属性之属性。但我们无可知说“花是P的”,因为P不是对象的性能,是性质之性。 于P具体是什么,我们不明了,但咱 […]