addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupsimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1outlookpersonJoin Group on CardStartprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

Lambda Calculus by Dustin Mulcahey

A Friendly Introduction to the Lambda Calculus

LISP has its syntactic roots in a formal system called the lambda calculus. After a brief discussion of formal systems and logic in general, I will dive in to the lambda calculus and make enough constructions to convince you that it really is capable of expressing anything that is "computable". Time permitting, I will talk about the simply typed lambda calculus and the Curry-Howard-Lambek correspondence, which asserts that programs and mathematical proofs are "the same thing".

Dr. Dustin Mulcahey holds a PhD in Mathematics with a specialization in Homotopy Theory.

Join or login to comment.

  • Alex L.

    Dustin's talk in six seconds: https://vine.co/v/hXx9YhLAqqv

    October 13, 2013

  • Jonathan R.

    Good talk. Dustin's humor and personality add a lot. He's now on my list of speakers to follow.

    October 11, 2013

  • Pierre de L.

    Dustin did an awesome job of presenting Lambda Calculus and given us a really good sense of what computing in this formal system is like. However Dustin needs to learn the importance of wff's and balanced parentheses. :-)

    October 11, 2013

  • Raymond P.

    Congratulations on taking a potentially dry topic which could have put the audience to sleep but instead making a fun, lively presentation. The high point must have been the spontaneous applause when you showed that 2+2=4 using Church numerals.

    October 9, 2013

  • John M.

    i really enjoyed the talk. Very clear and informative.

    October 9, 2013

  • Artem Z.

    Can't join today:work and horrible traffic. Will video be recorded?

    October 8, 2013

  • Alex L.

    talk starts at 7 or is it later?

    October 8, 2013

    • Brian G.

      The talk should start shortly after 7

      October 8, 2013

  • Markus S.

    A casual overview, or an in-depth talk?

    September 13, 2013

    • Pierre de L.

      I suspect a little more on the in-depth side. :-)

      September 16, 2013

Our Sponsors

  • NYI.net

    Colocation and hosting in downtown Manhattan

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy