From Newsgroup: comp.theory

On 2025-11-01, olcott <[email protected]> wrote:

On 11/1/2025 1:53 PM, Kaz Kylheku wrote:

On 2025-11-01, olcott <[email protected]> wrote:

H is a correct termination analyzer for D.

Not that you've been able to code.

I have been able to code it yet the x86 language has
proven to be enormously too difficult for everyone
here. BECAUSE OF THIS I WILL NOT DISCUSS THE X86
CODE WITH ANYONE.

The one who will not discuss is obviously the one who doesn't wish his
lack of understanding to be exposed.

If I am wrong then you can show this in C
otherwise you admit that I am correct.

You did once claim that the x86utm was a C project:

https://philarchive.org/archive/OLCHPUv25

"The x86utm operating system was created so that the halting problem
could be examined concretely in the high level language of C."
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

You created this because it was the path of least resistance for
you toward a concrete system for implementing your ideas, which
you would understood best.

So you are now admitting that results produced using the x86utm are not reliable? Something else must be used to show a result?

Let the public record show that after an independent researcher engaged
in exploratory coding within the framework of the x86utm, and reported
issues, Peter Olcott refused to investigate, and instead demanded that
results be obtained using some new, unspecified system involing "mental
traces" of C code.

Let the public record show, therefore, that Peter Olcott retracts all
claims formerly made that were substantiated using x86utm execution
traces, that system no longer deemed suitable for demonstrating
truths or refuting falsehoods.

I will remind you of the above if I happen to catch you using the
x86utm to make claims.
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @[email protected]
--- Synchronet 3.21a-Linux NewsLink 1.2