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 _______________________________________________ p2p-hackers mailing list p2p-hackers@zgp.org http://zgp.org/mailman/listinfo/p2p-hackers _______________________________________________ Here is a web page listing P2P Conferences: http://www.neurogrid.net/twiki/bin/view/Main/PeerToPeerConferences