אלגברה בוליאנית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ ←ראו גם: {{אלגברה מופשטת}} |
Matanyabot (שיחה | תרומות) מ בוט החלפות: \1-\2 |
||
שורה 3:
אלגברה בוליאנית קרויה על-שמו של המתמטיקאי האנגלי [[ג'ורג' בול]] ([[1815]]-[[1864]]), שבשנת [[1854]] תיאר מערכת אלגברית לוגית במאמרו ''The Laws of Thought''. תחום האלגברה הבוליאנית נולד בשנות ה-60 של המאה ה-19 במספר מאמרים שפרסמו [[ויליאם ג'בונס]] ו[[צ'ארלס פאריס]]. ב-[[1890]] הגדיר לראשונה [[ארנסט שרודר]] את המושגים [[אלגברה בוליאנית (מבנה אלגברי)|אלגברה בוליאנית]] ו[[סריג דיסטריבוטיבי]] במאמרו ''Vorlesungen''.
החיבור המקיף הראשון בנוגע לאלגבראות בוליאניות שנכתב באנגלית הוא ''Universal Algebra'' שנכתב ב-[[1898]] על ידי [[אלפרד נורת' וייטהד]]. ההתייחסות לאלגבראות בוליאניות כמבנה אלגברי במובן האקסיומטי המודרני החלה ב-[[1904]] במאמר של [[אדוארד ורמיל האנטינגטון]]. עבודות חשובות נוספות בתחום בוצעו על ידי [[מרשל סטון]] ב[[שנות ה-30 של המאה ה-20]], וכן במאמרו של [[גארט בירקהוף]] ''Lattice Theory'' מ[[שנות ה-40 של המאה ה-20]].
ב[[שנות ה-60 של המאה ה-20]] השתמשו [[פול כהן]], [[דנה סקוט]] ואחרים בכלים של אלגבראות בוליאניות על מנת להוכיח תוצאות עמוקות בתחום הלוגיקה וב[[תורת הקבוצות האקסיומטית]], בעיקר בתחום ה[[כפייה (לוגיקה מתמטית)|כפייה]].
| |||