home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / math / 10194 < prev    next >
Encoding:
Text File  |  1992-08-12  |  1.2 KB  |  27 lines

  1. Newsgroups: sci.math
  2. Path: sparky!uunet!cis.ohio-state.edu!magnus.acs.ohio-state.edu!wjcastre
  3. From: wjcastre@magnus.acs.ohio-state.edu (W.Jose Castrellon G.)
  4. Subject: Proofs from a finite number of examples (was RE: marrying ages)
  5. Message-ID: <1992Aug13.014926.29386@magnus.acs.ohio-state.edu>
  6. Sender: news@magnus.acs.ohio-state.edu
  7. Nntp-Posting-Host: bottom.magnus.acs.ohio-state.edu
  8. Organization: The Ohio State University,Math.Dept.(studnt)
  9. References: <hubert.713379330@spica> <55Z55ZP@math.fu-berlin.de>
  10. Date: Thu, 13 Aug 1992 01:49:26 GMT
  11. Lines: 14
  12.  
  13. In article <55Z55ZP@math.fu-berlin.de> guckes@math.fu-berlin.de (Sven Guckes) writes:
  14. ... 
  15.  [original article deleted]
  16. ...
  17. >
  18. >If he uses four examples to prove his statement - tell him to quit math!
  19. >
  20.  
  21. Maybe not...once I came across a paper by  Chaitin  (I dont have the reference
  22. at hand, sorry) where he writes about the busy beaver function and the
  23. implications that the knowledge of some of its values would bring: if FLT is
  24. true, then it would follow from the proofs for exponents  n, 2 < n < a, for
  25. some fixed a; same for other diophantine equations and various long standing
  26. conjectures. As you might know, busy beaver is non-computable.
  27.