Week 10

I had a test at 6 so I missed half of the lecture,so I only listened the computability part.I learned how to use halt to prove something is non-computable by computer. I am really interested in this topic as a future computer science student.