جورج بول
في 1703 قام غوتفريد لايبنتز بوضع منطق بالمعني الرياضي الرسمي من خلال كتاباته عن النظام العددي الثنائي. في هذا النظام يمثل الواحد والصفر القيم الصحيحة والخاطئة أو حالات التشغيل والتوقف. لكن الأمر استغرق قرنا قبل أن ينشره جورج بول في كتابة الجبر البولياني عام 1854 مع وضع نظام كامل يسمح بأن تتم النمذجة الرياضية للعمليات الحسابية.