סֵמֶל
יוניונפדיה
תִקשׁוֹרֶת
 Google Play כעת ב-
חָדָשׁ! הורד יוניונפדיה במכשיר אנדרואיד שלך!
חופשי
גישה מהירה יותר מאשר בדפדפן!
 

כפייה (לוגיקה מתמטית)

מַדָד כפייה (לוגיקה מתמטית)

ממוזער בלוגיקה מתמטית, כפייה (באנגלית: Forcing) היא טכניקה רבת עוצמה, המאפשרת לבנות מודלים של תורת הקבוצות שבהם מתקיימות טענות שונות, שלאו דווקא נובעות ממערכת האקסיומות המקורית. [1]

15 יחסים: מונה מדיד, מונה אי נשיג, מונה גדול, אקסיומת מרטין, אקסיומת ההיקפיות, אלגברה בוליאנית, אלגברה בוליאנית (מבנה אלגברי), עזריאל לוי, פול כהן, שהרן שלח, השערת המונה החריג, השערת הרצף, כפיה (מתמטיקה), כפייה, כפייה (מתמטיקה).

מונה מדיד

בתורת הקבוצות, מונה מדיד הוא סוג מרכזי של מונה גדול.

חָדָשׁ!!: כפייה (לוגיקה מתמטית) ומונה מדיד · ראה עוד »

מונה אי נשיג

בתורת הקבוצות, מונה אי-נשיג או מונה בלתי-נגיש הוא סוג של מונה גדול.

חָדָשׁ!!: כפייה (לוגיקה מתמטית) ומונה אי נשיג · ראה עוד »

מונה גדול

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

חָדָשׁ!!: כפייה (לוגיקה מתמטית) ומונה גדול · ראה עוד »

אקסיומת מרטין

בתורת הקבוצות, אקסיומת מרטין היא אקסיומה שמבטיחה כי המודל יחסית סגור (במובן שיתואר בהמשך) תחת הפעלות של כפיות מסוימות.

חָדָשׁ!!: כפייה (לוגיקה מתמטית) ואקסיומת מרטין · ראה עוד »

אקסיומת ההיקפיות

בתורת הקבוצות האקסיומטית, אקסיומת ההיקפיות היא אקסיומה במערכת ZF.

חָדָשׁ!!: כפייה (לוגיקה מתמטית) ואקסיומת ההיקפיות · ראה עוד »

אלגברה בוליאנית

אלגברה בוליאנית היא התחום המתמטי העוסק במבנים האלגבריים הקרויים "אלגברה בוליאנית", ובנושאים הקשורים לכך.

חָדָשׁ!!: כפייה (לוגיקה מתמטית) ואלגברה בוליאנית · ראה עוד »

אלגברה בוליאנית (מבנה אלגברי)

במתמטיקה, ובמיוחד בתורת הקבוצות, אלגברה בּוּליאנית הוא סוג של מבנה אלגברי, הקרוי על-שמו של המתמטיקאי האנגלי ג'ורג' בול (1815-1864).

חָדָשׁ!!: כפייה (לוגיקה מתמטית) ואלגברה בוליאנית (מבנה אלגברי) · ראה עוד »

עזריאל לוי

עזריאל לוי (נולד ב-1934) הוא מתמטיקאי ולוגיקן ישראלי, פרופסור אמריטוס באוניברסיטה העברית בירושלים.

חָדָשׁ!!: כפייה (לוגיקה מתמטית) ועזריאל לוי · ראה עוד »

פול כהן

פול ג'וזף כהן (2 באפריל 1934 – 23 במרץ 2007) היה מתמטיקאי יהודי-אמריקאי שעבודתו פורצת הדרך בלוגיקה מתמטית, ובמיוחד ההוכחה שהשערת הרצף עצמאית במסגרת תורת הקבוצות האקסיומטית, זיכתה אותו במדליית פילדס לשנת 1966, ובפרסים חשובים אחרים.

חָדָשׁ!!: כפייה (לוגיקה מתמטית) ופול כהן · ראה עוד »

שהרן שלח

שַׂהֲרֹן שֶׁלַח (נולד ב-3 ביולי 1945) הוא מתמטיקאי ישראלי, פרופסור אמריטוס למתמטיקה באוניברסיטה העברית בירושלים ובאוניברסיטת רטגרס בניו ג'רזי, ארצות הברית.

חָדָשׁ!!: כפייה (לוגיקה מתמטית) ושהרן שלח · ראה עוד »

השערת המונה החריג

בתורת הקבוצות, השערת המונה החריג (SCH) היא ההנחה שהשערת הרצף לא נכשלת במונים חריגים באופן לא טריוויאלי.

חָדָשׁ!!: כפייה (לוגיקה מתמטית) והשערת המונה החריג · ראה עוד »

השערת הרצף

השערת הרצף היא טענה שהעלה אבי תורת הקבוצות, גאורג קנטור, לפיה עוצמת הרצף (מסומנת: 2^או |\mathbb R|) היא העוצמה הקטנה ביותר האפשרית של קבוצה שאינה בת מנייה (אומגה אחת).

חָדָשׁ!!: כפייה (לוגיקה מתמטית) והשערת הרצף · ראה עוד »

כפיה (מתמטיקה)

#הפניה כפייה (לוגיקה מתמטית).

חָדָשׁ!!: כפייה (לוגיקה מתמטית) וכפיה (מתמטיקה) · ראה עוד »

כפייה

אין תיאור.

חָדָשׁ!!: כפייה (לוגיקה מתמטית) וכפייה · ראה עוד »

כפייה (מתמטיקה)

#הפניה כפייה (לוגיקה מתמטית).

חָדָשׁ!!: כפייה (לוגיקה מתמטית) וכפייה (מתמטיקה) · ראה עוד »

אזכור

[1] https://he.wikipedia.org/wiki/כפייה_(לוגיקה_מתמטית)

יוֹצֵאנִכנָס
היי! אנחנו בפייסבוק עכשיו! »