XPost: comp.theory
From: 643-408-1753@kylheku.com
On 2025-11-15, olcott wrote:
> On 11/15/2025 3:33 PM, Kaz Kylheku wrote:
>> On 2025-11-15, olcott wrote:
>>> You already admitted that D simulated by H
>>> cannot possibly reach its own final halt state.
>>
>> The full limit of my observation is this: the /simulation/ conducted by
>> H, of D, is not conducted far enough to reproduce the situation where D
>> returns. That's the most exact wording, no more no less.
>>
>
> That is a damned lie.
So you are sayiing that the simulation conduced by H, of D,
/is/ conducted far enough to reproduce the situation where D
returns?
When D is the diagonal D, we are not observing that, right?
*Headscratch*
> When I said damned I mean that
> you might actually be condemned to actual Hell.
> The whole purpose of my 28 year long primary research
> was to show how "true on the basis of meaning" can be
> made computable.
True is not based on meaning. Primary truth are based on
a correspondence between propositions and the state of
the world that those propostions are about.
After that, it's all logical operators combining
them together, hopefully in ways that preserve truths.
> So while you may think that your lies are mere trollish
> fun if the planet is killed off in part because of your
> lies their may be actual Hell toupee.
That's weapons-grade crazy. If you dohn't agree with a lunatic who
thinks the halting problem in math/CS is wrong, you are helping destroy
the planet.
Seriously, pause to listen to yourself for a moment.
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca
--- SoupGate-Win32 v1.05
* Origin: you cannot sedate... all the things you hate (1:229/2)
|
