摘要： 哪些问题可以被计算，哪些不可以被计算（计算机能力的边界）？ 19世纪初，德国著名数学家希尔伯特：这个世界可以建立一套完善的公理体系，由少数几个公理出发，推导出所有的定理和推论。 美籍数学家哥德尔不完备性定理：即便在完善的公理体系中仍然可以找到不能被证明也不能被证伪的命题。 总结：计算机能力也是有边界 阅读全文