Liste des Groupes | Revenir à theory |
On 2025-04-25 21:28, olcott wrote:Yes so I must correct my words to sayOn 4/25/2025 5:28 PM, André G. Isaak wrote:Turing machines and computable functions are not the same thing. You keep conflating the two. The point of my post was to try to get you to be more careful with your terminology.On 2025-04-25 10:31, olcott wrote:>
>Once we understand that Turing computable functions are only>
allowed to derived their outputs by applying finite string
operations to their inputs then my claim about the behavior
of DD that HHH must report on is completely proven.
You're very confused here.
>
Computable functions are *functions*. That is, they are mappings from a domain to a codomain, neither of which are required to be strings. Functions don't involve finite string operations at all.
>
All Turing Machine based computation applies the/
finite string transformations specified by the TM
language to the input finite string.
André
Les messages affichés proviennent d'usenet.