בלדווין השני, מלך ירושלים
בלדווין מבורק היה לוחם ואציל ממאה ה-11 וה-12. הוא יצא למסע הצלב הראשון ב-1096. מסע הצלב, מסע של אבירים נוצרים למזרח. הוא הפך לרוזן אדסה. רוזן, שליט של איזור קטן. ב-1101 נשא לאישה את מורפיה. ב-1104 נלחם ונלקח בשבי בעיר מוסול. הוא שוחרר ב-1108 תמורת כסף. ב-1118 הוכתר למלך ירושלים. מיד נאלץ להגן על...
משפט הייצוג של סטון
המשפט אומר שכל מערכת של כללי אמת ושקר דומה למערכת של קבוצות. אלגברה בוליאנית (מערכת של ו, או, לא) מתארת את הכללים האלה. איזומורפית, כלומר שני דברים עושים את אותו הדבר במבנה שונה. המשפט מאפשר להשתמש ברעיונות של קבוצות כדי להבין מערכות אלה. הוכח בשנת 1936 על ידי מרשל סטון....