Jason (jcreed) wrote,

Another interesting meeting with Frank, fancybred, and Kevin was present near the end, in which fancybred talked about the classical proof of completeness of Kripke semantics for intuitionistic logic. Turns out it was not merely "kind of aesthetically unpleasant" at all, but completely hogwash from an intuitionistic standpoint. Not that I'm particularly allergic to classical logic myself, but it seems strange that a result about the topic of constructive logic wouldn't itself be done in a constructive manner if at all possible, and indeed it seems possible.

Played "1,000 blank white cards" with jen and mark and sally and mike and ellie and... some one of sally's friends whose name I forgot, and it was a total laugh riot.
Tags: cards, math, social

  • (no subject)

    Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…

  • (no subject)

    Did some personal archaeology. Helped a little with laundry. Threw some chicken, onions, tomato, stock, peppers in the slow cooker and hopefully…

  • (no subject)

    Dinner with akiva and dannel at nuevo portal in carroll gardens. Ate a pile of chicken stew and rice and beans and maduros, good times. I do miss…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded