The Omega Man … read it until you think you got it … a concise and clear intro to un/incomputability and its consequences http://www-2.dc.uba.ar/profesores/becher/ns.html