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.