Re: Punctuation

On 31 Jul., 21:19, fernando revilla <frej0...@xxxxxxxxxxxxxxxxxx>
wrote:
Michael Stemper wrote:
How would you punctuate this?

Ae>0Ed>0P(x,e,d)

"For all epsilon greater than zero, there exists a
delta greater than
zero such that proposition."

Would the proper punctuation be the insertion of
colons:

Ae>0:Ed>0:P(x,e,d)

Would it be grouping the quantifiers:

(Ae>0)(Ed>0)P(x,e,d)

Is there a recommended/preferred approach?

--
Michael F. Stemper
#include <Standard_Disclaimer>
This message contains at least 95% recycled bytes.

Being strict, that is, using the alphabet of symbols of
Predicate Calculus:

Variables: e,d,...
Individual constants: 0,...
Predicates: G(x): " x greater than 0 ",...
Well formed formulas: P,...
Connectives: ~, ->
Universal quantifier: A
Punctuation: ( , ), ,

Then, "For all epsilon greater than zero, there exists a
delta greater than zero such that P" could be written:

((Ae)G(e)) -> (~((Ad)(~(G(d) -> P))))

No, this seems to read "If all epsilon are positive, then ..."


Fernando.


.

Relevant Pages

  • Re: Possible proof of Gabriels Theorem?
    ... >> that delta must eventually become zero, however, according to the ... No infinitesimals. ... Nothing indeed about epsilon being small. ...
    (sci.math)
  • Re: "All random number generators eventually exhibit periodicity"?????
    ... >my mind) the strongest indication, where its strength is epsilon, ... >such that for any number delta greater than zero, ...
    (sci.crypt)
  • Re: Forth PARANOIA
    ... to floating point is that (0+delta)^0=1 for all delta, ... Since from delta approaching zero from both the negative ... I'm not a mathematician so I leave it to the experts to prove or ... rather than a 1 which could result from a valid computation. ...
    (comp.lang.forth)
  • Re: Compulsory low-energy light-bulbs
    ... might be ASCII for delta? ... it approaches zero to get a desired result e.g. "Result approaches ... I needed to make a dipstick for the water tank on a yacht to ... The fact that the ends of the cylinder were capped with truncated spheres made the resulting formula particularly hideous, as it means calculating the volume of a sphere cut by 2 arbitrary perpendicular planes. ...
    (uk.legal)
  • Re: Possible proof of Gabriels Theorem?
    ... This means that delta must eventually be ... > that delta must eventually become zero, however, according to the ... What is the difference between integrating ... I have spoken to so many students who have passed real analysis courses ...
    (sci.math)