بول، جورج (۱۸۱۵ـ۱۸۶۴)(Boole, George)
بول، جورج
ریاضی دان و منطق دان انگلیسی. اثرش با عنوان تحلیل ریاضی منطق(۱۸۴۷)، منطق ریاضیجدید را بنیاد نهاد. جبر بولیاو در طراحی رایانه به کار می رود. نظام منطقی بول اساساً دو ارزشی است. با تقسیم اشیاء به رده های جداگانه ، که هر یک از ویژگی مفروضی برخوردارند، جبر بول امکان رفتار با رده های متفاوت را برحسب داشتن یا نداشتن یک ویژگی فراهم می کند. از این رو، فقط با دو عدد ۰ و ۱، یعنی همان دستگاه دودویی، سروکار دارد که در رایانه به کار می رود. بول در لینکلن زاده شد و تقریباً خودآموخته بود. در ۱۸۴۹، به استادی ریاضیات در کالج کوئینز، واقع در شهر کورکایرلند، منصوب شد. در ۱۸۴۷، اعلام کرد که منطق با ریاضیات بیشتر از فلسفه پیوند دارد. او شباهت زیاد بین نمادهای جبریو نمادهای نشان دهندۀ صور منطقیرا بیان کرد و نشان داد که نمادهای کمیّترا می توان از نمادهای عملتفکیک کرد. او این ایده ها را در اثرش، با نام تحقیقی در قوانین تفکر که نظریه های ریاضیِ منطق، و احتمالات بر آن ها استوارند(۱۸۵۴)، با تفصیل بیشتری بررسی کرد.
بول، جورج
ریاضی دان و منطق دان انگلیسی. اثرش با عنوان تحلیل ریاضی منطق(۱۸۴۷)، منطق ریاضیجدید را بنیاد نهاد. جبر بولیاو در طراحی رایانه به کار می رود. نظام منطقی بول اساساً دو ارزشی است. با تقسیم اشیاء به رده های جداگانه ، که هر یک از ویژگی مفروضی برخوردارند، جبر بول امکان رفتار با رده های متفاوت را برحسب داشتن یا نداشتن یک ویژگی فراهم می کند. از این رو، فقط با دو عدد ۰ و ۱، یعنی همان دستگاه دودویی، سروکار دارد که در رایانه به کار می رود. بول در لینکلن زاده شد و تقریباً خودآموخته بود. در ۱۸۴۹، به استادی ریاضیات در کالج کوئینز، واقع در شهر کورکایرلند، منصوب شد. در ۱۸۴۷، اعلام کرد که منطق با ریاضیات بیشتر از فلسفه پیوند دارد. او شباهت زیاد بین نمادهای جبریو نمادهای نشان دهندۀ صور منطقیرا بیان کرد و نشان داد که نمادهای کمیّترا می توان از نمادهای عملتفکیک کرد. او این ایده ها را در اثرش، با نام تحقیقی در قوانین تفکر که نظریه های ریاضیِ منطق، و احتمالات بر آن ها استوارند(۱۸۵۴)، با تفصیل بیشتری بررسی کرد.
wikijoo: بول،_جورج_(۱۸۱۵ـ۱۸۶۴)