Boolean logic, the system he invented, is still used in modern computer programming, writes Chris Stokel-Walker. Boole walked two miles to the lecture hall where he was due to give a lecture to ...