不可计算性相关论文
RADO的忙海狸函数∑(n)是从空白带出发的n态停机图灵机能在带上留下的1的最大个数.经过30多年的研究讨论,和忙海狸函数相关,还引进......
1686年,莱布尼茨在他的中指出,如果某个任意复杂理论是被允许的话.那么“理论”的观念就是个空观念,因为总是会有一种理论存在的.......
