第444章 我需要一个白手套

在苏黎世的第九届世界数学家大会上的开幕式上，李谦作为中国代表团的团长，做了约一个小时的演讲，演讲的内容关于可计算性理论的，并提出了一种抽象的用于计算的机器的模型，因为这里面涉及到很多新的，此前并没有发