Re: How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?)

In article <1168531212.701957.292180@xxxxxxxxxxxxxxxxxxxxxxxxxxx>,
"Charlie-Boo" <shymathguy@xxxxxxxxx> wrote:
[cut]
If I enter a wff that says ~(eA)FAC(A,a)^BETW(1,A,a) then I am
expressing the assertion that a is a prime number - it has no factors
from 2 to a-1.

That wff is not the expression that a is a prime number.

The condition BETW(1,A,a) is too restrictive. Instead, you should
have just that a is not equal to 1 and a is not equal to A. You have
that a is less than or equal to A - 1, which is not part of the
definition for A being a prime number.

-- Bill Hale
.

Relevant Pages

  • Re: Theories and (denumerable) models
    ... William Elliot wrote: ... expressing that "it is false that there are exactly n things" for any ... a wff is not the same thing as writing the wff itself. ... Are we to become oh so mod cultivating the lazy habit of not giving the ...
    (sci.logic)
  • Re: Theories and (denumerable) models
    ... On Sat, 13 May 2006, David C. Ullrich wrote: ... expressing that "it is false that there are exactly n things" for any ... a wff is not the same thing as writing the wff itself. ...
    (sci.logic)
  • Re: Good frame pump?????
    ... you're just parroting in good faith some grammtical myth ... will explain such myth and lore in the English language. ... adverbial style that avoids expressing opinions. ... hoping expressed in a main clause (as the apparent main assertion), ...
    (rec.bicycles.tech)
  • Re: Theories and (denumerable) models
    ... On Sun, 14 May 2006, mordov wrote: ... expressing that "it is false that there are exactly n things" for any ... a wff is not the same thing as writing the wff itself. ...
    (sci.logic)
  • Re: The British Civil War
    ... It wasn't an assertion. ... It was also about expressing an appreciation of the good old US of A - ... a thread just for the sake of it. ...
    (soc.culture.scottish)