home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / physics / 22666 < prev    next >
Encoding:
Text File  |  1993-01-12  |  1.4 KB  |  29 lines
  1. Newsgroups: sci.physics
  2. Path: sparky!uunet!spool.mu.edu!darwin.sura.net!newsserver.jvnc.net!newsserver.technet.sg!nuscc!matmcinn
  3. From: matmcinn@nuscc.nus.sg (brett mcinnes)
  4. Subject: Re: TIME HAS INERTIA - GOEDEL's THEOREMS - att: Dr.PRATT, Mc CULLOUGH
  5. Message-ID: <1993Jan13.035516.18281@nuscc.nus.sg>
  6. Organization: National University of Singapore
  7. X-Newsreader: Tin 1.1 PL4
  8. References: <1993Jan12.175136.26546@infodev.cam.ac.uk>
  9. Date: Wed, 13 Jan 1993 03:55:16 GMT
  10. Lines: 17
  11.  
  12. gjm11@cus.cam.ac.uk (G.J. McCaughan) writes:
  13. : > : I don't know any way of proving Godel's Theorem that doesn't require quite
  14. : > : a bit of technical muchking around. (Or else a lot of non-rigorous handwaving,
  15. : > : of course; but one can prove anything given sufficient willingness to wave
  16. : > : one's hands.)
  17. : >                     Please prove this.
  18. : 
  19. : Well, like, it's sort of obvious, isn't it? After all, all you have to do is
  20. : wave your hands abou a bit and say things are obvious, and it's pretty clear
  21. : that most proofs are made up of lots of obvious steps and all the cleverness
  22. : is in the details, so all you have to do is sort of wave your hands on all
  23. : the tricky bits and everyone will believe you. See?
  24. : 
  25. No. You didn't say that one could give a handwaving proof that one can
  26. prove anything given sufficient willingness to wave one's hands. You said
  27. "proof".    
  28. Lucky nobody reads abian any more.
  29.