גישה מהירה יותר מאשר בדפדפן!
20 יחסים: מספר סודר, משפט קנטור (פירושונים), משפט קנטור (תורת הקבוצות), משפט קנטור (לקבוצת החזקה), משפט קנטור לקבוצת החזקה, משפט קניג (תורת הקבוצות), משפט לוונהיים-סקולם, אקסיומת קבוצת החזקה, אלף אפס, עוצמה (מתמטיקה), פרדוקס השקרן, תורת הקבוצות, ב (מתמטיקה), בעיית הכרעה, גאורג קנטור, המלון של הילברט, האלכסון של קנטור, הפרדוקס של ראסל, הוכחת האי-מנייה הראשונה של קנטור, הוכחה בדרך השלילה.
מספר סודר
בתורת הקבוצות, מספר סודר (באנגלית: Ordinal number) הוא טיפוס סדר של קבוצה סדורה היטב.
חָדָשׁ!!: משפט קנטור ומספר סודר · ראה עוד »
משפט קנטור (פירושונים)
אין תיאור.
חָדָשׁ!!: משפט קנטור ומשפט קנטור (פירושונים) · ראה עוד »
משפט קנטור (תורת הקבוצות)
#הפניה משפט קנטור.
חָדָשׁ!!: משפט קנטור ומשפט קנטור (תורת הקבוצות) · ראה עוד »
משפט קנטור (לקבוצת החזקה)
#הפניה משפט קנטור.
חָדָשׁ!!: משפט קנטור ומשפט קנטור (לקבוצת החזקה) · ראה עוד »
משפט קנטור לקבוצת החזקה
#הפניה משפט קנטור.
חָדָשׁ!!: משפט קנטור ומשפט קנטור לקבוצת החזקה · ראה עוד »
משפט קניג (תורת הקבוצות)
משפט קניג (נקרא גם אי-שוויון קניג) הוא משפט מתמטי בתורת הקבוצות.
חָדָשׁ!!: משפט קנטור ומשפט קניג (תורת הקבוצות) · ראה עוד »
משפט לוונהיים-סקולם
בלוגיקה מתמטית, משפט לוונהיים-סקולם הוא משפט יסודי בתורת המודלים שקובע שאם לתורה בשפה בת מנייה מסדר ראשון יש מודל אינסופי, אז יש לה מודל מכל עוצמה אינסופית.
חָדָשׁ!!: משפט קנטור ומשפט לוונהיים-סקולם · ראה עוד »
אקסיומת קבוצת החזקה
בתורת הקבוצות האקסיומטית, אקסיומת קבוצת החזקה היא אקסיומה במערכת ZF שמבטיחה את קיום קבוצת החזקה של כל קבוצה.
חָדָשׁ!!: משפט קנטור ואקסיומת קבוצת החזקה · ראה עוד »
אלף אפס
\!\, \aleph_0 (אָלֶף אֶפֶס) הוא הסימון המקובל בתורת הקבוצות לעוצמה של קבוצת המספרים הטבעיים, שהיא העוצמה האינסופית הקטנה ביותר.
חָדָשׁ!!: משפט קנטור ואלף אפס · ראה עוד »
עוצמה (מתמטיקה)
המונח המתמטי עוצמה, מספר קרדינלי או מספר מונה מתאר גודל של קבוצה שאינו תלוי בתכונות האיברים בקבוצה או בקשרים ביניהם.
חָדָשׁ!!: משפט קנטור ועוצמה (מתמטיקה) · ראה עוד »
פרדוקס השקרן
האם משפט זה הוא אמת או שקר? בפילוסופיה ובלוגיקה, פרדוקס השקרן הוא פרדוקס המיוצג במשפטים "אני משקר עכשיו" או "המשפט הזה הוא שקר" ודומים להם, המכילים התייחסות עצמית המובילה לסתירה פנימית, שאינה מאפשרת לקבוע האם המשפט הוא אמת או שקר.
חָדָשׁ!!: משפט קנטור ופרדוקס השקרן · ראה עוד »
תורת הקבוצות
תורת הקבוצות היא תורה מתמטית בסיסית העוסקת במושג הקבוצה, שהיא אוסף מופשט של איברים שונים זה מזה.
חָדָשׁ!!: משפט קנטור ותורת הקבוצות · ראה עוד »
ב (מתמטיקה)
במתמטיקה, יש שימוש באות ב׳ בייצוג עוצמות אינסופיות.
חָדָשׁ!!: משפט קנטור וב (מתמטיקה) · ראה עוד »
בעיית הכרעה
150 פיקסלים במתמטיקה ובמדעי המחשב, בעיית הכרעה היא בעיה אשר יש לה תשובה של "כן" או "לא".
חָדָשׁ!!: משפט קנטור ובעיית הכרעה · ראה עוד »
גאורג קנטור
גאורג פרדיננד לודוויג פיליפ קנטור (בגרמנית: Georg Ferdinand Ludwig Philipp Cantor; 3 במרץ 1845 – 6 בינואר 1918) היה מתמטיקאי גרמני, אבי תורת הקבוצות העומדת בבסיס המתמטיקה המודרנית.
חָדָשׁ!!: משפט קנטור וגאורג קנטור · ראה עוד »
המלון של הילברט
המָלוֹן של הילברט הוא סיפור שבו השתמש המתמטיקאי הנודע דויד הילברט בהרצאות פופולריות שנתן, והוא נועד להמחיש את התכונות המיוחדות של קבוצות אינסופיות, תכונות מפתיעות למדי למי שמורגל לעסוק רק בקבוצות סופיות.
חָדָשׁ!!: משפט קנטור והמלון של הילברט · ראה עוד »
האלכסון של קנטור
ספרות שהן 0 ו-w מייצג ספרות שאינן 0. האלכסון של קנטור היא הוכחתו של גאורג קנטור משנת 1891 שהמספרים הממשיים אינם בני מנייה.
חָדָשׁ!!: משפט קנטור והאלכסון של קנטור · ראה עוד »
הפרדוקס של ראסל
הפרדוקס של ראסל הוא פרדוקס שהציע הפילוסוף והלוגיקן ברטראנד ראסל בשנת 1901, במכתב ששלח למייסדה של הלוגיקה המתמטית, גוטלוב פרגה.
חָדָשׁ!!: משפט קנטור והפרדוקס של ראסל · ראה עוד »
הוכחת האי-מנייה הראשונה של קנטור
הוכחת האי-מנייה הראשונה היא הוכחתו של גאורג קנטור משנת 1874 כי כמעט כל המספרים הממשיים הם מספרים טרנסצנדנטיים.
חָדָשׁ!!: משפט קנטור והוכחת האי-מנייה הראשונה של קנטור · ראה עוד »
הוכחה בדרך השלילה
בלוגיקה ובמתמטיקה הוכחה בדרך השלילה או הוכחה עקיפה היא שיטת הוכחה לפיה אם הפרכת טיעון מסוים מובילה לסתירה לוגית — הטיעון נכון.
חָדָשׁ!!: משפט קנטור והוכחה בדרך השלילה · ראה עוד »
