home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / math / 9463 < prev    next >
Encoding:
Text File  |  1992-07-23  |  1.6 KB  |  34 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!snorkelwacker.mit.edu!galois!riesz!tycchow
  3. From: tycchow@riesz.mit.edu (Timothy Y. Chow)
  4. Subject: Re: Mathematical reality (was: You know, the integers)
  5. Message-ID: <1992Jul23.171232.6159@galois.mit.edu>
  6. Sender: news@galois.mit.edu
  7. Nntp-Posting-Host: riesz
  8. Organization: None.  This saves me from writing a disclaimer.
  9. References: <11667.Jul2300.06.3692@virtualnews.nyu.edu> <1992Jul23.033720.860@galois.mit.edu> <COLUMBUS.92Jul23085953@strident.think.com>
  10. Date: Thu, 23 Jul 92 17:12:32 GMT
  11. Lines: 21
  12.  
  13. In article <COLUMBUS.92Jul23085953@strident.think.com> columbus@strident.think.com (Michael Weiss) writes:
  14.  
  15. >[discussion by Dan Bernstein and Timothy Y. Chow on whether formalism is
  16. >the "correct" philosophy of mathematics or not-- though they didn't put it
  17. >that way-- omitted]
  18. >
  19. >Gee, do you suppose that Peano, Russell, Brouwer, Hilbert, Godel, and co.
  20. >would have come to an agreement and settled all these questions if only
  21. >they'd had email?
  22.  
  23. I was tempted to use the word "formalism" in the discussion several times
  24. but refrained because I didn't think it was necessary.  Moreover I was not
  25. attempting to refute formalism but trying to show that there are some
  26. difficulties with formalism and it is not the only philosophy of mathematics
  27. around.  This is a more modest goal and has a fighting chance of being
  28. attained.
  29. -- 
  30. Tim Chow     tycchow@math.mit.edu
  31. Where a calculator on the ENIAC is equipped with 18,000 vacuum tubes and weighs
  32. 30 tons, computers in the future may have only 1,000 vacuum tubes and weigh
  33. only 1 1/2 tons.                               ---Popular Mechanics, March 1949
  34.