| Posted by: Jim Deutch at August 5, 2004, 2:50 pm | | Topic: UK's GCHQ Whistle-blower case also impacts Greenpeace protes Forum: groupsrv | | On Tue, 27 Jul 2004 12:51:56 +1000, Andrew Maizels wrote: Quote:Wayne Throop wrote: ::: Humans aren't immune to Godel's Incompleteness Theorem or Turing's ::: work arising from it. :: Says who? : Andrew Maizels <amgnwk@pixymisa.com : Says Godel. Godel *PROVED* that for any logically consistent system : powerful enough to include arithmetic, there are statements in that : system that cannot be shown to be either true or false. You think humans are consistent? Yes and no. I got this little dialog out of Raymond Smullyan's "5000 B.C. and Other Philosophical Fantasies". He credits it to Goodwin Sammel. I think it's very funny (and apropo). A: It's true! B: It's not! A: Yes, it is! B: It couldn't be! A: It _is_ true! B: Prove it! A: Oh, it can't be proved, but nevertheless it's true. B: Now, just a minute: how can you say it's true if it can't be proved? A: Oh, there are certain things that are true even though they can't be proved. B: That's not true! A: Yes, it is; Goedel _proved_ that there are certain things that are true but that cannot be proved. B: That's not true! A: It certainly is! B: It couldn't be, and even if it _were_ true, it could never be proved! Jim Deutch (Jimbo the Cat) -- "She's a know-how cow and she wants out now from the cow town." - Colleen Kattau |
|
Shared Movies
Over 80 Million Movies and TV-Shows to choose from
Categories:
History Movie Science Fiction Movie Drama Movie Divx Movie Censorship Tragedy Movie Romance Star Wars Movie Theater Movie Quote Harry Potter Movie Download Fantasy Movie Worst Movies Film noir Blooper Movie Award Anime Favourite Movie Celebrities
Links:
Forum Extractor
|