Re: How to write a self-referencial TM?

On 2025-05-18 14:57, olcott wrote:

TM description is a misnomer in that they never
merely describe some of the details of the TM
(as all mere descriptions always do).
 Instead they specify ALL of the details, thus have
always actually been a TM specification language more
commonly understood as the source-code for a TM.

You seem to be getting bogged down in a relatively inconsequential terminological issue here which contributes nothing to the overall debate.
In English, both 'description' and 'specification' can refer to something which is either complete or only partial.
When people talk about passing a UTM a description of a TM, it is understood that this refers to a *complete* description rather than a partial one.
If you prefer the term 'specification', you're free to use it, but there's no sense in which 'description' is a misnomer.
André
--
To email remove 'invalid' & replace 'gm' with well known Google mail service.