说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 句库 -> 哥德尔计算机
1.
A Rough Proof on Goldbach s Conjecture with G·del s Computer;
哥德巴赫猜想简要证明与哥德尔计算机
2.
The national assembly is expected to elect Raul Castro to succeed his brother Fidel.
预计国民议会将选举劳尔?卡斯特罗继承他的哥哥费德尔的职务。
3.
Stockholm Treaty and persistent organic pollutants
斯德哥尔摩尔公约与持久性有机污染物
4.
Gdel's incompleteness theorem and relations between mind and machine
哥德尔不完全性定理和“心灵与机器”的关系问题
5.
Supercomputers can check the conjecture's veracity, but only up to a point.
超级计算机可以验证哥德巴赫猜想的正确性,但只能是在一定的限度内。
6.
Stockholm Stock Exchange
斯德哥尔摩证券交易所
7.
Stockholm, 8 December, 1998
1998年11月于斯德哥尔摩
8.
Stockholm Options Market
斯德哥尔摩期权市场
9.
Stockholm Declaration on the Environment
斯德哥尔摩环境宣言
10.
Santiago de Surco
圣地亚哥-德苏尔科
11.
Stockholm Summary of conclusions
斯德哥尔摩结论纪要
12.
Goldman hated her guts.
哥尔德曼恨她戆直。
13.
Goldman had spoken his mind.
哥尔德曼说了老实话。
14.
"Most computers are nearly blind, deaf and dumb," says Gershenfeld.
格申菲尔德说:“大多数计算机是差不多又瞎、又聋、又哑的。
15.
The First Incomplete Rule of Godle from Non-inverting Calculating of Algebraic Inequality;
从代数不等式的非反演算看哥德尔的第一不完全性定理
16.
Understanding Goldbach's Conjecture Through Imperfection Theorem
以哥德尔不完全性定理认识偶数哥德巴赫猜想
17.
Stockholm's road pricing plans are currently bogged down in political controversy
斯德哥尔摩征收公路通行费的计划已在政治争论中搁浅。
18.
Konrad Zuse in Germany develops the first programmable calculator using binary numbers and boolean logic.
德国康拉德?祖萨开发第一台采用二进制和布尔逻辑的可编程计算机。