home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / crypt / 2875 < prev    next >
Encoding:
Text File  |  1992-08-12  |  1.1 KB  |  29 lines
  1. Newsgroups: sci.crypt
  2. Path: sparky!uunet!tessi!george
  3. From: george@tessi.com (George Mitchell)
  4. Subject: Re: tabulation of primes
  5. Message-ID: <1992Aug12.171656.8755@tessi.com>
  6. Organization: Test Systems Strategies, Inc., Beaverton, Oregon
  7. References: <9208101729.AA24006@gandalf.ssw.com> <1557@anagld.analytics.com> <Bstqr2.Lxq@cs.columbia.edu> <1992Aug12.152948.39350@news.th-darmstadt.de>
  8. Date: Wed, 12 Aug 1992 17:16:56 GMT
  9. Lines: 18
  10.  
  11. graef@rs5.hrz.th-darmstadt.de (Ulrich Graef) writes:
  12.  
  13. >You must notice, that there exists a small community (even with
  14. >mathematicians among them) which does not believe in inductive
  15. >proofs. I think, they have a lot of problems with commonly
  16. >accepted theorems.
  17.  
  18. Whoa!  Euclid's proof does not involve induction!  It is a
  19. reductio ad absurdum proof, which shows that the premise:
  20.  
  21.    Assume that there is a largest prime n.
  22.  
  23. leads to a contradiction, and therefore the premise cannot be true.
  24.  
  25. You are correct that some people worry about inductive proofs, but
  26. their worries fortunately do not apply here.
  27.  
  28. George Mitchell (george@tessi.com)
  29.