Post #4150447
2026-07-27 19:59 UTC
@FishFace@ioc.exchange I need help understanding what is supposed to be so interesting about the Halting Problem in this context. Is it that the number system is defined tautologically?
That has nothing to do with the Halting Problem. The structure of tautological reasoning is that you MUST choose some of the assertions in it AS POSTULATES. From those postulates, the rest of the system follows.
However, WHICH assertions you choose is arbitrary, as long as they are sufficient to prove the rest.
Replies (1)
-
@chemoelectric@masto.ai 2026-07-27 20:02
@FishFace@ioc.exchange The advantage of this over the idiotic system of reduction to set theory, in the hope of producing a supernal creation that sits before the Throne of the Holy Name, is that a tautologically complete system such as mine is guaranteed to be totally free of contradictions and paradox. It is absolutely trustworthy.