No.419. 你可知道一个出生在中国的华人,孕育了理论计算机科学?
在我有限的认知里,在计算机发展的早期,出生在中国大陆的华人对这方面的贡献是比较少的,毕竟那个年代,中国在社会学方面进行探索,当时没有精力搞计算机。我是说以前,现在当然很厉害了,在量子计算机领域、生命科学领域、中药与计算机结合的领域,已经遥遥领先了,这个不必我多说。我是说以前,上个世纪。但是,有一位出生于中国大陆的华人,是真的开创了人工智能一个相当重要的领域:自动定理证明。… 阅读更多
No.419. 你可知道一个出生在中国的华人,孕育了理论计算机科学? Read More »