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.