جرج بولGeorge Boole

جرج بول یک متفکر بانفوذ، با استعدادی بزرگ در تلفیق(synthesis) بود. گسترش کارهای بعد وی که به‌وسیله دیگران "جبر بول" نام یافت، منطق را با ویژگی‌های سویچ‌های الکتریکی آن‌گونه که بتوانند پردازش نمایند ترکیب میکرد، در گسترش کامپیوترهای دیجیتال مدرن الکترونیکی حیاتی بود. در کتاب برگ خود، پژوهشی درباره قوانین اندیشه، درباره بنیاد نظریه‌های ریاضی منطق و احتمالات [An Investigation into the Laws of Thought,on Which are Founded the Mathematical Theories of Logic and Probabilities(۱۸۵۴)]، بول،  یک دستگاه کاملاً نمادین برای نمایش گزاره‌ها، و نیز برای روش‌های عمومی استنتاج را گستراند. او نشان داد که با نمایش صحیح مقدمات، با هر تعداد عبارات، می‌توان به‌وسیله کار زدن صرفاً نمادین، هر نتیجه‌ای که هم‌اکنون در مقدمات است را بیرون آورد. چونان مردی متواضع و پژوهشگری خلاق، بول در ۱۸۶۴ درگذشت. و ما اکنون همچنان بر تحلیل‌های اولیه وی در گسترش منطق نمادین مدرن تکیه زده‌ایم.