Post #4150448
2026-07-27 18:28 UTC
@FishFace@ioc.exchange And it was the Grover’s algorithm that was broken. You have the fixed version now. I fixed it with help from a different inference engine.
Replies (1)
-
@chemoelectric@masto.ai 2026-07-27 19:59
@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.