The idea of proving theorems mechanically may be dated back to Descartes and Leibnize in the 17th century and has been formulated in precise mathematical forms in the 20th century through the school of Hilbert.
英
美
机器证明的思想可以回溯到 17世纪的 Descartes与 Leibnize,2 0世纪初 Hilbert更明确地提出了公理系统的机械化判定问题。
单词 The idea of proving theorems mechanically may be dated back to Descartes and Leibnize in the 17th century and has been formulated in precise mathematical forms in the 20th century through the school of Hilbert. 的词典定义。@海词词典-最好的学习型词典
以上内容独家创作,受
著作权
保护,侵权必究
今日热词
相关词典网站:
牛津高阶第八版
美国韦氏词典
Dictionary.com
Free Dictionary
维基百科 (自由的百科全书)
目录
附录
音标说明
查词历史
海词
权威词典
翻译
英 汉
|
汉语
|
上海话
广东话
缩略语
人名