- English mathematician, logician, and pioneer in computer theory.
- Alan Mathison . 1912–54, English mathematician, who was responsible for formal description of abstract automata, and speculation on computer imitation of humans: a leader of the Allied codebreakers at Bletchley Park during World War II
