"recursion theorem" Deutsche bedeutung