Es un sistema de lógica matemática, desarrollado por el matemático ingles George Boole en 1847, que expresa las relaciones entre ideas u objetos mediante símbolos.
En la actualidad se usa en teorías de la probabilidad, geometría e informática. Es la base indispensable para el diseño de los circuitos empleados en las computadoras. Su gran hallazgo consiste en haber usado las técnicas del algebra común para adaptar expresiones de la lógica preposicional, con sus valores falso y verdadero, en un código binario en el que se expresan 0 y 1, y pueden ser objeto de diversas operaciones.

Es la Blue Gene/P, fabricada por la compañía estadounidense IBM, presentada al público en 2007. Esta maquina, que forma parte de la segunda generación de supercomputadoras triplica el proceso de su predecesora Blue Gene/L. Esta compuesta por 294.912 procesadores dispuestos en un sistema de Racks de 72 elementos conectados por una red óptica. Su velocidad puede alcanzar a mil millones de operaciones por segundo.