Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: Mathematics in brief
Replies: 84   Last Post: Dec 11, 2012 3:23 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
mueckenh@rz.fh-augsburg.de

Posts: 14,708
Registered: 1/29/05
Re: Mathematics in brief
Posted: Dec 9, 2012 3:35 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On 9 Dez., 05:55, Zuhair <zaljo...@gmail.com> wrote:

> You need to prove that the set of all paths is countable, and so far
> you didn't present a proof of that.


The set of all finite paths is countable. Therefore it is not possible
to define an infinite path by adding nodes to any finite path. All
nodes to be added are already in finite paths. Therefore, by following
the nodes of a path, you never define an infinite path. It is
interesting that practically everybody not yet brainwashed can
understand that.

Hence, there remains only the possibility to define the infinite path
by a finite definition. But there are only countably many.

>I think using Cantor's argument
> one can prove that for any countably many paths of the Binary Tree
> there is a path that is not among them and thus establish a proof of
> uncountability of those paths.


Then there is a contradiction. But you dismiss every contradiction?
Therefore my proof mus be invalid???

But there is not even a contradiction. More precisely: There would be
a contradiction, if there wer uncountably many diagonal possible. But
in fact, no infinite sequence of paths defines a diagonal-path unless
the sequence has a finite definition such that every path is known. As
you know an infinite sequence cannot be defined by listing its terms.
You need a finite definition to define the sequence and its diagonal.
Again we reach the conclusion: There are only countably many finite
definitions.
>
> Math is discourse about "possible" form. Uncountability of the reals
> is PROVED in very weak fragments of ZFC, actually in PREDICATIVE
> fragments of second order arithemtic, which are PROVED to be
> consistent. This provide a discourse about form, thus uncountability
> of the reals is a possibility! thus it is mathematical, since reals
> can be interpreted as forms in the set hierarchy.


See above. People have not taken into account that only a *defined*
sequence gives a defined diagonal. There are only countably many
finite definitions.

Regards, WM


Date Subject Author
12/8/12
Read Mathematics in brief
Zaljohar@gmail.com
12/8/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/8/12
Read Re: Mathematics in brief
Zaljohar@gmail.com
12/8/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/8/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
fom
12/9/12
Read Re: Mathematics in brief
Zaljohar@gmail.com
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Zaljohar@gmail.com
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Virgil
12/8/12
Read Re: Mathematics in brief
Zaljohar@gmail.com
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
Zaljohar@gmail.com
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Charlie-Boo
12/9/12
Read Re: Mathematics in brief
Zaljohar@gmail.com
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Zaljohar@gmail.com
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Zaljohar@gmail.com
12/9/12
Read Re: Mathematics in brief
Zaljohar@gmail.com
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Zaljohar@gmail.com
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
Zaljohar@gmail.com
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Virgil
12/10/12
Read Re: Mathematics in brief
Zaljohar@gmail.com
12/10/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/10/12
Read Re: Mathematics in brief
Virgil
12/10/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/10/12
Read Re: Mathematics in brief
Zaljohar@gmail.com
12/10/12
Read Re: Mathematics in brief
12/10/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/10/12
Read Re: Mathematics in brief
Virgil
12/10/12
Read Re: Mathematics in brief
Virgil
12/10/12
Read Re: Mathematics in brief
Virgil
12/10/12
Read Re: Mathematics in brief
Zaljohar@gmail.com
12/10/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/10/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
Zaljohar@gmail.com
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
ross.finlayson@gmail.com
12/9/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
Zaljohar@gmail.com
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Virgil
12/10/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/10/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
Virgil
12/8/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/8/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
Charlie-Boo
12/8/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Virgil
12/8/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/8/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Virgil
12/10/12
Read Re: Mathematics in brief
Shmuel (Seymour J.) Metz
12/10/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/10/12
Read Re: Mathematics in brief
Virgil
12/11/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/11/12
Read Re: Mathematics in brief
Virgil
12/9/12
Read Re: Mathematics in brief
Charlie-Boo
12/9/12
Read Re: Mathematics in brief
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: Mathematics in brief
Virgil

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.