home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / theory / 2744 < prev    next >
Encoding:
Internet Message Format  |  1992-12-22  |  2.3 KB

  1. Path: sparky!uunet!pipex!bnr.co.uk!uknet!glasgow!jack
  2. From: jack@dcs.glasgow.ac.uk (Jack Campin)
  3. Newsgroups: comp.theory
  4. Subject: Re: Real Numbers vs. Rational Numbers?
  5. Message-ID: <BzMGIy.D39@dcs.glasgow.ac.uk>
  6. Date: 21 Dec 92 18:25:45 GMT
  7. References: <1992Dec16.095412.19570@tom.rz.uni-passau.de> <7111@tivoli.UUCP>
  8. Reply-To: jack@dcs.glasgow.ac.uk (Jack Campin)
  9. Organization: COMANDOS Project, Glesga Yoonie
  10. Lines: 31
  11.  
  12. taylor@foraker.NoSubdomain.NoDomain (Eric Taylor) wrote:
  13. > boerncke@kirk.fmi.uni-passau.de (Frank-Roland Boernke) writes:
  14. >> Our professor told us, that RAMs are allowed to store REAL numbers too AND
  15. >> they are  still as powerful as an ordinary turing machine. I claimed, this
  16. >> can`t be true, since there isn`t any possibility to work with irrational 
  17. >> numbers in TMs. 
  18. > REAL numbers are always RATIONAL numbers and vice-versa.  The terminology
  19. > "REAL number", I believe, is not a formal one, but one borrowed from
  20. > something like FORTRAN where they are simply meant to represent floating
  21. > point numbers.  Any rational number can be represented by the division of
  22. > 2 integers and are therefore easily handled by a RAM or Turing machine.
  23.  
  24. I think I'll have that one bronzed.  You'll be a *long*, *long* time living
  25. that one down, pal.  Count yourself lucky that the trained ape who did your
  26. news configuration has preserved you some measure of anonymity by obscuring
  27. your site's identity.
  28.  
  29. Anyone else tempted to add their own bladderful to this torrent of
  30. misinformation: there is a substantial literature on computing with real
  31. numbers, ultimately going all the way to Brouwer's intuitionism of the
  32. 1920s, and you will look less of an idiot than these two if you read some
  33. of it.  For starters you might get a copy of Lecture Notes in Computer
  34. Science 613, "Constructivity in Computer Science", ed. J.P. Myers and M.J.
  35. O'Donnell, Springer-Verlag 1991, and read back from the references in the
  36. Chirimar/Howe, Tucker/Zucker, and Weihrauch papers there.
  37.  
  38. -- 
  39. --  Jack Campin    room G092, Computing Science Department, Glasgow University,
  40. 17 Lilybank Gardens, Glasgow G12 8RZ, Scotland   TEL: 041 339 8855 x6854 (work)
  41. INTERNET: jack@dcs.glasgow.ac.uk or via nsfnet-relay.ac.uk    FAX: 041 330 4913
  42. BANG!net: via mcsun and uknet     BITNET: via UKACRL    UUCP: jack@glasgow.uucp
  43.