莱布尼茨，复杂性和不完整性][Leibniz, Complexity and Incompleteness]

莱布尼茨，复杂性和不完整性 Leibniz, Complexity and Incompleteness


课程网址:	http://videolectures.net/ephdcs08_chaitin_lcai/
主讲教师:	Gregory Chaitin
开课单位:	奥克兰大学
开课时间:	2008-10-15
课程语种:	英语
中文简介:	我将讨论莱布尼茨关于复杂性的观点（Discours de metaphysique，1686），导致关于程序大小复杂性，停止概率和不完整性的现代工作。莱布尼茨充分理性的原则断言，如果有任何事情是真的，那么这是正确的。但是停止概率的数值的位是数学真理，无缘无故。更确切地说，正如我将要解释的那样，它们是不可简化的数学真理，也就是说，无论如何，它们都比其自身更简单。
课程简介:	I will discuss Leibniz's ideas on complexity (Discours de metaphysique, 1686), leading to modern work on program-size complexity, the halting probability and incompleteness. Leibniz's principle of sufficient reason asserts that if anything is true it is true for a reason. But the bits of the numerical value of the halting probability are mathematical truths that are true for no reason. More precisely, as I will explain, they are irreducible mathematical truths, that is, true for no reason simpler than themselves.
关键词:	复杂性; 概率; 不完整性
课程来源:	视频讲座网
最后编审:	2019-04-10：lxf
阅读次数:	63

境外开放课程导航