Turing is retarded.

The following loops forever:

int main(){
while(1);
return 0;
}

The following does not:

int main(){
return 0;
}

Me: 1
Turing: 0

so?

export LD_PRELOAD=~/fuckwithmain.so;

ok so write two functions then:

* int run(int code, int value) which runs a program with code code and input value value and produces its return value
* int halts(int code, int value) which returns 1if the program with code code and input value value halts, and 0 otherwise.

now let liarcode be the number expressing the following program:


int liar(int liarcode) {
 if(!halts(liar(liarcode))) { return 1; } else { while(1) {} }
}

and tell me what does your function give for halts(liarcode,liarcode)?

Oops, I should have wrote halts(liarcode,liarcode) not halts(liar(liarcode)). Correction:

int liar(int liarcode) {
 if(!halts(liarcode,liarcode)) { return 1; } else { while(1) {} }
}

* int run(int code, int value) which runs a program with code code and input value value and produces its return value

not needed

I don't get what your message is.

>>4
; (halts? f x) => #t if (f x) halts, else #f
(define (g x)
 (if (halts? g x) (let l () (l)) #t))
(halts? g g)