British mathematician whose writing on Charles Babbage's analytical machine provides an early explanation of the principles of programming and explores the potential of computers to manipulate mathematical and non-mathematical information.