Why examine the halting problem using the x86 language?

Liste des GroupesRevenir à theory 
Sujet : Why examine the halting problem using the x86 language?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic comp.ai.philosophy
Date : 09. Jul 2024, 15:37:18
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v6jhuu$1ctoi$8@dont-email.me>
User-Agent : Mozilla Thunderbird
The x86utm operating system is a proxy for a UTM and uses C
functions as proxies for Turing Machines and the x86 language
as a proxy for the Turing Machine description language.
This provides the means to make every single detail of the
halting problem 100% concrete thus totally eliminating any
false assumptions.
The second half of the paper shows how the x86 based proof
equally applies to the Peter Linz Turing machine based proof.
*Termination Analyzer H is Not Fooled by Pathological Input D*
https://www.researchgate.net/publication/369971402_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D The above is the clearest version of my paper so far out of about
150 rewrites.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
9 Jul 24 o Why examine the halting problem using the x86 language?1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal