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

Posted 雪兔百合

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了重学操作系统-可计算理论相关的知识,希望对你有一定的参考价值。

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

以上是关于重学操作系统-可计算理论的主要内容,如果未能解决你的问题,请参考以下文章

MSTP理论02-MSTP拓扑计算

计算智能基础理论与方法之进化规则浅谈

计算机基础理论知识梳理篇

分布式系统架构理论与组件

信任要素与分布CAP理论的联系

系统架构师福音—浅谈 CAP 理论