WHAT IS A RECURSIVE DEFINITION?
Recursion is a mathematical technique that is much used in computer programs. In a recursive definition, the value of a recursive function is defined in terms of values of the same function applied to smaller inputs. This sounds circular, but because the function’s inputs get smaller and smaller the computation eventually stops. TheoryMine also uses recursion to define brand new types of input and output for each theory. These are called recursive objects.
