... 无限基数集（Infinite Cardinality） 停止问题（The Halting Problem） 集合的逻辑（The Logic of Sets） ...
基于1个网页-相关网页
However, all such computational systems are subject to a limitation known as the Halting problem.
然而，所有这些计算系统受到的停机问题已知的限制。
To try to verify dynamic code at compile time would likely walk you straight into the halting problem just like it would for many kinds of tooling.
试图在编译阶段验证动态代码会使你陷入停机问题的漩涡。
The company responded by halting sales of seized homes in the 23 states where court approval is required to foreclose while it gets to the bottom of its "robo-signing" problem.
该公司(不是这些公司)对法拍门的回应是立即在法拍需要法庭核准的23个州里停止对回收楼宇的拍卖，并与此同时，深入调查该公司“自动审批”收楼案件的底细。
应用推荐