(Though that notion assumes a Turing machine under the hood, so it’s not a full-fledged alternative model of computation like lambda calculus.)
Agreed. I guess the small saving grace (as I’m sure you know) is that the TM under the hood is used to limit the computational power of the family rather than contribute to it. But yeah that part is kind of ugly.
(Though that notion assumes a Turing machine under the hood, so it’s not a full-fledged alternative model of computation like lambda calculus.)
Agreed. I guess the small saving grace (as I’m sure you know) is that the TM under the hood is used to limit the computational power of the family rather than contribute to it. But yeah that part is kind of ugly.