תוכן עניינים
14 יחסים: מונה מדיד, מונה אי נשיג, מונה גדול, אקסיומת מרטין, אקסיומת ההיקפיות, אלגברה בוליאנית, אלגברה בוליאנית (מבנה אלגברי), עזריאל לוי, פול כהן, שהרן שלח, השערת המונה החריג, השערת הרצף, כפיה (מתמטיקה), כפייה (מתמטיקה).
מונה מדיד
בתורת הקבוצות, מונה מדיד הוא סוג מרכזי של מונה גדול.
לִרְאוֹת כפייה (לוגיקה מתמטית) ומונה מדיד
מונה אי נשיג
בתורת הקבוצות, מונה אי-נשיג או מונה בלתי-נגיש הוא סוג של מונה גדול.
לִרְאוֹת כפייה (לוגיקה מתמטית) ומונה אי נשיג
מונה גדול
בתורת הקבוצות, מונים גדולים הוא שם כללי לאוסף של תכונות אפשריות עבור מספרים מונים אינסופיים, שלא ניתן להוכיח כי הן עקביות במסגרת מערכת האקסיומות הסטנדרטית של תורת הקבוצות, ZFC, אך לא ידוע כי הן סותרות את האקסיומות.
לִרְאוֹת כפייה (לוגיקה מתמטית) ומונה גדול
אקסיומת מרטין
בתורת הקבוצות, אקסיומת מרטין היא אקסיומה שמבטיחה כי המודל יחסית סגור (במובן שיתואר בהמשך) תחת הפעלות של כפיות מסוימות.
לִרְאוֹת כפייה (לוגיקה מתמטית) ואקסיומת מרטין
אקסיומת ההיקפיות
בתורת הקבוצות האקסיומטית, אקסיומת ההיקפיות היא אקסיומה במערכת ZF.
לִרְאוֹת כפייה (לוגיקה מתמטית) ואקסיומת ההיקפיות
אלגברה בוליאנית
אלגברה בוליאנית היא התחום המתמטי העוסק במבנים האלגבריים הקרויים "אלגברה בוליאנית", ובנושאים הקשורים לכך.
לִרְאוֹת כפייה (לוגיקה מתמטית) ואלגברה בוליאנית
אלגברה בוליאנית (מבנה אלגברי)
במתמטיקה, ובמיוחד בתורת הקבוצות, אלגברה בּוּליאנית הוא סוג של מבנה אלגברי, הקרוי על-שמו של המתמטיקאי האנגלי ג'ורג' בול (1815-1864).
לִרְאוֹת כפייה (לוגיקה מתמטית) ואלגברה בוליאנית (מבנה אלגברי)
עזריאל לוי
עזריאל לוי (נולד ב-1934) הוא מתמטיקאי ולוגיקן ישראלי, פרופסור אמריטוס באוניברסיטה העברית בירושלים.
לִרְאוֹת כפייה (לוגיקה מתמטית) ועזריאל לוי
פול כהן
פול ג'וזף כהן (2 באפריל 1934 – 23 במרץ 2007) היה מתמטיקאי יהודי-אמריקאי שעבודתו פורצת הדרך בלוגיקה מתמטית, ובמיוחד ההוכחה שהשערת הרצף עצמאית במסגרת תורת הקבוצות האקסיומטית, זיכתה אותו במדליית פילדס לשנת 1966, ובפרסים חשובים אחרים.
לִרְאוֹת כפייה (לוגיקה מתמטית) ופול כהן
שהרן שלח
שַׂהֲרֹן שֶׁלַח (נולד ב-3 ביולי 1945) הוא מתמטיקאי ישראלי, פרופסור אמריטוס למתמטיקה באוניברסיטה העברית בירושלים ובאוניברסיטת רטגרס בניו ג'רזי, ארצות הברית.
לִרְאוֹת כפייה (לוגיקה מתמטית) ושהרן שלח
השערת המונה החריג
בתורת הקבוצות, השערת המונה החריג (SCH) היא ההנחה שהשערת הרצף לא נכשלת במונים חריגים באופן לא טריוויאלי.
לִרְאוֹת כפייה (לוגיקה מתמטית) והשערת המונה החריג
השערת הרצף
השערת הרצף היא טענה שהעלה אבי תורת הקבוצות, גאורג קנטור, לפיה עוצמת הרצף (מסומנת: 2^או |\mathbb R|) היא העוצמה הקטנה ביותר האפשרית של קבוצה שאינה בת מנייה (אומגה אחת).
לִרְאוֹת כפייה (לוגיקה מתמטית) והשערת הרצף
כפיה (מתמטיקה)
#הפניה כפייה (לוגיקה מתמטית).
לִרְאוֹת כפייה (לוגיקה מתמטית) וכפיה (מתמטיקה)
כפייה (מתמטיקה)
#הפניה כפייה (לוגיקה מתמטית).
לִרְאוֹת כפייה (לוגיקה מתמטית) וכפייה (מתמטיקה)