What Apple and Microsoft owe to Turing