```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 logicis a personal matter.http://en.wikipedia.org/wiki/Doxastic_logic#Types_of_reasonerssee "conceited reasoner"
```