矛与盾

l4m2

假设有一台机器，位长是无限的（即可常数时间进行各基本计算）。不仅如此，还可以判断函数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);
}
那么会怎么样？（一个命题如果不自涉，就不会半真半假，对不）