♋
人工智能
艾伦图灵
如果你使用的演算里有悖论，桥会塌的
主要从事数理逻辑、纯数学、计算机科学、理论生物学方面研究