4 ms·
Once you leave primitive recursive functions[0], reasoning quickly becomes very non-trivial. [0]: https://en.wikipedia.org/wiki/Primitive_recursive_function ht
by namibj 6y ago
Once you leave primitive recursive functions[0], reasoning quickly becomes very non-trivial.
[0]: https://en.wikipedia.org/wiki/Primitive_recursive_function https://en.wikipedia.org/wiki/Primitive_recursive_function