SI
SI
discoversearch

We've detected that you're using an ad content blocking browser plug-in or feature. Ads provide a critical source of revenue to the continued operation of Silicon Investor.  We ask that you disable ad blocking while on Silicon Investor in the best interests of our community.  If you are not using an ad blocker but are still receiving this message, make sure your browser's tracking protection is set to the 'standard' level.
Non-Tech : Derivatives: Darth Vader's Revenge -- Ignore unavailable to you. Want to Upgrade?


To: ahhaha who wrote (402)10/5/1998 10:01:00 PM
From: robnhood  Respond to of 2794
 
WOW,,, <ggg>,, ahhaha is what I'm doing right now...
I even looked up ephemeral on webster's




To: ahhaha who wrote (402)10/6/1998 1:37:00 PM
From: EPS  Read Replies (2) | Respond to of 2794
 
ahhaha,

OK, I see. However, note that

"..but no effective decision procedure
exists to determine whether they are true. That is, machines can't be programmed to
necessarily find proofs. "

Machines cannot even decide the truth of certain fact we know by others means to be true. I take you mean theoretical machines (a la Turing, etc). In this realm of course it is hard to distinguish a "human" from a "machine". Penrose has written very nicely about this in his books *The emperors new cloths*, *Shadows of the mind*...

Now lets go back to business shall we? what do you think about Reynold's proposed plan to fix Japan's economy I posted a couple of days ago?

Regards

Victor