数理逻辑

Bunge makes use of modern logistics technology and a transformation of the traditional materialist philosophy to study natural science.

邦格向自然科学学习，利用现代的数理逻辑技术，对传统的唯物主义哲学进行改造，构建了一种自称是从自然科学那里获得动力并根据科学的发展而得到检验和完善的科学的唯物主义哲学。

In mathematical logic in the study is the main target of all kinds of calculus.

在数理逻辑中研究的主要对象是各种演算。

Mathematical logic is one of the difficulties of "Discrete Mathematics".

数理逻辑是《离散数学》的难点之一。

The early twentieth century saw great advances in mathematics and also in mathematical logic and the foundations of mathematics.

20世纪初看到了数学的伟大进步，并在数理逻辑和数学基础。

International journal for the history of mathematical logic, set theory, and foundations of mathematics.

关于数理逻辑、集合论、数学基础的历史的国际杂志

By means of the language of mathematical logic the invariance of Hamilton principle under canonical transformation is expressed and proved.

用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性，并给以证明。

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

It centers on the relationship between Godel"s incompleteness theorem and the paradox. The author expounds the influences which paradox exerts on Godel"s Incompleteness Theorems generating, constructing, and the process of proof, and tries doing some technical work, such as symbolizing, etc.

悖论与数理逻辑三大成就的关系：其中以悖论与哥德尔不完全性定理的关系为重点，从悖论对哥德尔不完全性定理产生、构造及证明过程的影响进行了论证，并尝试做一些符号化等技术性的工作。

It puts emphasis on the analysis of Russells theory of types, and follows with the author thought about it, at the same time, this section analyzes how the paradox promotes the formation of the school of intuitionism and of formalism.

本文对这个问题从三个方面进行了分析：悖论与数理逻辑三大学派的关系：其中对罗素的类型论进行了重点分析，并加入自己的思考。

Irreversibility of investment has important effect on decision-making of investment in real option theory.

在几个简单假设的基础上，本文通过严密的数理逻辑和实证结果得到如下重要结论：第一，资本沉没率的差异是导致资本跨地区流动的一个独立的而且重要的原因。

I'm strongly against the death penalty — it's an eye for an eye.

我不赞成死刑——这是以牙还牙的报复行为。

And to get you the support you need, we're enlisting all elements of our national power: our diplomacy and development, our economic might and our moral suasion, so that you and the rest of our military do not bear the burden of our security alone.

并给你们所须的支援，我们正徵召国家所有各种的力量：我们的外交及发展，我们的经济力量与道德劝说，所以你们与其他军人不须要孤独地负起国家安全的责任。