重学操作系统-可计算理论

哪些问题可以被计算，哪些不可以被计算（计算机能力的边界）？
19世纪初，德国著名数学家希尔伯特：这个世界可以建立一套完善的公理体系，由少数几个公理出发，推导出所有的定理和推论。
美籍数学家哥德尔不完备性定理：即便在完善的公理体系中仍然可以找到不能被证明也不能被证伪的命题。
总结：计算机能力也是有边界的。哥德尔的不完备性定理，让大家看到了世界上还有大量不可计算的问题。
人工智能：很多问题虽然不可计算，却能在特定领域，让计算机的解决方案超过人类的水平，这就是人工智能。
停机问题