Date: Mar 30, 2013 10:04 PM
Author: fom
Subject: Re: Matheology § 224
On 3/30/2013 5:41 PM, WM wrote:

> On 30 Mrz., 19:03, Virgil <vir...@ligriv.com> wrote:

>> In article

>> <050b4a95-d2b0-433b-98b6-d63c34635...@m9g2000vbc.googlegroups.com>,

>>

>>

>>

>>

>>

>> WM <mueck...@rz.fh-augsburg.de> wrote:

>>> On 29 Mrz., 19:40, Virgil <vir...@ligriv.com> wrote:

>>>> In article

>>>> <ce3c22f2-9116-4621-b3b4-e722fe51a...@a14g2000vbm.googlegroups.com>,

>>

>>>> WM <mueck...@rz.fh-augsburg.de> wrote:

>>>>> On 26 Mrz., 22:47, Virgil <vir...@ligriv.com> wrote:

>>

>>>>>> But a tree that contains paths for all binary rationals will contain a

>>>>>> path for all limits of a sequences of binary rationals.

>>

>>>>> Does a sequence always contain its limit?

>>

>>>> Depends on the sequence, of course. but a sequence of paths in a

>>>> Complete Infinite Binary Tree in which the nth path must share at least

>>>> n nodes with each of its successors will always converge, though not

>>>> neccessarily to a binary rational.

>>

>>> A sequence of numbers may converge, but not necessarily to a limit

>>> that is a term of the sequence.

>>

>> Precisely my point!

>

> Precisely not your point. The infinite path is not in the infinite

> sequence of finite paths which are used to construct the complete

> tree.

Yes. That is precisely his point.

There is a difference of logical type.

The fact that WM confuses belief with logic

is a personal matter.

http://en.wikipedia.org/wiki/Doxastic_logic#Types_of_reasoners

see "conceited reasoner"