Suppose Alan Turing was an English mathematician, computer scientist, logician, and cryptanalyst. Turing was highly influential in the development of theoretical computer science, providing a formalisation of the concepts of algorithm and computation with the Turing machine, which is widely considered to be the model for a general-purpose computer.
Can we infer that "Alan Turing invented the first computer."? Yes, no, or maybe?