home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / math / 9450 < prev    next >
Encoding:
Internet Message Format  |  1992-07-23  |  949 b 
  1. Path: sparky!uunet!think.com!news!columbus
  2. From: columbus@strident.think.com (Michael Weiss)
  3. Newsgroups: sci.math
  4. Subject: Mathematical reality (was: You know, the integers)
  5. Date: 23 Jul 92 08:59:53
  6. Organization: Thinking Machines Corporation, Cambridge MA, USA
  7. Lines: 8
  8. Message-ID: <COLUMBUS.92Jul23085953@strident.think.com>
  9. References: <9601.Jul2112.44.3692@virtualnews.nyu.edu>
  10.     <1992Jul22.094640.1@amherst.edu>
  11.     <11667.Jul2300.06.3692@virtualnews.nyu.edu>
  12.     <1992Jul23.033720.860@galois.mit.edu>
  13. NNTP-Posting-Host: strident.think.com
  14. In-reply-to: tycchow@riesz.mit.edu's message of Thu, 23 Jul 92 03:37:20 GMT
  15.  
  16.  
  17. [discussion by Dan Bernstein and Timothy Y. Chow on whether formalism is
  18. the "correct" philosophy of mathematics or not-- though they didn't put it
  19. that way-- omitted]
  20.  
  21. Gee, do you suppose that Peano, Russell, Brouwer, Hilbert, Godel, and co.
  22. would have come to an agreement and settled all these questions if only
  23. they'd had email?
  24.