Anoma Blog

Arithmetizing Computable Programs Simply

By Anthony Loren Hart In May 17, 2024

We discuss different ways of encoding computable functions, describing nuances and limitations, before ending on the simplest known method using an intentionally complete operation that's simpler and easier to use than a Turing machine.

You might also like...