Jason (jcreed) wrote,

Omigod sometimes I love just proving fiddly little lemmas about commutativity of substitutions under certain conditions. It's like figuring out exactly the right conditions to make the induction work out is a fun puzzle. If only I could make programming feel like this I would get more implementation work done.

As it is I have just exorcised a nasty hack out of the theoretical write-up I was working on, by better understanding my supposed reasons for using the hack, and realizing that they led me to a better proof technique. Sometimes you shove around the bubble in the wallpaper, and sometimes you can pop it.
Tags: math, work

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 1 comment