home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / math / 9417 < prev    next >
Encoding:
Text File  |  1992-07-22  |  910 b   |  30 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!s5!sethb
  3. From: sethb@fid.morgan.com (Seth Breidbart)
  4. Subject: Re: What more do you want?
  5. Message-ID: <1992Jul22.213501.18144@fid.morgan.com>
  6. Organization: Morgan Stanley & Co., New York, NY
  7. References: <1992Jul21.190243.16846@galois.mit.edu>
  8. Date: Wed, 22 Jul 1992 21:35:01 GMT
  9. Lines: 19
  10.  
  11. In article <1992Jul21.190243.16846@galois.mit.edu>
  12. tycchow@riesz.mit.edu (Timothy Y. Chow) writes:
  13. >For a change of pace, here's a dramatization of the frustration that
  14. >existence proofs can sometimes cause.
  15. :
  16. ;
  17. >    but I don't have any idea how
  18. >   big C is.  On the other hand, that's not a big problem, because
  19. >   C is computable.
  20. >B: You mean there's an algorithm that will give you the value of C
  21. >   explicitly?
  22. >A: Exactly.
  23.  
  24. All integers are computable.
  25.  
  26. Nice post, though.  It does illustrate some concepts that some people
  27. have trouble with.
  28.  
  29. Seth        sethb@fid.morgan.com
  30.