El matemático británico George Boole describió en Investigación sobre las leyes del pensamiento (1854) un sistema algebraico que se conoció más tarde como álgebra de Boole. Este sistema tiene numerosas aplicaciones prácticas en informática, por ejemplo, resulta útil en el uso de motores de búsqueda en Internet.