Constructive Criticism: A Critique of Impure Reason

March 30th 2018 20:30 - 21:20

I'm not going to talk about functional programming. Instead, I'm going to talk about the fact that information is a quantifiable physical phenomenon, what non-computer-scientists who use the words "computable" or "algorithmic" mean, and areas and ways in which those concepts intersect. Did you know that the original meaning of the word "bit" was not a contraction of "binary digit?" Given that the Black-Scholes option pricing equation is mathematically equivalent to the heat equation in physics, did the Efficient Market Hypothesis ever make any sense? Should cryptocurrencies' scripting languages be Turing complete? What are the implications for programming language design of the path toward dissipationless computing hardware? We'll take an informed speculative walk toward a future, based on a still-too-well-hidden history of mathematics, physics, and computing.

Paul Snively avatar
Paul Snively

Paul Snively is a frustrated physicist who discovered Zork as a teen and thought ‘if this is that much fun to play, how much more fun would it be to write?’ That began a love affair with Lisp and AI and, unbeknownst to him at the time, functional programming. Digging more into Programming Language ...

0 comments

This website uses cookies. By continuing to browse you agree to this and Conferize's terms of service.