​​​​​​​جرج بول (۱۸۱۵ تا ۱۸۶۴) ریاضیدان و فیلسوف انگلیسی بود. کار او در ابداع جبر بولی پایه محاسبات کامپیوتری شد و از این نظر او یکی از بنیانگذاران علم کامپیوتر است، گرچه در زمان او هنوز کامپیوتر اختراع نشده بود. بول زبان لاتین را در کودکی یاد گرفت و سپس زبانهای آلمانی، ایتالیایی و یونانی را فراگرفت. خانواده بول از افراد پایین دست جامعه بودند و پدرش مغازهدار سادهای بود؛ اما این شرایط موجب نشد که بول دست از تلاش بردارد و در همین خانواده پخته شد. از آن‎جا که او در زمینههای تفاوت در معادلات و منطق جبر کار کرده بود، هماکنون او را به عنوان یکی از بانیان قوانین استدلالی میدانند. بول به خاطر درکی که از دنیای دیجیتال در زمینه علوم کامپیوتر به ما دادهاست، مورد توجه قرار گرفتهاست. مجموعهای از تلاشهای جبری بول از این قرار هستند: اگر a و b متعلق به طبقه k باشند، a+b متعلق به طبقه k است. اگر a و b متعلق به طبقه k باشند ab متعلق به طبقه k است. a+b=b+a، ab=ba، a(b+c)=ab+ac، اگر a<b  و b<c باشد در این صورت a<c.