"American mathematician" . "1970Z"^^ . "Cook, Matthew"@en . "Matthew Cook (born February 7, 1970) is a mathematician and computer scientist who proved Stephen Wolfram's conjecture that the Rule 110 cellular automaton is Turing-complete."@en . "1970-02-07Z"^^ .