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

 Public ReplyPrvt ReplyMark as Last ReadFilePrevious 10Next 10PreviousNext  
To: ahhaha who wrote (392)10/5/1998 4:14:00 PM
From: EPS  Read Replies (1) of 2794
 
Godel proved that if you make a system of axioms infinitely strong there still exists within
the system truths not provable from the axioms. Are those truths non sequitir?

Is is worst than that. If we were sure that they were truths why bother to prove them? What Godel showed was that we cannot decide if they are true or not..

Victor
Report TOU ViolationShare This Post
 Public ReplyPrvt ReplyMark as Last ReadFilePrevious 10Next 10PreviousNext