home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / talk / origins / 14222 < prev    next >
Encoding:
Text File  |  1992-11-15  |  1.5 KB  |  33 lines
  1. Newsgroups: talk.origins
  2. Path: sparky!uunet!snorkelwacker.mit.edu!bloom-picayune.mit.edu!athena.mit.edu!lking
  3. From: lking@athena.mit.edu (Loren King)
  4. Subject: Re: Post-Goedel confidences
  5. Message-ID: <1992Nov15.223651.9419@athena.mit.edu>
  6. Sender: news@athena.mit.edu (News system)
  7. Nntp-Posting-Host: m11-113-12.mit.edu
  8. Organization: Massachusetts Institute of Technology
  9. References: <1992Nov9.113847@IASTATE.EDU> <e0N3TB8w165w@kalki33> <1992Nov13.195833.12085@athena.mit.edu> <1992Nov13.221725.10364@galois.mit.edu> <97714@netnews.upenn.edu>
  10. Date: Sun, 15 Nov 1992 22:36:51 GMT
  11. Lines: 20
  12.  
  13. In article <97714@netnews.upenn.edu>, weemba@sagi.wistar.upenn.edu (Matthew P Wiener) writes:
  14. |> In article <1992Nov13.221725.10364@galois.mit.edu>, tycchow@nevanlinna (Timothy Y. Chow) writes:
  15. |> >     The analogy with Goldbach's conjecture that you bring up later is
  16. |> >a good one.  In the past, mathematicians would have been confident in
  17. |> >saying, "Well, we don't have a proof either way yet, but we know that
  18. |> >there *is* a proof one way or the other.  The problem is a mathematical
  19. |> >one and can be solved by mathematical means."  After Godel, nobody is
  20. |> >willing to say even this.
  21. |> 
  22. |> That's simply not true.  Platonism and logic are a powerful force in
  23. |> assertions regarding open problems.  Just sometimes folks are wrong.
  24.  
  25.  
  26. Amusing (well, maybe ... a bit) aside: apparently -- well, according to 
  27. Bertrand Russell's notes and Autobiography -- Goedel himself was an 
  28. unabashed Platonist.
  29.  
  30.  
  31. Loren King
  32. MIT
  33.