搜索结果: 1-3 共查到“理学 Incompleteness”相关记录3条 . 查询时间(0.043 秒)
Lecture Notes in Computer Science: Incompleteness, uncertainty and autonomy: Intelligent systems
Incompleteness uncertainty autonomy
2014/8/8
We are producing an innovative theory to make a group of autonomous
systems as intelligent as possible to serve as surrogate human decision makers in a
hybrid group of humans and machines for a va...
Stochastic incompleteness for graphs and weak Omori-Yau maximum principle
Dirichlet forms, graphs stochastic completeness
2010/12/6
We prove an analogue of the weak Omori-Yaumaximum principle and Khas’minskii’s criterion for graphs in the general setting of Keller and Lenz. Our approach naturally gives the stability of stochastic ...
The Surprise Examination Paradox and the Second Incompleteness Theorem
The Surprise Examination Paradox Incompleteness Theorem
2010/11/24
We give a new proof for Godel's second incompleteness theorem, based on Kolmogorov complexity, Chaitin's incompleteness theorem, and an argument that resembles the surprise examination paradox. We the...