Jason (jcreed) wrote,
Jason
jcreed

Book club last night was fun: Jenny Guth hosted. We ostensibly talked about Sirens of Titan, and in fact veered off into discussions of countable ordinals, and the bottom-scrapings of the internet.

Today in λ-calculus we gazed deeper into the darkest heart of Stirling's basic definition of the tree-matching game. I tried to unravel it in terms of things I understand better (i.e. a purely contextual definition of the λ-calculus itself, and taking the special case of knowing that there are only first-order constants to avoid this "forbidden constant" nonsense entirely) and had some success. At least I am beginning to see the subtle polarity reasons why you want two substitution lookup tables.
Tags: books, math
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 

  • 1 comment