Prev: A Reformulation of Z-Reg.
Next: All you have to do is c o m p r e h e n d this statement and diagonalisation falls apart
From: David Bernier on 12 Jun 2010 19:26
|-|ercules wrote:
> correction.
>
>
> "|-|ercules" <radgray123(a)yahoo.com> wrote
>
>> perhaps
>> if it was acknowledged modifying the diagonal (DID NOT) results in a new
>> digit sequence that is not computable, then we could increase the
>> scope

I've read that Turing was trying hard to get the intuitive idea
of "effective procedure" right, by whatever means.

I also seem to remember reading that he tried to justify
how instructions for manipulating symbols could be
translated (like what a compiler program does for source code)
into a Turing machine table with conventions for entering
the data and reading the output.

So you could have Turing machines which take as input
a video/audio signal and give as output a file/data stream
compatible with one of the standards in
H.264/AVC/MPEG-4 Part 10 (Advanced Video Coding),
for Youtube etc. But it would take forever.

David Bernier
 | 
Pages: 1
Prev: A Reformulation of Z-Reg.
Next: All you have to do is c o m p r e h e n d this statement and diagonalisation falls apart