بول، جورج (۱۸۱۵ـ۱۸۶۴): تفاوت میان نسخه‌ها

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

[[Category:ریاضیات]]

[[Category:(ریاضیات)اشخاص و آثار]]

[[Category:فلسفه ، منطق و کلام]]

[[Category:منطق]]