Jason (jcreed) wrote,

Some things that I used to think were dumb, confusing, and/or useless, but which now I think are pretty cool:
* Comments in code (ca. 1987, while learning BASIC I was like, but REM doesn't do anything, what's the point?)
* Type systems (ca. 1996, when I first learned Perl)
* Intuitionistic logic (ca. 1999, my final paper in Philosophy of Math was a diatribe against intuitionism)
* Sequent calculus (ca. 2001, it just seemed so backwards; now I can hardly think in natural deduction anymore.)
* Display logic (ca. 2008. It seemed like a wash of funny symbols until I connected it very recently to the hybrid labels in my thesis work --- I'm impressed at Frank's prescience in suggesting Rajeev for my thesis committee)

I am particularly embarrassed I took so long to really understand display logic. It's not something I completely subscribe to, but I'm astonished how early Belnap got very close to some really important issues.
Tags: life, logic

  • (no subject)

    Man I wanna be angry at 'em for pushing my bike-fixing back yet one more day, but now they are being extra-reasonable and saying that they'll comp…

  • (no subject)

    Ugggghhh come on Trophy Bikes. I was okay when you said that it would take 6 days to order the right fork to fix my bike. I was okay when you said,…

  • (no subject)

    I was supposed to get my bike back today, but the new fork they ordered only came late today, so they didn't get the repair work done yet. They say…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded