Because of the fall break, I have much less to say about lectures this week than normal. This being said, the introduction of halting is a somewhat difficult concept for me to wrap my head around and I think a fair amount of review and practice is required. I am currently searching for any other student's SLOG who has covered halting in a clear manor, though it seems that finding such a SLOG seems more challenging than the concept of halting.
With regards to Assignment number 3, I have been exceptionally excited about proving some of the statements. So far I have completed 2 of the 6 proofs (or disproofs) and have been greatly stimulated by each, I can only look forward to my completion of the other 4. More specifically, I found the first statement somewhat challenging to think about and to prove or disprove simply because of my eagerness to complete epsilon delta type limit proofs. This is normally an advantage for me as it was in Assignment 2, however thinking about the statement in this way helped me none during the discovery phase but helped me to improve my problem solving tactics which I found quite enjoyable. Due to my previously mentioned feelings on halting, I do somewhat fear the final proof on Assignment 3 but at the same time believe that it will be an excellent way for me to improve my comfort with this concept.
No comments:
Post a Comment