Re: infinity



"Gordon Collins" <poster02@xxxxxxxxxxx> writes:

> But then we would not need the axiom of
> induction. The acceptance of that axiom is an acceptance that we
> cannot complete an infinite sequence of operations.

Just what is it we cannot do? After all, we cannot literally count
up to n, if we choose n large enough. You remark that

> An infinite sequence of operations
> cannot be completed, even mathematically.

but it's easy as pie to "complete an infinite sequence of operations"
mathematically. We just say, for example, "let omega be the sequence
of numbers obtainable from 0 by iterating the operation of adding
one" and then go on to add one to omega.


.



Relevant Pages

  • Re: Raatikainens critique of Chaitin
    ... > This is indeed a property of Omega. ... Solovay randomness is equivalent to Chaitin random. ... while n->infinity obviously since we cannot expect a program to halt ... and output an infinite sequence. ...
    (comp.theory)
  • Re: Raatikainens critique of Chaitin
    ... > This is indeed a property of Omega. ... Solovay randomness is equivalent to Chaitin random. ... while n->infinity obviously since we cannot expect a program to halt ... and output an infinite sequence. ...
    (sci.math)
  • Re: Cantors diagonal proof wrong?
    ... >infinite sequence of digits ... >could only emerge from a list with at least one line enumerated by ... Omega, not Omega plus 1. ... Unsolicited bulk E-mail subject to legal action. ...
    (sci.math)