#george boole #mathematician #logician #boolean algebra founder #british mathematician #logic history