Re: Galileo's Paradox

Tony Orlow wrote:
David Marcus wrote:
Tony Orlow wrote:
David Marcus wrote:
Tony Orlow wrote:

Why do you have a problem with the mere suggestion of an infinite value?
I don't have a problem with infinite values. However, you have to do
more than merely say "positive infinite n". Assuming your positive
infinite things aren't the same as something that we already know about
(in which case, you should just say so), you either need to give a
construction of these positive infinite things or you need to specify
their properties. You haven't done either. For example, how many of
these things are there? How do they relate to each other? How do they
interact with the natural numbers? Are the operations of addition and
multiplication defined for them?
Well, I have been through much of that regarding such specific language
approaches as the T-riffic digital numbers, but that's not necessary for
this purpose. It suffices to say that, if a statement is proved true for
all n greater than some finite k, that that also includes any postulated
infinite values of n, since they are greater than any finite k. I don't
need to construct these numbers. Consider them axiomatically declared.

Then list the axioms for them.

(sigh)

infinite(x) <-> A yeR x>y

Is that your only axiom? If so, then state your first theorem about them
and give the proof.

--
David Marcus
.

Relevant Pages

  • Re: Answer to OJ
    ... infinite sets do not exist. ... You CAN'T prove that WITHOUT SOME AXIOMS ABOUT ... The structure of the paths is PRE-asserted by the term "binary tree"! ... Your alleged "construction" HAS NOTHING TO DO with the structure ...
    (sci.logic)
  • Re: Galileos Paradox
    ... I don't have a problem with infinite values. ... construction of these positive infinite things or you need to specify ... Then list the axioms for them. ... such as that the size of the even naturals is half that of the naturals. ...
    (sci.math)
  • Re: Galileos Paradox
    ... I don't have a problem with infinite values. ... construction of these positive infinite things or you need to specify ... then state your first theorem about them ... such as that the size of the even naturals is half that of the naturals. ...
    (sci.math)
  • Re: Galileos Paradox
    ... Tony Orlow wrote: ... I don't have a problem with infinite values. ... construction of these positive infinite things or you need to specify ...
    (sci.math)
  • Re: Galileos Paradox
    ... I don't have a problem with infinite values. ... construction of these positive infinite things or you need to specify ... Then list the axioms for them. ...
    (sci.math)