1·But what is risk other than a formalisation of fear?
可风险不就是恐惧的一种形式化方式吗？
2·Often considered to be the father of modern computer science, Turing provided an influential formalisation of the concept of the algorithm and computation with the Turing machine.
通常认为他是现代计算机科学之父，图灵利用图灵机的发明提供了一套影响深远的关于算法和计算概念的规范。