תוֹכֶן
- הגדרה - למה הכוונה של ג'ורג 'בולי?
- מבוא ל- Microsoft Azure ו- Microsoft Cloud | במהלך מדריך זה תוכלו ללמוד על אודות מיחשוב ענן וכיצד Microsoft Azure יכולה לעזור לכם להעביר ולנהל את העסק שלכם מהענן.
- Techopedia מסביר את ג'ורג 'בולי
הגדרה - למה הכוונה של ג'ורג 'בולי?
ג'ורג 'בולי (1815-1864) היה לוגיקן, מתמטיקאי ומחנך אנגלי. החל בתור מנהל בית ספר באנגליה, הוא הפך לפרופסור למתמטיקה באוניברסיטת קווין, קורק, אירלנד. הוא ייצר שתי יצירות עיקריות בלוגיקה, כלומר "הניתוח המתמטי של ההיגיון" (1847) ו"חוקי המחשבה "(1854).
הוא המציא את האלגברה הבוליאנית, שהרחיבה את הקשר בין לוגיקה ומתמטיקה. לימים זה הפך לבסיס לבדוק את תקפותן של הצעות לוגיות, שנעשו בעזרת תו בינארי דו-ערכי - נכון או לא נכון. על תרומותיו העצומות למדעי המחשב, במיוחד בלוגיקה של מחשבים דיגיטליים, בול נחשב לאבי "עידן המידע".
מבוא ל- Microsoft Azure ו- Microsoft Cloud | במהלך מדריך זה תוכלו ללמוד על אודות מיחשוב ענן וכיצד Microsoft Azure יכולה לעזור לכם להעביר ולנהל את העסק שלכם מהענן.
Techopedia מסביר את ג'ורג 'בולי
ילד פלא שמלמד את עצמו בעיקר, בולי מעולם לא למד באוניברסיטה. הוא נאלץ לעזוב את בית הספר בגיל 16 לאחר שעסקי הנעליים של אבותיו קרסו. באותה שנה ממש, הוא הפך למורה עוזר, ובהמשך פתח בית ספר משלו כשהיה בן 20. עד מהרה, ג'ורג 'התעניין במתמטיקה והמשיך לגלות ענף חדש במתמטיקה המכונה תיאוריה בלתי פוסקת. בשנת 1844, עבור מאמר על משוואות דיפרנציאליות, הוענק בולי מדליית זהב ראשונה של החברה המלכותית של לונדון. למרות שלבולי לא היה תואר באוניברסיטה, בשנת 1849 התמנה לפרופסור למתמטיקה באוניברסיטת קווין אך ורק על בסיס פרסומיו.
בולי היה מראשוני האנגלים שכתבו על היגיון. הוא פיתח סוג חדש של אלגברה לשונית, המכונה כיום אלגברה בוליאנית, כשיטה לתמרן ולפתור טיעונים לוגיים מתמטיים. בולי הציע שניתן יהיה לצמצם את ההצעות הלוגיות למשוואות אלגבריות וניתן להחליף את האופציות המתמטיות במילים לוגיות כגון AND, OR ו- NOT. הוא סיפק אלגוריתמים כלליים בשפה אלגברית שניתן ליישם על סוגים שונים של טיעונים מורכבים. בעבודתו "דיני מחשבה" הוא גם ניסה למצוא שיטה נפוצה בהסתברויות.