Derivatives: Darth Vader's Revenge Message Board

STOCKTALK

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

Public Reply Prvt Reply Mark as Last Read File

Previous 10 Next 10 Previous Next

To: ahhaha who wrote (402)	10/6/1998 1:37:00 PM
From: EPS	Read Replies (2) 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

Report TOU Violation

Share This Post

Public Reply Prvt Reply Mark as Last Read File

Previous 10 Next 10 Previous Next