Who lived longer, Alan turing or Stephen Cole Kleene?