בית שמע מיהו בול ג'ורג '? - הגדרה מטכנולוגיה

מיהו בול ג'ורג '? - הגדרה מטכנולוגיה

תוכן עניינים:

Anonim

הגדרה - למה הכוונה של ג'ורג 'בולי?

ג'ורג 'בולי (1815-1864) היה לוגיקן, מתמטיקאי ומחנך אנגלי. החל בתור מנהל בית ספר באנגליה, הוא הפך לפרופסור במתמטיקה באוניברסיטת קווין, קורק, אירלנד. הוא ייצר שתי יצירות עיקריות בלוגיקה, כלומר "הניתוח המתמטי של ההיגיון" (1847) ו"חוקי המחשבה "(1854).

הוא המציא את האלגברה הבוליאנית, שהרחיבה את הקשר בין לוגיקה ומתמטיקה. לימים זה הפך לבסיס לבדוק את תקפותן של הצעות לוגיות, שנעשו בעזרת תו בינארי דו-ערכי - נכון או לא נכון. על תרומותיו העצומות למדעי המחשב, במיוחד בלוגיקה של מחשבים דיגיטליים, בול נחשב לאבי "עידן המידע".

Techopedia מסביר את ג'ורג 'בולי

ילד פלא שמלמד את עצמו בעיקר, בולי מעולם לא למד באוניברסיטה. הוא נאלץ לעזוב את בית הספר בגיל 16 לאחר שעסק הנעליים של אביו התמוטט. באותה שנה, הוא הפך למורה עוזר, ובהמשך פתח בית ספר משלו כשהיה בן 20. עד מהרה, ג'ורג 'התעניין במתמטיקה והמשיך לגלות ענף חדש במתמטיקה המכונה תיאוריה בלתי פוסקת. בשנת 1844, עבור מאמר על משוואות דיפרנציאליות, הוענק בולי מדליית זהב ראשונה של החברה המלכותית של לונדון. אף על פי שלבולי לא היה תואר אוניברסיטאי, בשנת 1849 התמנה לפרופסור למתמטיקה באוניברסיטת קווין אך ורק על בסיס פרסומיו.

בולי היה מראשוני האנגלים שכתבו על היגיון. הוא פיתח סוג חדש של אלגברה לשונית, המכונה כיום אלגברה בוליאנית, כשיטה לתמרן ולפתור טיעונים לוגיים מתמטיים. בולי הציע שניתן יהיה לצמצם את ההצעות הלוגיות למשוואות אלגבריות וניתן להחליף את האופציות המתמטיות במילים לוגיות כגון AND, OR ולא NOT. הוא סיפק אלגוריתמים כלליים בשפה אלגברית שניתן ליישם על סוגים שונים של טיעונים מורכבים. בעבודתו "דיני מחשבה" הוא גם ניסה למצוא שיטה נפוצה בהסתברויות.

מיהו בול ג'ורג '? - הגדרה מטכנולוגיה