On Propositions as Types [video]
Michael Bernstein on Propositions as Types

                
        
        
        
        



New York - August 17, 2015

Michael Bernstein on Propositions as Types


  Meetup: http://bit.ly/1MXU3fT
  Paper: http://bit.ly/QkZ5K1
  Slides: http://bit.ly/1FcrMM3
  Audio: http://bit.ly/1KXo22T


Michael was the very first speaker for Papers We Love, back  in February of 2014 in New York City [Video]. His energy and obvious love for learning provided us with a template for the PWL organization as whole. – Thanks, Papers We Love.

Description

Michael Bernstein talks about Philip Wadler’s paper Propositions as Types, which starts out with the following sentence: "Powerful insights arise from linking two fields of study previously thought separate."

And just keeps on going from there. In less than 9 full pages, Wadler assembles an exuberant, hilarious take on the deep, meaningful connections between mathematics, philosophy, and computer science.

He’ll also be showing off some work from Daniel P. Friedman and Carl Eastlund’s recent book The Little Prover, which implements a small theorem prover in Scheme, to demonstrate some of the connections Wadler discusses in his paper.

Bio

Michael R. Bernstein @mrb_bk loves you. He lives in Takoma Park, MD and spends most of his time thinking about pottery, obscure LPs, food, and the intersection of philosophy and Computer Science.

Slides






 The New York Chapter would like to thank TwoSigma for helping to make this meetup possible.




        
        
    

        