Re: Cantor's diagonal proof wrong?
From: Curt Welch (curt_at_kcwc.com)
Date: 11/16/04
- Next message: Charlie-Boo: "Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem"
- Previous message: Albert: "Re: Goedel applied to the real-world"
- In reply to: Acid Pooh: "Re: Cantor's diagonal proof wrong?"
- Next in thread: Han de Bruijn: "Re: Cantor's diagonal proof wrong?"
- Messages sorted by: [ date ] [ thread ]
Date: 16 Nov 2004 00:36:34 GMT
poopdeville@gmail.com (Acid Pooh) wrote:
> Sorry to burst your bubble, but if you expect to be able to verify
> that a machine is cognating, you're not going to be able to in any
> non-functionalist sense. And that's not going to satisfy many people.
It will satisfy them in the end. I'll let you figure out why that must
be true.
-- Curt Welch http://CurtWelch.Com/ curt@kcwc.com http://NewsReader.Com/
- Next message: Charlie-Boo: "Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem"
- Previous message: Albert: "Re: Goedel applied to the real-world"
- In reply to: Acid Pooh: "Re: Cantor's diagonal proof wrong?"
- Next in thread: Han de Bruijn: "Re: Cantor's diagonal proof wrong?"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
|