Re: 1-1/2+1/3-1/4+1/5-1/6+1/7



On Tue, 12 Feb 2008 14:58:43 +0100, Han de Bruijn
<Han.deBruijn@xxxxxxxxxxxxxx> wrote:


Geez! In my _finitary_ comprehension, the whole thing is sooo obvious !

That does not suffice in mathematics.

PLEEEZE note:

(1) "Confusion in math can be avoided by stating clear definitions
(first) and (then) formulating proofs _based on that definitions_."
(G. Frege)

(2) "Unproven statements carry little weight in the world of
mathematics." (Amir D. Aczel)


Therefore I'm _begging_ you to employ a formalism which is as simple
and straightforward as possible

It seems that you've already forgotten what I've said in one of my posts
(*sigh*):

"WARNING: It seems to me that you are lacking some prerequisites for
this discussion. Hence the following might not be clear at all. Now YOU
have to be patient."

Now concerning the notion of /limit/ for sequences of sets, there
actually IS a simple formalism. (But do develop that formalism one has
to refer to the basic DEFINITIONs mentioned in my other post).

Anyway here is a simple formalism concerning limit for sequences of
sets:

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Let (E_n) be a sequence of sets.

Let
oo oo oo oo
A = UNION SECT E_m, B = SECT UNION E_m.
n=1 m=n n=1 m=n

(UNION... the set theoretic union, SECT... the set theoretic
intersection.)

If
A = B,

then the limit of (E_n) exists, and we have

lim E_n = A = B.
n

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

A simple and clean approach. Remember:

"Everything should be made as simple as possible, but not simpler."
(Albert Einstein) ^^^^^^^^^^^^^^^


F.

--

E-mail: info<at>simple-line<dot>de
.



Relevant Pages

  • Re: Questioning the defintions of set and element.
    ... must therefore be taken as foundational for all of mathematics? ... handle of the objects they are dealing with; for others, formalism is ... isn't the picture of mathematics ... If you are thinking exclusively about the Riemann zeta function in the ...
    (sci.math)
  • Re: Largest provable BB(N)?
    ... |correct to argue that induction only involves the numbers ... That is, the induction principle assumes ... sequences of tally marks were used to ... |view of mathematics, the subject matter of mathematics is ...
    (sci.math)
  • Re: Cantor Confusion
    ... I surmise you mean 'formalism' not necessarily to refer to the ... theories as Z set theory. ... non-standard logics, paraconsistent logic, as well as the many ... I am just telling you some of what mathematics has to offer ...
    (sci.math)
  • RE: Article: Model Selection and the Molecular Clock
    ... The words supply meaning. ... mathematics must work with and not against, ... of gene and genome sequences. ... evolutionary genetics" to PRECEDE "the data to which they are applied" only ...
    (sci.bio.evolution)
  • Re: Raatikainens critique of Chaitin
    ... But what in the particular example of incompleteness ... formalism fits the 20th century zeitgeist so well: ... As Vladimir Tasic says in his book Mathematics and the Roots ... Numbers like Omega. ...
    (comp.theory)