good luck finding holes in a finite order logic

http://web.media.mit.edu/~vyzo/papers/computability.pdf

I can tell you this. It is a correct program. But you can't reason about
it even in Infinite Order Logic. You have to go beyond.

Give to to anyone who thinks he can disprove LISP.
I just wrote the smallest possible program that demonstrates that the
entire science of centralization, as accepted today is wrong.
This is the most beautiful program I ever wrote.
Good luck reverse engineering it.

-- vyzo