הצגת המקור של הדף "ג'ורג' בול"

{{פירוש נוסף|נוכחי=מתמטיקאי אנגלי|אחר=תת שר החוץ האמריקני בממשלם של קנדי וג'ונסון ושגריר ארצות הברית לאו"ם|ראו=[[ג'ורג' בול (דיפלומט)]]}} 
{{מדען
|שם=ג'ורג' בול
|שם בשפת המקור=George Boole
|תאריך לידה=[[2 בנובמבר]] [[1815]]
|תאריך פטירה=[[8 בדצמבר]] [[1864]]
|תמונה=[[קובץ:George_Boole_color.jpg|250px]]
|כיתוב=
|תרומות עיקריות=ממציא [[אלגברה בוליאנית (מבנה אלגברי)|האלגברה הבוליאנית]] ומייסד [[מדעי המחשב]]
|ענף מדעי=[[מתמטיקה]]
|הערות=על שמו מכתש Boole על הירח
|מדינה=[[הממלכה המאוחדת של בריטניה הגדולה ואירלנד]]}}
'''ג'ורג' בּוּל''' (ב[[אנגלית]]: '''George Boole'''; {{תאריך משולב}}) היה [[מתמטיקאי]] ו[[פילוסוף]] [[אנגלים|אנגלי]], מאבות ה[[לוגיקה]] המודרנית ויוצר [[אלגברה בוליאנית (מבנה אלגברי)|האלגברה הבוליאנית]] המהווה את יסוד [[מדעי המחשב]].

==ביוגרפיה==
ג'ורג' בול נולד ב[[לינקולן (אנגליה)|לינקולן]] שב[[אנגליה]] ב-[[2 בנובמבר]] [[1815]], כבנה הבכור של משפחה דלת אמצעים. אביו, [[סנדלר]] במקצועו ומתמטיקאי חובב, הצית את עניין בנו במתמטיקה. משפחתו של בול לא יכלה לממן את השכלתו ועל כן לא זכה להשכלה פורמלית. הוא למד בכוחות עצמו [[לטינית]] ו[[יוונית]] וכן שלט היטב, כבר בשנות העשרה לחייו, ב[[צרפתית]], ב[[איטלקית]] וב[[גרמנית]]. לדבריו, הוא בחר להתמקד במתמטיקה משום שידו השיגה רק מעט ספרים, ומשום שספרי המתמטיקה הבטיחו לבעליהם את החזר הערך הרב ביותר לעמוד. בשל קשייה הכלכליים של משפחתו, שימש בגיל שש עשרה בלבד, כעוזר מנהל בבית ספר מקומי ובגיל תשע עשרה פתח וניהל בכוחות עצמו בית ספר שכזה, שהפך במהרה למקור הפרנסה העיקרי של משפחתו. בשנים אלה החל לפרסם מאמרים במתמטיקה, בתמיכתו ובעידודו של פ. ד. גרגורי שערך אז את כתב העת המתמטי של [[אוניברסיטת קיימברידג']]. היו אלה בתחילה הצעות ייעול ושיפור צנועות למערכותיהם של [[ז'וזף לואי לגראנז'|לגראנג']] ו[[פייר-סימון לפלס|לפלס]], אך בשנת [[1844]] זכה מאמרו "על שיטה כללית באנליזה" בפרס [[החברה המלכותית]] הבריטית והקנה לו פרסום רב. ב-[[1847]] פרסם את ספרו המהפכני "על האנליזה המתמטית של תורת ההיגיון". בשנת [[1849]], עדיין בלא כל השכלה פורמלית, אך בסיועם של כמה מתומכיו, כ[[אוגוסטוס דה מורגן]], קיבל בול את משרת הפרופסור (הראשון) למתמטיקה ב-Queen's College שב[[קורק]] שב[[אירלנד]], שם לימד חמש עשרה שנה, עד מותו. בשנת [[1854]] פרסם בול את ספרו העיקרי בתורת ההיגיון, "חקירה של חוקי החשיבה".

בשנת [[1855]] נשא לאישה את מרי אוורסט (אחייניתו של [[ג'ורג' איוורסט]], האיש שעל שמו נקרא [[אוורסט|ההר]], ומי שהפכה אחר כך לסופרת מצליחה, בעיקר בנושאי חינוך ילדים למתמטיקה). לזוג נולדו חמש בנות במהלך חייהם. אחת מהן, אתל, התחתנה עם [[וילפריד וויניץ']], ולימים, לאחר מותו, ירשה את [[כתב יד וויניץ']]. בשנת [[1857]] זכה מאמרו של בול על [[הסתברות]] לפרס החברה המלכותית של אדינבורו, והוא הפך גם לחבר בה. ב-[[1859]] פרסם את מאמרו החשוב על [[משוואה דיפרנציאלית|משוואות דיפרנציאליות]], הנלמד מאז ועד לתקופתנו.

ג'ורג' בול נפטר מ[[דלקת ריאות]] ב-[[8 בדצמבר]] [[1864]] בבלינטמפל שליד קורק והוא קבור בקורק שבאירלנד.

==תרומתו לתורת ההגיון==
כבר בספרו המוקדם (1847) הניח בול את יסודות האלגברה הבוליאנית. הוא מדגים כיצד לתרגם [[כלל היסק|היסקים]] אריסטוטליים מסורתיים למשוואות בוליאניות פשוטות ומסביר מדוע כל המסקנות התקפות מסורתית (ורבות אחרות, תקפות לא פחות) אינן אלא פתרונות פשוטים למשוואות שכאלה. בספר מוצגים לראשונה בהיסטוריה כמה ממונחי היסוד של תורת ההגיון המודרנית ובראשם יקום השיח, [[הקבוצה הריקה]] וכן ה[[משלים (מתמטיקה)|משלים]] של קבוצה. בעזרת מונחים אלה מרחיב בול משמעותית את תחום חלותה של הלוגיקה האריסטוטלית, אשר למעשה התיימרה לעסוק עד אז רק בשמותיהן של מהויות. למעשה, כדבריו במבוא לספר, ביקש בול להכריע ויכוח ער שנערך בימיו בין אלו שסברו שהלוגיקה המסורתית שונה עקרונית מן המתמטיקה (משום שעניינה, לכאורה, הוא מהויות ולא אקסטנסיות גרידא) ובין אלו שסברו שכל האמיתות המסורתיות אינן אלא אמיתות צורניות בסיסיות. בול כונן לראשונה בהיסטוריה מערכת היסקים אקסטנסיונאלית ובכך פטר את הלוגיקאי המסורתי משימוש באינטואיציות חוץ-לוגיות, בניסיון לשמור על תחומה של הלוגיקה. יחד עם ספרו של דה מורגן (שנתפרסם באותו החודש ממש) מהווה ספר זה את ההרחבה המשמעותית הראשונה של הלוגיקה המסורתית. [[ברטראנד ראסל]] ראה ספר זה כספר הראשון, הלכה למעשה, בתורת ההגיון והוא כינה את בול בתואר אבי הלוגיקה המתמטית. בספרו המאוחר (1854) מרחיב בול בעיקר על אפשרות יישומה של הלוגיקה שלו גם כתורת הסתברות וכן העניק נופך מלומד ועושר היסטורי ופילוסופי להישגיו המוקדמים.

עבודותיו השפיעו רבות על חוקרים שבאו בעקבותיו, ובהם [[אוגוסטוס דה מורגן]], [[ויליאם סטנלי ג'בונס]], [[צ'ארלס פירס]], [[ארנסט שרדר]], [[ברטראנד ראסל]], [[קלוד שאנון]] [[נורברט וינר]], ורבים אחרים. חלקם השלימו את הפיכתה של תורת בול לאלגברה הבוליאנית המודרנית (ג'בונס, פירס, שרדר, הנטינגטון) חלקם ראו בו מבשר ראשון של הלוגיקה המתמטית שאותה פיתחו (ראסל) וחלקם יישמו את ממצאיו לפיתוח תורות חדשות, כגון ה[[קיברנטיקה]] (וינר, שאנון) ו[[תורת האינפורמציה]] (שאנון).

===פרסים והנצחה===
* בשנת [[1844]] הוענקה לו [[המדליה המלכותית]] בתחום המתמטיקה על מאמרו "על השיטה הכללית לאנליזה".
* תואר דוקטור כבוד מ[[אוניברסיטת דבלין]].
* על שמו נקרא [[מכתש פגיעה|מכתש]] Boole הנמצא על [[הירח]].
* ב-[[2 בנובמבר]] [[2015]], ביום הולדתו ה-200, פורסם [[שרבוט גוגל|דודל]] לכבודו.{{הערה|1={{דודל|george-booles-200th-birthday|{{כ}}יום הולדתו ה-200 של בול}}, 2 בנובמבר 2015}}

==ראו גם==
*[[לוגיקה בוליאנית]]

==לקריאה נוספת==
<div style="direction: ltr;">
* MacHale D. '''George Boole His Life and Work''', Boole Prees: Dublin
* Bar-Am N. '''Extensionalism The Revolution in Logic''', Springer.
* Gerard O’Regan, '''Giants of Computing - A Compendium of Select, Pivotal Pioneers''', [[הוצאת שפרינגר|Springer]], 2013, pp. 47–52.
</div>

==קישורים חיצוניים==
{{קישורי פורטל|מתמטיקה|מדעי המחשב|אישים}}
{{ויקישיתוף בשורה}}
{{פרופילי מדענים}}
* {{ynet|[[אבי בליזובסקי]], הידען|גוגל במחווה לרגל 200 שנה להולדתו של ג'ורג' בול|4719698|2 בנובמבר 2015}}
* {{בריטניקה|73612}}
* {{סופר פרויקט גוטנברג}}
* {{Find a Grave}}

<div class="mw-content-ltr">
* [http://www.nimrodbaram.com/Extensionalism_and_Induction_in_Boole.pdf Extensionalism And Induction In Boole]
</div>

== הערות שוליים ==
{{הערות שוליים}}

{{בריטניקה 11|ערך=Boole, George}}

{{בקרת זהויות}}

{{מיון רגיל:בול, ג'ורג'}}
[[קטגוריה:לוגיקנים בריטים]]
[[קטגוריה:לוגיקה בוליאנית]]
[[קטגוריה:אלגברה בוליאנית]]
[[קטגוריה:חלוצי המחשוב]]
[[קטגוריה:זוכי המדליה המלכותית]]
[[קטגוריה:מתמטיקאים בריטים]]
[[קטגוריה:בריטים שנולדו ב-1815]]
[[קטגוריה:בריטים שנפטרו ב-1864]]