برنامج الترميز (جورج بول): طور العالم الإنجليزي جورج بول بين عامي ١٨١٥ و١٨٦٤ علم المنطق الرمزي والعمليات المنطقية القائمة على النظام الثنائي الذي يعتمد الرقمين صفر وواحد. وقد أصبح هذا النظام الأساس الذي تقوم عليه الحواسيب الحديثة، إذ يمثل الصفر انقطاع التيار الكهربائي، بينما يمثل الواحد مرور التيار، وهو ما جعل أفكار بول من أهم الأسس النظرية لعلوم الحاسوب والبرمجة الرقمية.
سبحان الله