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: Matheology � 300
Replies: 14   Last Post: Jul 23, 2013 1:31 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Virgil

Posts: 9,012
Registered: 1/6/11
Re: Matheology � 300
Posted: Jul 19, 2013 6:30 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

In article <fd2dfb4a-f26a-4597-b92d-b6e3890fab47@googlegroups.com>,
mueckenh@rz.fh-augsburg.de wrote:

> On Friday, 19 July 2013 10:15:42 UTC+2, Virgil wrote:
> > >You cannot define any paths a or b other than by finite definitions.
>
>

> > One can, however, definie a Complete Infinite Binary Tree, most of whose
> > paths cannot be individually defined,

>
> Why do you believe in such paths?


Because the tree, being defined, exists, and it cannot exist without
all those paths.

> If you define the Binary Tree that contains
> only all finite initial segments of its infinite paths


Unless those infinite paths all actually existed, it would be nonsense
to speak of finite initial segments of them.

So either they exist or WM is speaking nonsense. Or both!
--





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.