بول، جورج (۱۸۱۵ـ۱۸۶۴)
بول، جورج (۱۸۱۵ـ۱۸۶۴)(Boole, George)
ریاضی‌دان و منطق‌دان انگلیسی. اثرش با عنوان تحلیل ریاضی منطق[۱] (۱۸۴۷)، منطق ریاضی[۲] جدید را بنیاد نهاد. جبر بولی[۳] او در طراحی رایانه به‌کار می‌رود. نظام منطقی بول اساساً دو ارزشی است. با تقسیم اشیاء به رده‌های جداگانه، که هر یک از ویژگی مفروضی برخوردارند، جبر بول امکان رفتار با رده‌های متفاوت را برحسب داشتن یا نداشتن یک ویژگی فراهم می‌کند. از این‌رو، فقط با دو عدد ۰ و ۱، یعنی همان دستگاه دودویی[۴]، سروکار دارد که در رایانه به‌کار می‌رود. بول در لینکلن زاده شد و تقریباً خودآموخته بود. در ۱۸۴۹، به استادی ریاضیات در کالج کوئینز[۵]، واقع در شهر کورک[۶] ایرلند، منصوب شد. در ۱۸۴۷، اعلام کرد که منطق با ریاضیات بیشتر از فلسفه پیوند دارد. او شباهت زیاد بین نمادهای جبری[۷] و نمادهای نشان‌دهندۀ صور منطقی[۸] را بیان کرد و نشان داد که نمادهای کمیّت[۹] را می‌توان از نمادهای عمل[۱۰] تفکیک کرد. او این ایده‌ها را در اثرش، با نام تحقیقی در قوانین تفکر که نظریه‌های ریاضیِ منطق، و احتمالات بر آن‌ها استوارند[۱۱] (۱۸۵۴)، با تفصیل بیشتری بررسی کرد.
- ↑ The Mathematical Analysis of Logic
- ↑ mathematical logic
- ↑ Boolean algebra
- ↑ binary system
- ↑ Queen’s College
- ↑ Cork
- ↑ algebraic symbols
- ↑ logical forms
- ↑ symbols of quantity
- ↑ symbols of operation
- ↑ Investigation of the Laws of Thought on which are Founded the Mathematical Theories of Logic and Probabilities