Matemático británico (1912-1954) cuyas teorías ayudaron al desarrollo de la informática.