home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / math / 18782 < prev    next >
Encoding:
Text File  |  1993-01-27  |  2.0 KB  |  39 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!tcsi.com!iat.holonet.net!news.cerf.net!usc!howland.reston.ans.net!zaphod.mps.ohio-state.edu!darwin.sura.net!gatech!hubcap!ncrcae!ncrhub2!ncrgw2!psinntp!scylla!daryl
  3. From: daryl@oracorp.com (Daryl McCullough)
  4. Subject: Re: godel theorem and godel theorem ....(Re: Where's
  5. Message-ID: <1993Jan26.171442.1734@oracorp.com>
  6. Organization: ORA Corporation
  7. Date: Tue, 26 Jan 1993 17:14:42 GMT
  8. Lines: 29
  9.  
  10. cole@alexia.lis.uiuc.edu (Sandra Stewart-Cole) writes:
  11.  
  12. >I think the missing links between GT and the assertitions you've seen it 
  13. >applied to are that science and philosophy are attempts to create a fully 
  14. >logical complete consistent system for modeling life and the universe. That is
  15. >not really all that accurate, but I think it explains the connection for (1) 
  16. >and (3). The fiction of truth is a bit different. There is no proveable truth 
  17. >logically beyond ones own existence if one does not make assumptions of truth.
  18. >For those who have sought to make only a few assumptuions and prove various 
  19. >truths that fully represent reality consistently from them, GT undermines the 
  20. >attempt. It shows that logical deduction is insufficient to explain anything 
  21. >complex no matter how many starting axioms you take. For seekers of objective 
  22. >truth backed by logic, this is a disturbing concept.
  23.  
  24. I don't have any answer for you, but I would like to point out that
  25. there is a problem in applying logical results to informal talk about
  26. truth. According to our informal notions, TRUTH is something out there
  27. waiting for us to find it. After we find the TRUTH, we may try to
  28. express it in words, or we may find that it can't be expressed in
  29. words. In any event, we intuitively think of TRUTH as something that
  30. exists independently of the language we use to express it. In
  31. contrast, when a logician talks about truth, she is talking about a
  32. property of a language (or more generally, the relationship between a
  33. language and an intended model). There are no language-independent
  34. truths for the logician.
  35.  
  36. Daryl McCullough
  37. ORA Corp.
  38. Ithaca, NY
  39.