George Boole, who was born in the city in 1815, invented Boolean logic - a system that is regarded as the foundation for ...