home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / crypt / 2877 < prev    next >
Encoding:
Internet Message Format  |  1992-08-12  |  1.5 KB
  1. Path: sparky!uunet!dtix!darwin.sura.net!Sirius.dfn.de!math.fu-berlin.de!news.th-darmstadt.de!rs5.hrz.th-darmstadt.de!graef
  2. From: graef@rs5.hrz.th-darmstadt.de (Ulrich Graef)
  3. Newsgroups: sci.crypt
  4. Subject: Re: tabulation of primes
  5. Message-ID: <1992Aug12.194603.23527@news.th-darmstadt.de>
  6. Date: 12 Aug 92 19:46:03 GMT
  7. References: <9208101729.AA24006@gandalf.ssw.com> <1557@anagld.analytics.com> <Bstqr2.Lxq@cs.columbia.edu> <1992Aug12.152948.39350@news.th-darmstadt.de> <1992Aug12.171656.8755@tessi.com>
  8. Sender: news@news.th-darmstadt.de (The Usenet-News System)
  9. Organization: TU Darmstadt
  10. Lines: 25
  11. Nntp-Posting-Host: rs5.hrz.th-darmstadt.de
  12.  
  13. In article <1992Aug12.171656.8755@tessi.com>, george@tessi.com (George Mitchell) writes:
  14. > graef@rs5.hrz.th-darmstadt.de (Ulrich Graef) writes:
  15. > 
  16. > >You must notice, that there exists a small community (even with
  17. > >mathematicians among them) which does not believe in inductive
  18. > >proofs. I think, they have a lot of problems with commonly
  19. > >accepted theorems.
  20. > 
  21. > Whoa!  Euclid's proof does not involve induction!  It is a
  22. > reductio ad absurdum proof, ...
  23.  
  24. You are right, but I only use the wrong words (english is not
  25. my native language). There is also a group, which worries
  26. about `reductio ad absurdum' proofs.
  27.  
  28. A friend of mine worry about both!!!
  29.  
  30. Uli
  31.  
  32.  
  33. -- 
  34. Ulrich Graef        |  analog (phone) :  +49 6155 62493           
  35. Lichtenbergweg 11   |  digital (Email): graef@hrz.th-darmstadt.de 
  36. D-W-6103 Griesheim  +--------------------------------------------
  37. Germany             |  Nothing is real, look into your mirror!
  38.