fom
Posts:
1,039
Registered:
12/4/12
|
|
Re: Matheology § 210
Posted:
Feb 7, 2013 8:37 AM
|
|
On 2/7/2013 1:04 AM, WM wrote:
> On 7 Feb., 05:10, fom <fomJ...@nyms.net> wrote:
>
>> The proof requires a presupposition of
>> individuated numbers named using a consistent naming algorithm
>> based on a finite set of sequentially ordered symbols.
>
> Individuation by x without any means to determine the individuating x
> is not individuation.
Precisely. Cantor gave the means of individuating
a representation not on a given list that, in principle,
is given by a class of mathematician of which you are
a representative.
|
|
