بول، جورج (۱۸۱۵ـ۱۸۶۴): تفاوت میان نسخه‌ها
بدون خلاصۀ ویرایش |
Mohammadi1 (بحث | مشارکتها) بدون خلاصۀ ویرایش |
||
| خط ۱: | خط ۱: | ||
بول، جورج (۱۸۱۵ـ۱۸۶۴)(Boole, George)<br/> [[File:12394700.jpg|thumb|بول، جورج]]ریاضی‌دان و منطق‌دان انگلیسی. اثرش با عنوان ''تحلیل ریاضی منطق''<ref>''The Mathematical Analysis of Logic''</ref> | بول، جورج (۱۸۱۵ـ۱۸۶۴)(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:فلسفه ، منطق و کلام]] [[Category:منطق]] | [[Category:(ریاضیات)اشخاص و آثار]] | ||
[[Category:فلسفه ، منطق و کلام]] | |||
[[Category:منطق]] | |||
<references /> | |||
نسخهٔ کنونی تا ۱۲ ژانویهٔ ۲۰۲۲، ساعت ۱۱:۱۷
بول، جورج (۱۸۱۵ـ۱۸۶۴)(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