home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / math / 17695 < prev    next >
Encoding:
Internet Message Format  |  1993-01-05  |  1.0 KB
  1. Path: sparky!uunet!cis.ohio-state.edu!zaphod.mps.ohio-state.edu!moe.ksu.ksu.edu!ux1.cso.uiuc.edu!usenet.ucs.indiana.edu!master.cs.rose-hulman.edu!master.cs.rose-hulman.edu!news
  2. From: goddard@NeXTwork.Rose-Hulman.Edu (Bart E. Goddard)
  3. Newsgroups: sci.math
  4. Subject: Re: Lifestyle Choices and Secular Reasoning
  5. Date: 5 Jan 1993 15:55:07 GMT
  6. Organization: Computer Science Department at Rose-Hulman
  7. Lines: 12
  8. Message-ID: <1icb0rINNmh0@master.cs.rose-hulman.edu>
  9. References: <C0D8xo.7or@ux1.cso.uiuc.edu>
  10. Reply-To: goddard@NeXTwork.Rose-Hulman.Edu (Bart E. Goddard)
  11. NNTP-Posting-Host: g214-1.nextwork.rose-hulman.edu
  12.  
  13. In article <C0D8xo.7or@ux1.cso.uiuc.edu> kellmeye@ux1.cso.uiuc.edu (kellmeyer  
  14. steven l) writes:
  15. > And if rigidly logical systems such as math, cannot be proved valid,
  16. > where does that leave everything else?  I assume that the natural world
  17. > is at least as complex as arithematic.  
  18. > Steve Kellmeyer 
  19. > kellmeye@ux1.cso.uiuc.edu
  20.  
  21. If a system has the property that some statements are undecidable, it
  22. hardly makes that system "invalid".
  23.  
  24. bart
  25.