|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Message
|
|
|
| ``Re: Self reference''
by AxelBoldt on 2006-03-07 14:48:06 |
|
| "Running "Halt" on the encoded form of "Break" is not a diificult opertaion to visualize."
True, but programming "Break" in the first place is extremely hard to visualize. After all, the programm "Break" contains within it a representation of the program "Break"! It's not clear how to write something like that in Scheme, for instance.
Please change Break(x) in the way suggested by John Allsup below.
Break(x) {
if IsValidCode(x) and Halt(x,x) then
while true do nothing
else
return true
fi
} |
| | [ reply | up | top ] |
|
|
|
|
|
|
