home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / physics / 22601 < prev    next >
Encoding:
Text File  |  1993-01-12  |  1.5 KB  |  31 lines
  1. Newsgroups: sci.physics
  2. Path: sparky!uunet!pipex!warwick!pavo.csi.cam.ac.uk!camcus!gjm11
  3. From: gjm11@cus.cam.ac.uk (G.J. McCaughan)
  4. Subject: Re: TIME HAS INERTIA - GOEDEL's THEOREMS - att: Dr.PRATT, Mc CULLOUGH
  5. Message-ID: <1993Jan12.175136.26546@infodev.cam.ac.uk>
  6. Sender: news@infodev.cam.ac.uk (USENET news)
  7. Nntp-Posting-Host: grus.cus.cam.ac.uk
  8. Organization: U of Cambridge, England
  9. References: <1993Jan11.173405.6660@infodev.cam.ac.uk> <1993Jan12.050005.23233@nuscc.nus.sg>
  10. Date: Tue, 12 Jan 1993 17:51:36 GMT
  11. Lines: 18
  12.  
  13. In article <1993Jan12.050005.23233@nuscc.nus.sg>, matmcinn@nuscc.nus.sg (brett mcinnes) writes:
  14. > gjm11@cus.cam.ac.uk (G.J. McCaughan) writes:
  15. > : 
  16. > : I don't know any way of proving Godel's Theorem that doesn't require quite
  17. > : a bit of technical muchking around. (Or else a lot of non-rigorous handwaving,
  18. > : of course; but one can prove anything given sufficient willingness to wave
  19. > : one's hands.)
  20. >                     Please prove this.
  21.  
  22. Well, like, it's sort of obvious, isn't it? After all, all you have to do is
  23. wave your hands abou a bit and say things are obvious, and it's pretty clear
  24. that most proofs are made up of lots of obvious steps and all the cleverness
  25. is in the details, so all you have to do is sort of wave your hands on all
  26. the tricky bits and everyone will believe you. See?
  27.  
  28. -- 
  29. Gareth McCaughan     Dept. of Pure Mathematics & Mathematical Statistics,
  30. gjm11@cus.cam.ac.uk  Cambridge University, England.    [Research student]
  31.