Question: Who lived longer, Alan turing or Stephen Cole Kleene?
Sentence (from "Kleene's T predicate"): In computability theory, the T predicate, first studied by mathematician Stephen Cole Kleene, is a particular set of triples of natural numbers that is used to represent computable functions within formal theories of arithmetic.
Relevant evidence: No