Re: ** says: Definition: sum{i in N} i = 0

In article <1182621910.264480.283680@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
WM <mueckenh@xxxxxxxxxxxxxxxxx> wrote:

On 23 Jun., 18:24, Tony Orlow <t...@xxxxxxxxxxxxx> wrote:

Mathematics is not a matter of votes and definitions.

"SUM {n = 1 to oo} 1/2^n is not larger than 1." This theorem holds not
by vote and not by definition, but by mathematics.

Regards, WM

Hear! Hear!

It can be proved by experiment.

Only in the old sense of "proved" meaning "tested". And no such "proof"
can, by WM's own philosophy, ever be complete.

And no experiment can even be performed until one has a definition of
what "SUM {n = 1 to oo} 1/2^n" means and what "is not larger than" means
and what "1" means.
.