Goedel

小编 分享 时间:
Goedel是什么意思
英式音标:英式读音
美式音标:美式读音
词义:

释义

[辨证法]哥德尔不完全性定理;

用法:

权威例句

The Goedel Programming Language

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
造句:

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格式