元宇宙的设计要不要自由意志？如果没有自由意志，难道南京大屠杀和纳粹杀犹太人是天意？去问易先生他们吧

逻辑是可以轻侮的吗？逻辑不同于数学，现在的数学逻辑有缺陷。用逻辑研究逻辑、用测量研究测量会造成比哥德尔语句更重要、更广适的问题。

那篇获奖论文The Three Crises in Mathematics: Logicism, Intuitionism and Formalism没讲清楚三大学派的本质区别和缺陷，当然也无法对三大学派作修正。近年在知乎上看到别人也讲不清。

文明的研究涉及复杂逻辑。哥伦布前几百年，诺曼人征服盎格鲁-撒克逊的英格兰，但维京人在加拿大的生存竞争中失败。这个问题超出物理科学和生命科学范畴，需要新的科学逻辑和智力科学作研究。

自由意志问题研究也如此。计算机和人工智能连鼠脑和猫脑都无法模拟，连鼠和猫的智力都达不到，怎么可能生成自由意志？

互联网上又在谈南京大屠杀。我合法离开中国，早已入美国国籍，不再谈论中国事务。张爱玲和易先生是中国人吧，让他们和他们的读者、观众去谈吧。

我只研究逻辑和科学。至于元宇宙的设计要不要自由意志，看Meta的老板和老板娘怎么想，黄仁勋先生怎么想。

通用人工智能AGI到底有没有可能？