home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / sci / math / 17364 < prev    next >
Encoding:
Internet Message Format  |  1992-12-23  |  1.4 KB
  1. Path: sparky!uunet!pipex!bnr.co.uk!uknet!qmw-dcs!arodgers
  2. From: arodgers@dcs.qmw.ac.uk (Angus H Rodgers)
  3. Newsgroups: sci.math
  4. Subject: Re: Negative Zero
  5. Keywords: -0
  6. Message-ID: <1992Dec23.163224.20926@dcs.qmw.ac.uk>
  7. Date: 23 Dec 92 16:32:24 GMT
  8. References: <1992Dec12.010711.15778@leela.cs.orst.edu> <1992Dec15.174003.203407@uctvax.uct.ac.za> <1992Dec21.190158.4586@galois.mit.edu>
  9. Sender: usenet@dcs.qmw.ac.uk (Usenet News System)
  10. Organization: Computer Science Dept, QMW, University of London
  11. Lines: 18
  12. Nntp-Posting-Host: io.dcs.qmw.ac.uk
  13.  
  14. In <1992Dec21.190158.4586@galois.mit.edu>
  15. jbaez@riesz.mit.edu (John C. Baez) writes:
  16.  
  17. >[...] I would imagine that
  18. >after a while he'd get bored, start thinking about the problem and come
  19. >to some conclusion.  Maybe: "Infinity MUST exist.  If it didn't this
  20. >program would have halted by now!"
  21.  
  22. Or: "1 exists. 2 exists. 3 exists. ... 10,677 exists. Hmm -- impressive
  23. enough evidence. Conjecture: infinity exists. ... Proof? Hmm -- try
  24. mathematical induction? Yes, that's great! 0 exists. And if n exists,
  25. so does n+1. So n exists, for all n. But there are infinitely many n;
  26. so infinity exists. QED."  :-)
  27. --
  28. Gus Rodgers,  Dept. of Computer Science, |  [Profound thought for 1993]
  29. Queen Mary & Westfield College, Mile End |     "Philishave is about
  30. Road, London, England.   +44 71 975 5241 |      personal choice" 
  31. E-mail (JANET):   arodgers@dcs.qmw.ac.uk |             -- TV advert
  32.