home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / math / 14402 < prev    next >
Encoding:
Internet Message Format  |  1992-11-04  |  1.3 KB
  1. Path: sparky!uunet!olivea!charnel!rat!usc!rpi!uwm.edu!linac!unixhub!stanford.edu!CSD-NewsHost.Stanford.EDU!Sunburn.Stanford.EDU!pratt
  2. From: pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt)
  3. Newsgroups: sci.math
  4. Subject: Re: Trivial! (was: Re: Help X^2 == Y mod N)
  5. Message-ID: <1992Nov5.031326.11279@CSD-NewsHost.Stanford.EDU>
  6. Date: 5 Nov 92 03:13:26 GMT
  7. References: <1992Nov5.001930.24516@galois.mit.edu>
  8. Sender: news@CSD-NewsHost.Stanford.EDU
  9. Organization: Computer Science Department,  Stanford University.
  10. Lines: 17
  11.  
  12. In article <1992Nov5.001930.24516@galois.mit.edu> jbaez@riesz.mit.edu (John C. Baez) writes:
  13. >Some of you may remember the post in which I described a system of logic
  14. >with a predicate T such that T(P) means "P is trivial".  T(P) -> P
  15. >but not vice-versa.  (Well, in real life T(P) does not imply P, but
  16. >we're just joking around here.)  T(P) -> T(T(P)), though.
  17.  
  18. Isn't T->TT contradicted by the example of Norbert Wiener?  After being
  19. challenged about T(P) for some P that probably no one remembers any
  20. more, Wiener wandered away in deep thought and returned 20 minutes
  21. later to announce triumphantly that it was indeed trivial.
  22.  
  23. Or did you mean Trivial(P) -> Triumphantly(Trivial(P))?
  24.  
  25. (MIT is the official repository of Wiener stories, so I fully expect a
  26. suitable counterstory from John.)
  27. -- 
  28. Vaughan Pratt                There's no truth in logic, son.
  29.