go top

matthew cook 添加释义

网络释义英英释义

  雇员库克

这条定理的证明由沃尔夫勒姆研究公司前雇员库克(Matthew Cook)在1994年给出。但是沃尔夫勒姆用公司与雇员之间的合同约束库克在《新科学》出版之前不得发表他的证明。

基于20个网页-相关网页

Matthew Cook

  • abstract: Matthew Cook is an American mathematician.

以上来源于: WordNet

双语例句权威例句

  • Moreover, Wolfram, and Matthew Cook have proven that rule 110 is computationally equivalent to a universal Turing machine.

    此外,Wolfram和Matthew Cook还证明了110规则在计算上等同于一个一般性图灵机。

    youdao

更多双语例句
更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定