بول، جورج (۱۸۱۵ـ۱۸۶۴)(Boole, George)بول، جورجریاضی دان و منطق دان انگلیسی. اثرش با عنوان تحلیل ریاضی منطق(۱۸۴۷)، منطق ریاضیجدید را بنیاد نهاد. جبر بولیاو در طراحی رایانه به کار می رود. نظام منطقی بول اساساً دو ارزشی است. با تقسیم اشیاء به رده های جداگانه ، که هر یک از ویژگی مفروضی برخوردارند، جبر بول امکان رفتار با رده های متفاوت را برحسب داشتن یا نداشتن یک ویژگی فراهم می کند. از این رو، فقط با دو...