On 5/11/06, Richard Baker <[EMAIL PROTECTED]> wrote:
Nick said: > Nope. I'm talking about the limits of logic. One cannot prove > absolute non-existence with logic. You may infer it all day long, > but you can't prove it with logic. I don't see what's wrong with my argument: - 7 is not an integer multiple of 2. - Therefore a machine that proves that 7 is an integer multiple of 2 is logically impossible. - Therefore the universe contains no such machine. It seems to me that this very clearly proves the non-existence of something.
Not until you prove that in every part of the universe, mathematics operations exactly as it does here. *Prove* it logically, don't assume, intuit or infer it. I think you might have to go visit and check. Use additional lifetimes if necessary. Nick -- Nick Arnett [EMAIL PROTECTED] Messages: 408-904-7198 _______________________________________________ http://www.mccmedia.com/mailman/listinfo/brin-l
