Prev: precision definition of a finite-line compared to finite-number #338; Correcting Math
Next: what to do about the Successor axiom once it reaches 999....9999#318; Correcting Math
From: Archimedes Plutonium on 25 Jan 2010 06:52


Archimedes Plutonium wrote:
> Nam Nguyen wrote:
>
> >
> > You've challenged few of us to come up with the definition of "finite-
> > number" or else you'd go on with your ignorant babbling. So here they are,
> > the definition of properties Finite(x) and Infinite(x):
> >
> > P(x) <-> Ey[y <= x)
> > (*)P(x) <-> P(x) /\ AyEz[(y <= x) -> (z < y)]
> > Finite(x) <-> ~(*)P(x)
> > Infinite(x) <-> ~Finite(x)

Alright, let me use Nam's symbols to define both finite number and
finite line:

Finite-Number(y) <-> Ay[y <= 10^500)
Finite-Line(y) <-> Ay[y <= 10^500)
Infinite-Number(x) <-> Ax[x > 10^500)
Infinite-Line(x) <-> Ax[x > 10^500)

Archimedes Plutonium
www.iw.net/~a_plutonium
whole entire Universe is just one big atom
where dots of the electron-dot-cloud are galaxies
From: Nam Nguyen on 25 Jan 2010 09:37
Archimedes Plutonium wrote:
>
> Archimedes Plutonium wrote:
>> Nam Nguyen wrote:
>>
>>> You've challenged few of us to come up with the definition of "finite-
>>> number" or else you'd go on with your ignorant babbling. So here they are,
>>> the definition of properties Finite(x) and Infinite(x):
>>>
>>> P(x) <-> Ey[y <= x)
>>> (*)P(x) <-> P(x) /\ AyEz[(y <= x) -> (z < y)]
>>> Finite(x) <-> ~(*)P(x)
>>> Infinite(x) <-> ~Finite(x)
>
> Alright, let me use Nam's symbols to define both finite number and
> finite line:
>
> Finite-Number(y) <-> Ay[y <= 10^500)
> Finite-Line(y) <-> Ay[y <= 10^500)
> Infinite-Number(x) <-> Ax[x > 10^500)
> Infinite-Line(x) <-> Ax[x > 10^500)

You don't know that Mathematics is abstract, do you?
 | 
Pages: 1
Prev: precision definition of a finite-line compared to finite-number #338; Correcting Math
Next: what to do about the Successor axiom once it reaches 999....9999#318; Correcting Math