|
|
Re: Matheology § 154: Consistency Proof!
Posted:
Nov 25, 2012 4:27 PM
|
|
On 25 Nov., 21:36, Virgil <vir...@ligriv.com> wrote:
> Mathematics, before it can find a limit, must dfine what is expected of
> that limit,
Analysis has been invented to analyze seqeunces and to *find* limits.
> and in sensible mathematics the limit of a sequence of real
> numbers, if it exists, and the limit of a sequence of sets, if it also
> exists, will never be the same thing.
Therefore set theory should be exorcized from mathematics.
>
> And furthermore, the sequence of real number numerals that WM is harping
> about does not exist as a real number numeral at all.
The sequence of digits 0, 1, 0, 1, 0, 1, ... does exist as well as the
set of indexed digits {0_1, 1_2, 0_3, 1_4. ...} and the decimal
representation ...010101 with value oo.
Regards, WM
|
|
