home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / math / 18667 < prev    next >
Encoding:
Internet Message Format  |  1993-01-23  |  1.1 KB
  1. Path: sparky!uunet!elroy.jpl.nasa.gov!sdd.hp.com!ux1.cso.uiuc.edu!roundup.crhc.uiuc.edu!focus!hougen
  2. From: hougen@focus.csl.uiuc.edu (Darrell Roy Hougen)
  3. Newsgroups: sci.math
  4. Subject: >>godel theorem ...
  5. Date: 22 Jan 1993 21:28:49 GMT
  6. Organization: Center for Reliable and High-Performance Computing, University of Illinois at Urbana-Champaign
  7. Lines: 23
  8. Message-ID: <1jpouiINNgmh@roundup.crhc.uiuc.edu>
  9. NNTP-Posting-Host: focus.csl.uiuc.edu
  10. Summary: godel theorem
  11. Keywords: goedel
  12.  
  13. cole@alexia.lis.uiuc.edu (Sandra Stewart-Cole) writes:
  14.  
  15. % For those who have sought to make only a few assumptuions and prove
  16. % various truths that fully represent reality consistently from them, GT
  17. % undermines the attempt.
  18.  
  19. True.
  20.  
  21. % It shows that logical deduction is
  22. % insufficient to explain anything complex no matter how many starting
  23. % axioms you take.
  24.  
  25. Fine.
  26.  
  27. % For seekers of objective truth backed by logic, this
  28. % is a disturbing concept.
  29.  
  30. Perhaps, but it is the concept of truth and not the concept of
  31. objectivity that must be modified.  It is still possible obtain
  32. objective knowledge by logical inference from observation.
  33.  
  34. Darrell R. Hougen
  35.  
  36.