Jason (jcreed) wrote,
Jason
jcreed
While showing that a certain permutation of constants is an automorphism on the model during λ-calculus today, I caught myself feeling: man, this theorem is way too boring to be false. It's a feeling I have pretty often I suppose, about theorems that don't really do anything exciting, but must be proved anyway. The daily grind hacking Twelf proofs is typically full of them.
Tags: lambda calculus
Subscribe

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    Help
  • 5 comments