like infinite state Turing machines, or something like this:https://arxiv.org/abs/1806.08747
like infinite state Turing machines, or something like this:
https://arxiv.org/abs/1806.08747
Interesting, I’ll check it out!
Note that it isn’t intended to be in any way a realistic program we could ever run, but rather an interesting ideal case where we could compute every well-founded set.
Interesting, I’ll check it out!
Note that it isn’t intended to be in any way a realistic program we could ever run, but rather an interesting ideal case where we could compute every well-founded set.