Date: Mar 18, 2013 12:39 PM
Author: fom
Subject: Re: Matheology § 224
On 3/18/2013 6:47 AM, WM wrote:

> On 17 Mrz., 23:05, William Hughes <wpihug...@gmail.com> wrote:

>> On Mar 17, 10:49 pm, WM <mueck...@rz.fh-augsburg.de> wrote:

>>

>>> On 17 Mrz., 22:39, William Hughes <wpihug...@gmail.com> wrote:

>>>> You say that if a set of lines contains an unfindable

>>>> line it is necessary that there are

>>>> two findable lines.

>>

>>> No.

>>

>> Oh, so there can be a set of lines that contains an unfindable

>> line but not two findable lines ?!?

>

> When you remove every line as soon as you have found it, then no

> findable line remains. Isn't that obvious?

>

> However this might not be interesting for the majority of readers.

> Much more interesting will be how the case of actual infinity can be

> explained without contradicting the construction principle of our well-

> known list.

What would be interesting for your readers

would see an appropriate explanation

of a constructive object.

That, being given as prior definition,

would constitute a "construction principle".

Once again, you were given an example from

Markov to see how it is done.