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.

Rich
_______________________________________________
http://www.mccmedia.com/mailman/listinfo/brin-l

Reply via email to