Computation, Proof, Machine - inbunden, Engelska, 2015