home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / math / 11126 < prev    next >
Encoding:
Internet Message Format  |  1992-09-08  |  1.7 KB
  1. Path: sparky!uunet!mcsun!uknet!pavo.csi.cam.ac.uk!camcus!gjm11
  2. From: gjm11@cus.cam.ac.uk (G.J. McCaughan)
  3. Newsgroups: sci.math
  4. Subject: Re: Proof of God's Existence
  5. Message-ID: <1992Sep8.165644.13568@infodev.cam.ac.uk>
  6. Date: 8 Sep 92 16:56:44 GMT
  7. References: <1992Sep8.143447.6958@st-andrews.ac.uk>
  8. Sender: news@infodev.cam.ac.uk (USENET news)
  9. Organization: U of Cambridge, England
  10. Lines: 31
  11. Nntp-Posting-Host: bootes.cus.cam.ac.uk
  12.  
  13. In article <1992Sep8.143447.6958@st-andrews.ac.uk>, ajtd@honey.st-and.ac.uk (Tony Davie) writes:
  14. > I think this one is due to Smullyan:
  15. > 
  16. > Consider the sentence "If this sentence is true then God exists"
  17. > 
  18. > Proof: 1. The sentence is true                            Hypothesis
  19. >        2. If this sentence is true then God exists        From 1
  20. >        3. God exists                                      Modus Ponens 1,2
  21. > 
  22. >        4. If this sentence is true then God exists        Deduction Theorem 1,3
  23. > 
  24. > The sentence is proved (and therefore true) QED
  25. > 
  26. > Corollary: By the theorem and the fact that it is true and Modus Ponens,
  27. > God exists.
  28. > 
  29. > OR, of course, by a similar argument, God doesn't exist or My aunty's a banana
  30. > or anything you like.
  31.  
  32. It becomes clearer why this works if you rewrite "If this sentence is true
  33. then I am the Pope" as "Either this sentence is false or I am the Pope".
  34. Here's another version, which is basically the same:
  35.  
  36. Consider the sentence "This sentence is false".
  37. Assume for contradiction that I am not the Pope.
  38. <insert Epimenides paradox here>
  39. So we have a contradiction; hence I am the Pope.
  40.  
  41. -- 
  42. Gareth McCaughan     Dept. of Pure Mathematics & Mathematical Statistics,
  43. gjm11@cus.cam.ac.uk  Cambridge University, England.    [Research student]
  44.