停机问题相关论文
顾维桢先生在《捕风捉影说思维》中把深奥的数理逻辑问题用浅显的日常用语表达出来，很了不起。只是在国内专业工作者看来，有些译名不......
RADO的忙海狸函数∑(n)是从空白带出发的n态停机图灵机能在带上留下的1的最大个数.经过30多年的研究讨论,和忙海狸函数相关,还引进......
