Jim Choate wrote:
What I'd like to know is does Godel's apply to all forms of para-consistent logic as well....
It applies to "any sufficiently complex axiomatic system". Allegedly.
Cheers, Ben. -- http://www.apache-ssl.org/ben.html http://www.thebunker.net/ "There is no limit to what a man can do or how far he can go if he doesn't mind who gets the credit." - Robert Woodruff
