Quentin Anciaux wrote:
> Hi,
>
> >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
argument.

Tom


--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~----------~----~----~----~------~----~------~--~---

Reply via email to