A fairly good summary, though I'm not certain someone who hasn't studied computability is going to get it. The "See Also" amichail posted is good.