Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?

tchow_at_lsa.umich.edu
Date: 02/07/05

  • Next message: Torkel Franzen: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?" 
    Date: 07 Feb 2005 03:45:44 GMT

    In article <4206e35f$0$577$b45e6eb0@senator-bedfellow.mit.edu>, I wrote:
    >Expressing "p is prime" is easy: ~(Ex Ey (x+2)*(y+2) = p).

    Oops, this should have been: (Ex x+2 = p) & ~(Ex Ey (x+2)*(y+2) = p)
    since 0 and 1 are not prime. 

    -- 
Tim Chow       tchow-at-alum-dot-mit-dot-edu
The range of our projectiles---even ... the artillery---however great, will
never exceed four of those miles of which as many thousand separate us from
the center of the earth.  ---Galileo, Dialogues Concerning Two New Sciences
  • Next message: Torkel Franzen: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"

    Relevant Pages

    • Re: NP with oracle machines
      ... never exceed four of those miles of which as many thousand separate us from ... the center of the earth. ... Dialogues Concerning Two New Sciences ...
      (comp.theory)
    • Re: Name the thesis: "Formal sentences capture informal ones"
      ... never exceed four of those miles of which as many thousand separate us from ... the center of the earth. ... Dialogues Concerning Two New Sciences ...
      (comp.theory)
    • Re: Name the thesis: "Formal sentences capture informal ones"
      ... never exceed four of those miles of which as many thousand separate us from ... the center of the earth. ... Dialogues Concerning Two New Sciences ...
      (sci.logic)
    • Safe or bold?
      ... never exceed four of those miles of which as many thousand separate us from ... the center of the earth. ... Dialogues Concerning Two New Sciences ...
      (rec.games.backgammon)
    • Re: Cook (unintended solution) for Spin-out puzzle
      ... never exceed four of those miles of which as many thousand separate us from ... the center of the earth. ... Dialogues Concerning Two New Sciences ...
      (rec.puzzles)