home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / alt / philosop / objectiv / 902 < prev    next >
Encoding:
Internet Message Format  |  1993-01-23  |  1.1 KB
  1. Path: sparky!uunet!usc!rpi!bu.edu!buitc.bu.edu!ccmlh
  2. From: ccmlh@buitc.bu.edu (Mark Hayes)
  3. Newsgroups: alt.philosophy.objectivism
  4. Subject: My Godel is Killing Me
  5. Message-ID: <108003@bu.edu>
  6. Date: 22 Jan 93 21:42:29 GMT
  7. Sender: news@bu.edu
  8. Organization: Boston University, Boston, MA, USA
  9. Lines: 14
  10. Originator: ccmlh@buitc.bu.edu
  11.  
  12. > [Godel's Incompleteness Proof]
  13. > ... shows that logical deduction is insufficient to explain anything
  14. > complex no matter how many starting axioms you take.
  15.  
  16. I can't believe this pot is still bubbling.
  17.  
  18. Godel's Proof says nothing, Nothing, NOTHING about the sufficiency of
  19. anything to "explain" anything. Godel was concerned with the limits of
  20. proof in formal systems. The nature of "explanation", however, is not at
  21. all formal (though explanations, of course, may involve formal proofs).
  22. It would seem to have much to do with a kind of "rational satisfaction"
  23. that is extremely difficult to characterize: theory T "explains"
  24. phenomenon P iff T somehow satisfies an ideal rational being's desire to
  25. understand why P happens. Whatever that means.
  26.