4 ms·
Conceivablility is no substitute for a sound proof.
by thenerdfiles 13y ago
Conceivablility is no substitute for a sound proof.
- TelmoMenezes 13y agoOf course. However, sometimes no prove is possible. This limitation of formal logic was proved by Gödel. Here, I believe mind emulation might be possible, but I believe I cannot know for sure unless my own mind is emulated -- in which case I will have private knowledge but no way to prove it to you. How can I prove that I'm conscious? You can see how this problem extends to simulated realities (or computational realities).
- thenerdfiles 13y agoGE Moore gave a perfectly valid proof. [Here is a hand, here is another hand; I have two hands.]