But Turing's ideas about computability came from his concept of the Turing machine, which came from thinking about Hilbert's question, is math decidable?
但是图灵关于可计算性的思想来自于他的图灵机概念,而图灵机概念又来自于对希尔伯特问题的思考:数学是可判定的吗?
单词 | computabilities |
例句 |
原声例句
Veritasium真理元素 But Turing's ideas about computability came from his concept of the Turing machine, which came from thinking about Hilbert's question, is math decidable? 但是图灵关于可计算性的思想来自于他的图灵机概念,而图灵机概念又来自于对希尔伯特问题的思考:数学是可判定的吗? |
随便看 |
|
英语例句辞典收录519880条英汉例句词条,基本涵盖了全部常用单词的造句方法及例句,是英语学习的有利工具。