Quentin Anciaux wrote:
> >From what you've said about dovetailing before, you don't have to have
> > just a single sequence in order to dovetail. You can jump among
> > multiple sequences. I have yet to understand how you could dovetail on
> > something that is not effective.
> I think dovetailing is possible because the dovetailer only complete sequences
> at infinity. So when you construct the matrice on which you
> will "diagonalize", you are already diagonilizing it at the same time.
> Example: when you have the first number of the first growing function, you
> can also have the first number of the diagonalize function (by adding 1) and
> the first number of the diagonalize*diagonalize function and ... ad recursum.
> By dovetailing you execute in fact everything in "parallel" but all infinites
> sequences are only completed at infinity.
> Quentin Anciaux
OK. Thanks. But so far we have done only effective diagonalization.
I'll follow along as Bruno goes step by step. Also, it seems to me
even with non-effective diagonalization there will be another problem
to solve: When we dovetail, how do we know we are getting sufficient
(which means indefinite) level of substitution in finite amount of
computation? (Also, I am waiting for a good explanation of how Church
Thesis comes into this.) Again, I'll wait for the step by step
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to email@example.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at