home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / theory / 2779 < prev    next >
Encoding:
Text File  |  1993-01-01  |  2.0 KB  |  53 lines

  1. Newsgroups: comp.theory
  2. Path: sparky!uunet!munnari.oz.au!cs.mu.OZ.AU!aet
  3. From: aet@mullian.ee.mu.OZ.AU (bert thompson)
  4. Subject: Re: Real Numbers vs. Rational Numbers?
  5. Message-ID: <aet.725945425@munagin>
  6. Sender: news@cs.mu.OZ.AU
  7. Organization: Computer Science, University of Melbourne, Australia
  8. References: <1992Dec16.095412.19570@tom.rz.uni-passau.de> <1992Dec16.222628.27208@ringer.cs.utsa.edu> <1992Dec17.142150.7932@tom.rz.uni-passau.de> <1hi8dvINN5l2@uwm.edu>
  9. Distribution: inet
  10. Date: Sat, 2 Jan 1993 03:30:25 GMT
  11. Lines: 40
  12.  
  13. markh@csd4.csd.uwm.edu (Mark) writes:
  14.  
  15. >In article <1992Dec17.142150.7932@tom.rz.uni-passau.de> boerncke@kirk.fmi.uni-passau.de (Frank-Roland Boernke) writes:
  16. >>How is it possible to work with irrationals in a table? Of course you cannot store
  17. >>them digit by digit as there is an infinite number. But if you choose a finite 
  18. >>representation e.g. two letters P and I for the sequence 3.141592654... how can 
  19. >>you calculate say PI * PI? 
  20.  
  21. >Calculate PI * PI.
  22. >Answer: PI*PI.
  23.  
  24. >Since "PI*PI" is a finite representation of PI * PI from which one can
  25. >algorithmically computer any of its digits in finite time, this counts as a
  26. >valid answer.
  27.  
  28. >If you don't consider this valid, then neither will you consider this valid:
  29.  
  30. >Calculate: 2 / 5
  31. >Answer: 2/5.
  32.  
  33. >So then on that account, computers can't even work with fractions.
  34.  
  35. In case you are interested in exact real arithmetic...
  36.  
  37. Hans Boehm has written a simple calculator that performs arithmetic on
  38. constructive real numbers. 
  39.  
  40. his calculator is called C_calc.
  41.  
  42. you can look it up on archie, or i can tell you where to get it. 
  43.  
  44.     bert.
  45.  
  46. ---------------------------------------------------------------------------
  47. bert thompson    aet@munagin.ee.mu.oz.au.
  48. SITEE        school of information technology and electrical engineering
  49.         university of melbourne
  50. ---------------------------------------------------------------------------
  51.      g e t  t h e  p o i n t 
  52. ---------------------------------------------------------------------------
  53.