Charles Explorer logo
🇬🇧

Do we need recursion?

Publication at Faculty of Arts |
2020

Abstract

The operation of primitive recursion, and recursion in a more general sense, is undoubtedly a useful tool. However, we will explain that in two situa- tion where we work with it, namely in the definition of partial recursive functions and in logic when defining the basic syntactic notions, its use can be avoided.

We will also explain why one would want to do s

Keywords