定理

The reason of our being particularly overjoyed lies primarily on the fact that the subject of this Congress is mathematics, which has been respected as "the queen of sciences" for its brilliant intellectual accomplishments, as suggested by the examples of the discovery of Goedel's theorem and the proof of the Fermat Last theorem in the last century.

我上面说感到"特别高兴"，是因为数学一向以其辉煌的智力成就而被尊为"科学的皇后"，如上一世纪哥德尔定理的提出与费马大定理的证明就是一例。

A few overseas mathematical researchers indicated, after Jiang Chun-xuan writes the "Disprove Wiles' Proof of Fermat's Last Theorem", they would like together with Jiang Chun-xuan's proof of FLT published in China in early 1992, carefully review them together with other mathematicians of their country.

国外几位数学研究者表示，等蒋春暄将《怀尔斯对费马大定理的证明之否定》论文写出来以后，他们愿意将它与蒋春暄1992年初在中国发表的对费马大定理的证明论文一起与本国的数学家共同认真研究。

Schur theorem was discovered by German mathematician Schur in 1916 when researching on the limited domain of Fermat's great theorem.

Schur定理是德国数学家Schur在1916 年研究有限域上的Fermat 大定理时发现的。

This paper talks about these two theorems around the finiteness conjecture and mainly gives detailed proofs for them.

本文将围绕有限性猜测仔细来讨论这两个定理，主要是详细补出了这两个定理的证明。

Moreover, we also get a fixed point theorem of uniform partial extension mapping and a fixed point theorem of quasi- extension mapping.

另外，我们还得一个一致局部扩张映射不动点定理与一个准扩张映射不动点定理。

As application, a continuous selection and its fixed point theorem are obtained.

作为应用，获得了连续选择及其不动点定理和一个Browder-Fan不动点定理。

The results are obtained by using semigroup theory and the Schauder fixed point theorem.

文中给出了预解算子的定义、适度解和强解存在定理以及定理的详细证明。

Using the fixed point theorem and degree theory, we give two existence theorems to the system under some conditions.

讨论了一类二、四阶耦合常微分方程组正解的存在性，利用不动点定理和度理论，在一定条件下得到了该方程组正解的两个存在性定理。

The existence of the first solution is obtained by using a nonlinear alternative of Leray-Schauder, and the second one is found by using a Krasnoselskii fixed point theorem in cones.

第一个正解的存在性是通过运用非线性Leray-Schauder抉择定理得到的，第二个解是通过Krasnoselskii锥不动点定理得到的。

Some existence and uniqueness theorems for above problem are established by using certain fixed point theorem based on the degree theory.

用基于度理论的不动点定理，建立了一系列存在唯一性定理。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。