アラン・チューリング
Emil Post (1936) and Alan Turing (1936–37, 1939).