1the halting problemand other problems with no algorithmic s published presentations and documents on DocSlides.