探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换ψ,且ψ保持逻辑等价关系不变,并且是同态映射;ψ自然导出......

本文首先介绍了Ｇｏｄｅｌ的不完全性定理不可判定的概念。其次指出在二阶的标准分析模型Ｍ中，普遍存在不可判定的积分公式，如Ａ６：∫＾＋∞ｓｉｎｔｄｔ＝１等。第三，本文介......

Ｇｏｄｅｌ以其三大数学贡献闻名于世，Ｇｏｄｅｌ定理甚至被各个领域的人津津乐道，然而很少有人关注在他的巨大数学成就背后丰富而深刻的哲学思想。本文借......

元程序设计是许多逻辑程序语言具有的重要特点。研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意......

在引力源为理想流体条件下，通过对Godel宇宙基本性质的分析求解了Einstein场方程，给出了一个Godel宇宙时空度规的近似解。并且对此解......

在真空情况下，通过求解Einstein场方程，给出了一个关于膨胀的Godel宇宙时空度规的近似解．并且对此解进行了分析．......

In this article, a possible generalization of the Lob’s theorem is considered. Main result is: let κ be an inaccessibl......