Hello Rod here,
This week we were introduced to halting function. I was a little confused cause the halting problem seemed to be theoretical because apparently no one can program the halting function. I learned that we could prove this so through the navel_gaze function we were shown in lecture that only halts when the function halt, halts. And after we were asked if this was so, what would navel_gaze(navel_gaze) do? navel_gaze will halt only if navel_gaze does not halt, which is a contradiction.
We were given assignment 3 today and there was a halting problem on it. I am hoping i will learn more about it halting when working on that problem.
I also watched this video on halting which helped me understand: https://www.youtube.com/watch?v=92WHN-pAFCs
No comments:
Post a Comment