cse2001 fall20061lasttimewesawhowtoprovedecidabilityandundec published presentations and documents on DocSlides.