Sujet : Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 17. Jul 2025, 14:57:54
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <2e91b2bf0d3f3c56a9684d17f20543614ecff9ad@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Thu, 17 Jul 2025 08:47:16 -0500 schrieb olcott:
On 7/17/2025 3:29 AM, Fred. Zwarts wrote:
Op 16.jul.2025 om 19:49 schreef olcott:
This is already evidence that simulation is not the right tool to
analyse the input.
In other words you disagree that a simulation by a UTM is a correct
measure of behavior. (A simulation by a UTM is defined to be a correct
measure of behavior).
HHH is not a UTM.
-- Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:It is not guaranteed that n+1 exists for every n.
…