Alan Turing
They were described in 1936 by Alan Turing.