home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / math / 17724 < prev    next >
Encoding:
Internet Message Format  |  1993-01-06  |  3.1 KB

  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!usc!news.service.uci.edu!beckman.com!dn66!a_rubin
  2. Newsgroups: sci.math
  3. Subject: Re: Number of numbers (Was Re: PI)
  4. Message-ID: <a_rubin.726276787@dn66>
  5. From: a_rubin@dsg4.dse.beckman.com (Arthur Rubin)
  6. Date: 5 Jan 93 23:33:07 GMT
  7. References: <1992Dec31.012553.146@front.se> <1993Jan4.232723.3685@smsc.sony.com> 
  8.  <1993Jan5.020509.18268@infodev.cam.ac.uk> <1993Jan5.192626.10661@oracle.us.oracle.com>
  9. Organization: Beckman Instruments, Inc.
  10. Nntp-Posting-Host: dn66.dse.beckman.com
  11. Lines: 46
  12.  
  13. In <1993Jan5.192626.10661@oracle.us.oracle.com> mfriedma@uucp (Michael Friedman) writes:
  14.  
  15. >In article <1993Jan5.020509.18268@infodev.cam.ac.uk> gjm11@cus.cam.ac.uk (G.J. McCaughan) writes:
  16. >>In article <1993Jan4.232723.3685@smsc.sony.com> markc@smsc.sony.com (Mark Corscadden) writes:
  17. >>>1)  ========== primitive recursive functions
  18. >>>    The are the functions which you can compute in a typical general-
  19. >>>    purpose computer language, except that before you enter any loop
  20. >>>    you must first compute an upper bound on the maximum number of
  21. >>>    times you will be allowed to pass through the loop, and must not
  22. >>>    exceed this pre-computed upper bound.
  23.  
  24. >>  [description of "partial recursive", "total recursive"]
  25.  
  26. >>>Suppose you define a real number to be "primitive recursive" if there is
  27. >>>a primitive recursive function which computes the Nth decimal digit as
  28. >>>a function of N.  Same for a "total recursive" real number.
  29.  
  30. >>>Does anyone know whether PI is primitive recursive by the definition above?
  31. >>>If not, this fact seems to capture a bit of Samuel's "gut feeling" that
  32. >>>his example SUM(10^-(n!)) is "much simplier to calculate" than PI, since
  33. >>>SUM(10^-(n!)) is clearly primitive recursive.
  34.  
  35. >>Sorry; pi is primitive recursive. Take any of the squillions of formulas
  36. >>for pi which give error terms which actually give bounds on how far wrong
  37. >>a given approximation is. (For instance, though I wouldn't dream of
  38. >>actually computing pi with this, pi=4(1-1/3+1/5-1/7+1/9...) where the
  39. >>error incurred by stopping at any given point is at most equal to the
  40. >>size of the next term.) Then compute how many terms you need to take to
  41. >>get the first N decimal places, and what sort of precision you need to
  42. >>use; and run the algorithm that far. No unbounded loops in sight.
  43.  
  44. >Is this really true?  After all, we know that there are arbitrarily
  45. >long strings of consecutive 0s and 9s in the decimal expansion of PI.
  46. >What precision to I need to compute the Nth digit of PI if that Nth
  47. >digit is at teh beginning of such a sequence?  After all, you can
  48. >change the value of digit N by adding (for 9s) or subtracting (for 0s)
  49. >and arbitrarily small value if the string of identical digits is long
  50. >enough.
  51.  
  52. Well, actually, we don't know that there are arbitrarily long strings of
  53. consecutive 0s and 9s in the decimal expansion of Pi.
  54. --
  55. Arthur L. Rubin: a_rubin@dsg4.dse.beckman.com (work) Beckman Instruments/Brea
  56. 216-5888@mcimail.com 70707.453@compuserve.com arthur@pnet01.cts.com (personal)
  57. My opinions are my own, and do not represent those of my employer.
  58. My interaction with our news system is unstable; please mail anything important.
  59.