home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / sci / math / 17398 < prev    next >
Encoding:
Internet Message Format  |  1992-12-24  |  1.2 KB
  1. Path: sparky!uunet!usc!cs.utexas.edu!wupost!decwrl!access.usask.ca!skorpio!choy
  2. From: choy@skorpio.usask.ca (I am a terminator.)
  3. Newsgroups: sci.math
  4. Subject: Can I prove metalogical statements using logic and set theory?
  5. Date: 24 Dec 1992 20:24:43 GMT
  6. Organization: University of Saskatchewan, Saskatoon, Canada
  7. Lines: 25
  8. Sender: choy@skorpio (I am a terminator.)
  9. Distribution: world
  10. Message-ID: <1hd6abINNigi@access.usask.ca>
  11. NNTP-Posting-Host: skorpio.usask.ca
  12.  
  13. Suppose that I represent logic statements as strings or sets. I can define
  14. functions corresponding to logical inference from a set of logic statements
  15. (or a set of sets of logic statements) to a set of (sets of) logic
  16. statements. I can try to prove things about these functional representations
  17. of logic inferences. Would this work? I'll bet I can read all about it
  18. someplace if someone could tell me where to look.
  19.  
  20.  
  21. -- 
  22.  
  23. Henry Choy
  24. choy@cs.usask.ca
  25.  
  26. Hey kids, start jumping up and down like idiots.
  27.  
  28. Looking for LOG for a good price?
  29.  
  30. Dial 1-800-byBLAMO !!!!
  31.  
  32. "Log rolls down stairs. Rolls over in pairs. 
  33.  Rolls over your neighbor's dog.
  34.  It's good for a snack. It fits on your back.
  35.  It's LOG LOG LOG!!!!"
  36.  
  37.              -- Ren * Stimpy
  38.