Informasi yang berkaitan dengan pt/Kleene's recursion theorem