Sujet : Why examine the halting problem using the x86 language?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic comp.ai.philosophyDate : 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; Geniushits a target no one else can see." Arthur Schopenhauer