Liste des Groupes | Revenir à s logic |
On 3/8/2024 12:58 PM, immibis wrote:When run in the Olcott master UTM as Olcott machines, the Linz proof does not work because it is designed for Turing machines. A different proof works.On 8/03/24 19:12, olcott wrote:That is a valid point.>>
Unless it is an extra parameter it has no basis for doing this.
If it is an extra parameter then it is no longer the Linz proof.
>
So it's impossible to make a Turing machine that writes 12345 onto its tape unless 12345 is a parameter?
It is impossible to get me to talk about that until
we first have full closure that the Linz H correctly
determines the halt status of the Linz Ĥ ⟨Ĥ⟩ when run
in the Olcott master UTM.
Les messages affichés proviennent d'usenet.