First commit
Added document about primitive recursion in computability