德尔
- 与 德尔 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
Prior to her marriage to Arne, Cecilia had already had numerous successes singing in works by Handel.
在此之前她的婚姻阿恩,张柏芝已经产生的作品唱韩德尔了无数的成功。
-
The runners up to Jupiter are No. 2 -- Atherton, California; No. 3 -- Aspen, Colorado; 4th - Los Altos Hills, California; and 5th Belvedere, California.
富裕程度次于朱庇特岛的是:第2名加州的阿瑟顿;第3名科罗拉多州的阿斯班;第4名加州的洛阿图斯;第5名加州的贝维德尔。
-
1 Now on the third day, Esther put on her royal garments and stood in the inner courtyard, looking toward the royal palace, while the king was seated on his royal throne in the audience chamber, facing the palace doorway.
第二天,艾斯德尔身穿王后的华服,站在王宫的内院,面向宫殿;那时君王正坐在宫殿的宝座上,面向宫门。
-
Gretchen Bender, an avant-garde artist who had worked to "decode gender and sexuality," began making a different kind of creation.
有一名前卫艺术家葛瑞晨本德尔原先旨在「解码性别」,却开始创作不一样的作品。
-
The others problems discussed are nested interval method, Cantor theorem, C del incompleteness theorem and Axiom of choice etc.
同时对区间套法,康托定理,哥德尔定理,选择公理等与之密切相关的一些问题,作了深入讨论并得出创新性结论。
-
This thesis inductively points out where the logicians did not satisfied with the theory of type mainly lies in two points, the axiom of reducibility first and the vicious-circle principle second. This thesis has discussed Ramsay's improvements as well as the criticism from Godel. Then, it observes that they two had a common view, viz. rejecting the vicious-circle principle from the points of Realism. Against Russell's insisting on this principle, such a rejecting seems so distinguished, which, this thesis argued, was the deep difference between Realism and Nominalism shedding on the reality of classes.
文中主要探讨了莱姆塞对类型论所做的改进以及哥德尔对类型论的批评,指出这二者的共同点是从实在论的立场来拒斥恶性循环原则,他们对恶性循环原则的拒斥同罗素对它的坚持形成了鲜明的对比,本文认为,这种对比所反映出来的差别实际上就是在类的实在性问题上实在论和唯名论的差别。
-
The most important development in mathematical logic for the philosophy of mathematics was Godel's proof that any axiomatic system powerful enough to formalise arithmetic will be incomplete in the sense that there will be truths which are not provable within the system.
数理逻辑中最重要的数学哲学的发展是哥德尔的证明,任何公理系统足够强大以正式算术将在这个意义上不完全会有真理不属于系统内证明的。
-
Although the axiomatize of set theory dispels the crisis of axiomatizing in some time.
虽然集合论的公理化一度时期曾化解了悖论给公理化方法所带来的危机,但不久哥德尔不完全性定理就深刻地揭露了公理化方法不可避免的局限性。
-
The relationship is off to a good start,' Mr. Bader said.
巴德尔说,美中关系即将迎来良好开端。
-
Mark place in Bagdad Sodar city district killing at least 69 people.
在巴格达萨德尔城地区的密集市场的一起爆炸事件中,至少69人死亡。
- 推荐网络例句
-
I am accused of being overreligious," she said in her quiet, frank manner,"but that does not prevent me thinking the children very cruel who obstinately commit such suicide.""
客人们在卡罗利娜·埃凯家里,举止就文雅一些,因为卡罗利娜的母亲治家很严厉。
-
Designed by French fashion house Herm è s, this elegant uniform was manufactured in our home, Hong Kong, and was the first without a hat.
由著名品牌 Herm è s 设计,这件高贵的制服是香港本土制造,是我们第一套不配帽子的制服。
-
Do not 'inflate' your achievements and/or qualifications or skills .
不要 '夸大' 你的业绩或成果,条件或者技能。