Re: Name the thesis: "Formal sentences capture informal ones"

From: Torkel Franzen (torkel_at_sm.luth.se)
Date: 02/03/05

  • Next message: Keith Ramsay: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?" 
    Date: 03 Feb 2005 06:12:27 +0100

    lrudolph@panix.com (Lee Rudolph) writes:

    > It would be kind of you
    > to remind me, so I'll have something more recent to forget.

      It wouldn't surprise me if all if I have picked this up from
    Kreisel, but I can't at the moment recall any comments of his.

  • Next message: Keith Ramsay: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"

    Relevant Pages

    • Re: Name the thesis: "Formal sentences capture informal ones"
      ... lrudolph@panix.com (Lee Rudolph) writes: ... > to remind me, so I'll have something more recent to forget. ... It wouldn't surprise me if all if I have picked this up from ... but I can't at the moment recall any comments of his. ...
      (sci.logic)
    • Re: John Schuck
      ... my surprise, Draal (aka John Schuck) was playing Ben Franklin. ... of times he did remind me of Draal though.) ...
      (rec.arts.sf.tv.babylon5.moderated)
    • Re: John Schuck
      ... my surprise, Draal (aka John Schuck) was playing Ben Franklin. ... of times he did remind me of Draal though.) ...
      (rec.arts.sf.tv.babylon5.moderated)
    • Re: John Schuck
      ... and to my surprise, Draal (aka John Schuck) was playing Ben ... Franklin. ... (A couple of times he did remind me of Draal though.) ...
      (rec.arts.sf.tv.babylon5.moderated)
    • Re: Linux/XP
      ... probably in need of psychological help. ... You remind me of a Macintosh fanatic. ... WINDOWS XP! ... Surprise, surprise! ...
      (microsoft.public.windowsxp.general)