Date: Mar 22, 2013 6:12 PM
Author: fom
Subject: Re: Matheology § 224

On 3/22/2013 4:42 PM, WM wrote:
> On 22 Mrz., 22:31, William Hughes <wpihug...@gmail.com> wrote:
>> On Mar 22, 10:14 pm, WM <mueck...@rz.fh-augsburg.de> wrote:> On 22 Mrz., 21:33, William Hughes <wpihug...@gmail.com> wrote:
>>
>> <snip>
>>

>>>> this does not mean that one can do something
>>>> that does not leave any of the lines of K
>>>> and does not change the union of all lines.

>>
>>> That is clear
>>
>> So stop claiming your proof
>> means you can do something
>> that does not leave any of the lines
>> of K and does not change the union
>> of all the lines.

>
> My proof is this: IF there is an actually infinite list of FISONs as I
> devised it, THEN all lines can be removed without changing the union
> of the lines. This proof has been acknowledged by WH.
>
> Obviously the result is impossible, hence at least one of the premises
> has been contradicted. But the ony premises are 1) induction is valid,
> 2) infinity is actual.
>
> Now you can choose what you like. My choice has been fixed.


Your notion of induction is invalid.

As before. See Markov to see the argument for
a reasonable formulation of constructive procedures.