Wednesday, April 3, 2013

2nd last post

This week we learned about the non-computable function Halt and how to reductions work. I thought this section was quite interesting actually and had an interesting time trying to understand how to worked. When I first started to dissect that a non-computable function could be manipulated and put into a proof that proved other non-computable functions existed I was very confused. Understanding exactly how a function runs every line and what each line does is very important to understanding how these kind of reductions work. When working on the proofs, I really started to understand it when I started with looking at my desired output (eg, return 42, navel_gaze) and then working backwards from there. All in all, I enjoyed this week more compared to others personally as I felt it had strengthened my practical knowledge in Python and general programming.

No comments: