有奖纠错
| 划词
Veritasium真元素

And this means mathematics is undecidable.

这意味着数学是不可判定的。

评价该例句:好评差评指正
Veritasium真元素

Only recently, in 2015, did mathematicians prove that in general the spectral gap question is undecidable.

直到最近的 2015 年,数学家才证明隙问题一般是不可判定的。

评价该例句:好评差评指正
Veritasium真元素

Although they are powerful, every Turing-complete system comes with a catch, its own analog of the halting problem, some undecidable property of the system.

尽管功能强大, 但是每个图灵完备系在缺陷,即其自身的停机问题类似物,以及系的一些不可判定性质。

评价该例句:好评差评指正

用户正在搜索


any, Anyang, anybody, Anycall, anycast, Anyclub, anyhow, AnyMob, any-mode, anymore,

相似单词


3G, 401(K), a,
  • 微信二维码

    关注我们的微信

  • 手机客户端二维码

    下载手机客户端

赞助商链接