这类方法难于成功的原因是直至今日，化学中可以转化为能有效地应用计算机来解决的形式数学(Formal mathematics)的问题还不多，绝大多数化学知识的信息量大，又多是经验的和各种数据类型相混杂的。
基于12个网页-相关网页
“数学化”是“生活数学”提升为“形式数学”的阶梯。
"Mathematization" was the ladder to upgrade "life math" into "formal math".
数学家 Gregory Chaitin 和 A.N.Kolmogorov 在他们关于复杂性和形式系统的局限性的开创性工作中，迫使我们更仔细地考虑最后一个说法。
In their groundbreaking work regarding complexity and the limitations of formal systems, mathematicians Gregory Chaitin and A.N. Kolmogorov force us to consider this last claim more closely.
事实上，你们已经见过其中，一个的数学形式。
And in fact, you've seen the math for one of them already pretty clearly.
应用推荐