Question: Who lived longer, Alan turing or Stephen Cole Kleene?

Context articles: Stephen Cole Kleene
Alan Turing
Smn theorem
Kleene algebra
Alan Turing: The Enigma
Kleene fixed-point theorem
The Annotated Turing
Codebreaker (film)
Kleene's T predicate
Alan Turing Year

Stephen Cole Kleene (January 5, 1909 – January 25, 1994) was an American mathematician.
 One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer science.
 Kleene's work grounds the study of which functions are computable.
 A number of mathematical concepts are named after him: Kleene hierarchy, Kleene algebra, the Kleene star (Kleene closure), Kleene's recursion theorem and the Kleene fixpoint theorem.
 He also invented regular expressions, and made significant contributions to the foundations of mathematical intuitionism.
Alan Mathison Turing ( ; 23 June 1912 – 7 June 1954) was an English computer scientist, mathematician, logician, cryptanalyst, philosopher and theoretical biologist.
In computability theory the "s" theorem, (also called the translation lemma, parameter theorem, and the parameterization theorem) is a basic result about programming languages (and, more generally, Gödel numberings of the computable functions) (Soare 1987, Rogers 1967).
 It was first proved by Stephen Cole Kleene (1943).
 The name "s" comes from the occurrence of a "s" with subscript "n" and superscript "m" in the original formulation of the theorem (see below).
In mathematics, a Kleene algebra ( ; named after Stephen Cole Kleene) is an idempotent (and thus partially ordered) semiring endowed with a closure operator.
 It generalizes the operations known from regular expressions.
Alan Turing: The Enigma (1983) is a biography of the British mathematician, codebreaker, and early computer scientist, Alan Turing (1912–1954) by Andrew Hodges.
 The book covers Alan Turing's life and work.
 The American 2014 film "The Imitation Game" is loosely based on the book, with dramatization.
In the mathematical areas of order and lattice theory, the Kleene fixed-point theorem, named after American mathematician Stephen Cole Kleene, states the following:
The Annotated Turing: A Guided Tour Through Alan Turing’s Historic Paper on Computability and the Turing Machine is a book by Charles Petzold, published in 2008 by John Wiley & Sons, Inc. Petzold annotates Alan Turing's paper "On Computable Numbers, with an Application to the Entscheidungsproblem".
 The book takes readers sentence by sentence through Turing's paper, providing explanations, further examples, corrections, and biographical information.
Codebreaker (2011), original UK title Britain's Greatest Codebreaker, is a TV film aired on 21 November 2011 by Channel 4 about the life of Alan Turing.
 The film had a limited release in the U.S. beginning on 17 October 2012.
 The story is told as a discussion between Alan Turing and his psychiatrist Dr. Franz Greenbaum.
 The story is based on journals maintained by Dr. Franz Greenbaum and others who have studied the life of Alan Turing and also some of his colleagues.
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.
 Informally, the "T" predicate tells whether a particular computer program will halt when run with a particular input, and the corresponding "U" function is used to obtain the results of the computation if the program does halt.
 As with the s theorem, the original notation used by Kleene has become standard terminology for the concept.
The Alan Turing Year, 2012, marked the celebration of the life and scientific influence of Alan Turing during the centenary of his birth on 23 June 1912.
 Turing had an important influence on computing, computer science, artificial intelligence, developmental biology, and the mathematical theory of computability and made important contributions to code-breaking during the Second World War.
 The Alan Turing Centenary Advisory committee (TCAC) was originally set up by Professor Barry Cooper