艾伦·图灵
Emil Post (1936) and Alan Turing (1936–37, 1939).