查询词典 incompleteness theorem

Gdel's second incompleteness theorem can be stated as follows: For any formal effectively generated theory T including basic arithmetical truths and also certain truths about formal provability, T includes a statement of its own consistency if and only if T is inconsistent .

第二，他证明了，对于任意的数学系统，如果其中包含了算术系统的话，那么我们不能在这个系统内部证明它的一致性。这就是希尔伯特第二问题答案的一部分。

Following the analytic tradition of logical and language methods, this paper examine the mind-body problem in two key aspects: one is related to the implication of the G del incompleteness theorem to mind-body problem, which refuted the argument proposed by H.

遵循语言与逻辑分析的分析传统，我们着重从两方面讨论心身问题：一是围绕G del不完全性定理，二是认知逻辑尤其是有关认识论算术与机器是否有私有性的论题。

Inductive problem hps been always regarded as such a difficult philqsophicproblem that it never goes too far to call it 揋ode incompleteness Theorem ? of philoso-phy.

休谟因提出归纳问题而获得哲学史上的不朽地位，其问题一直被公认为困难的哲学问题，说它是哲学中的"哥德巴赫猜想"也不为过。

In this paper, the author queried a few conclusions in [1] , and elaborated different views on several problems, such as relations between non-Euclidean geometry and real space, relations between mathematical logic and thinking, the significance of Godel s second incompleteness theorem, and so on.

本文对文〔1〕的几个论断提出一些疑问，并在&非欧几何与现实空间&、&数理逻辑与思维&、&哥德尔不完备性定理的意义&等若干问题上表述了与《数学是什么》一文中不同的观点。

He and Nina moved to California and lived at 2005 Ivar Street, Apt.

他和Nina搬到加州，并在2005年伊瓦尔街，公寓生活。

Droperidol （ potently inhibits transfected HERGchannels and this is the probable mechanism for QT prolongation.

氟哌利多有效地抑制了转染的 HERG 钾通道，可能是 QT 间期延长的机制。