Talk:Incrementing machine

A note from history

Sorry to say, this has been thought of in the past. By me, for instance, but I didn't publish the language because I discovered it already existed in a close-enough form (since the late 1950s): For instance, as the "Successor machine" (see [1]). And before I had thought the idea in this kind of counter machine form, I thought up a kind of variation of it for my Forte Turing-completeness proof (in 2014), in form of Ectoforte, a small register language capable of only increasing registers and comparing them (never decreasing anything), and setting future executable lines on or off. I also have a feeling Minsky himself gave it as a variation in some paper, but I can't be 100% sure on that, it may be a false memory but more likely not. Anyway, I'm not saying this to be dismissive, but simply to tell the truth, that this construction has been thought of: it's a fact. But what I don't understand why it hasn't been investigated more, because I feel it could have some interesting properties. --Keymaker (talk) 10:32, 20 November 2023 (UTC)