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"