Goedel
小编由 分享
时间:

英式音标:

美式音标:

词义:
释义
[辨证法]哥德尔不完全性定理;
用法:
Goedel-type universes and the Landau problem
On Simple Goedel Numberings and Translations
The existence of Goedel, Einstein, and de Sitter universes
Black holes in Goedel-type universes with a cosmological constant
Three-dimensional origin of Goedel spacetimes and black holes
Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements
Quantization of heterotic strings in a Goedel/Anti de Sitter spacetime and chronology protection
Explicit Fermi Coordinates and Tidal Dynamics in de Sitter and Goedel Spacetimes
A self-applicable partial evaluator for the logic programming language Goedel
权威例句
The Goedel Programming LanguageGoedel-type universes and the Landau problem
On Simple Goedel Numberings and Translations
The existence of Goedel, Einstein, and de Sitter universes
Black holes in Goedel-type universes with a cosmological constant
Three-dimensional origin of Goedel spacetimes and black holes
Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements
Quantization of heterotic strings in a Goedel/Anti de Sitter spacetime and chronology protection
Explicit Fermi Coordinates and Tidal Dynamics in de Sitter and Goedel Spacetimes
A self-applicable partial evaluator for the logic programming language Goedel
造句:
1. Remove the meat with a fork and divide it among four plates.
用餐叉把肉叉走,分到4个盘里。
来自柯林斯例句
2. The road divides; you should take the right fork.
路在这里分了岔;你应该走右边一条。
来自柯林斯例句
3. The spade and fork have longer shafts, providing better leverage.
锹和耙的手柄较长,可发挥较好的杠杆作用。
来自柯林斯例句
4. He will have to fork out for private school fees for Nina.
他得为尼娜付一大笔私立学校的学费。
来自柯林斯例句
5. Britons fork out more than a billion pounds a year on toys.
英国人每年花在玩具上的钱超过10亿英镑。
来自柯林斯例句
[ fork 造句 ]
Goedel
将本文的Word文档下载到电脑,方便收藏和打印
推荐度:





点击下载文档文档为doc格式