矛与盾
假设有一台机器，位长是无限的（即可常数时间进行各基本计算）。不仅如此，还可以判断函数f能否取得true值。写这个程序：
int main(){
while(haltable(main));
return 0;
}
bool haltable(func){
return maybe f(?,?);
}
bool f(x,y){
i=1;
while(i<x){
if(!nextstep(x/i % i,x%i))return false;
i *=y;
}
return (x/i % i == endstep);
}
那么会怎么样？（一个命题如果不自涉，就不会半真半假，对不）
页:
[1]