アラン・チューリング
The following table is Turing's very first example (Alan Turing 1937):