On Sat, Nov 29, 2003 at 11:19:37PM -0800, Alvin Oga wrote: > and you weren't in it for the $$$ ?? > (just that bugs and exploits exists? )
When I learned about Godel's work I really freaked out. When I learned there are certain true statements which are not expressible by manipulation of symbols, and that in any sufficiently complex formal system there are no guarantees it won't grind out falsehoods, I started to see it's applicabiity everywhere around me. (It doesn't say there are no true statements.) Everything that happens in all aspects of life makes so much more sense to me once you start from that point. Lots of unexpected events to me are truths that weren't expressible in somebody's system of belief. (Again, it doesn't say that there are no true statements.) I've been waiting for somebody to get rid of the Axiom of Choice. A math prof at Stanford told me they came very close with the Lambda calculus and Lisp to getting past the issues I'm worried about, but I don't think they've nailed it yet. Once somebody disproves Godel I will rest easy... -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]