גישה מהירה יותר מאשר בדפדפן!
33 יחסים: L (תורת הקבוצות), ZFC, מספר סודר, משפטי אי-השלמות של גדל, מונה מדיד, מונה גדול, מילה נרדפת, אקסיומת האינסוף, אקסיומת הבחירה, אקסיומת ההפרדה, אקסיומת ההחלפה, אקסיומת היסוד, ארנסט צרמלו, אלפרד טרסקי, אינדוקציה טרנספיניטית, עקביות (לוגיקה), עוצמה (מתמטיקה), פליקס האוסדורף, קבוצת החזקה, קבוצה שאינה בת מנייה, קורט גדל, תורת הקבוצות, לוגיקה מסדר שני, ג'ון פון נוימן, השערת הרצף, השערת הרצף המוכללת, הוכחה, הוכחה בדרך השלילה, היררכיה, ואצלב שרפינסקי, כפייה (לוגיקה מתמטית), 1908, 1930.
L (תורת הקבוצות)
בתורת הקבוצות, L או אוסף הקבוצות הניתנות לבנייה הוא מחלקה של קבוצות שבנויות באופן אינדוקטיבי בצורה מפורשת יחסית מתוך קבוצות פשוטות יותר.
חָדָשׁ!!: מונה אי נשיג וL (תורת הקבוצות) · ראה עוד »
ZFC
#הפניה תורת הקבוצות האקסיומטית.
חָדָשׁ!!: מונה אי נשיג וZFC · ראה עוד »
מספר סודר
בתורת הקבוצות, מספר סודר (באנגלית: Ordinal number) הוא טיפוס סדר של קבוצה סדורה היטב.
חָדָשׁ!!: מונה אי נשיג ומספר סודר · ראה עוד »
משפטי אי-השלמות של גדל
#הפניה משפטי האי-שלמות של גדל.
חָדָשׁ!!: מונה אי נשיג ומשפטי אי-השלמות של גדל · ראה עוד »
מונה מדיד
בתורת הקבוצות, מונה מדיד הוא סוג מרכזי של מונה גדול.
חָדָשׁ!!: מונה אי נשיג ומונה מדיד · ראה עוד »
מונה גדול
בתורת הקבוצות, מונים גדולים הוא שם כללי לאוסף של תכונות אפשריות עבור מספרים מונים אינסופיים, שלא ניתן להוכיח כי הן עקביות במסגרת מערכת האקסיומות הסטנדרטית של תורת הקבוצות, ZFC, אך לא ידוע כי הן סותרות את האקסיומות.
חָדָשׁ!!: מונה אי נשיג ומונה גדול · ראה עוד »
מילה נרדפת
בתחומי המילונאות והסמנטיקה הלקסיקלית, מילים נרדפות או סינונימים (מיוונית עתיקה) הן קבוצת מילים בשפה מסוימת שיש להן משמעות שקולה או דומה מאוד.
חָדָשׁ!!: מונה אי נשיג ומילה נרדפת · ראה עוד »
אקסיומת האינסוף
#הפניה אקסיומת הקבוצה האינסופית.
חָדָשׁ!!: מונה אי נשיג ואקסיומת האינסוף · ראה עוד »
אקסיומת הבחירה
אקסיומת הבחירה היא אחת האקסיומות של תורת הקבוצות האקסיומטית לפיה, בהינתן אוסף של קבוצות לא ריקות, ניתן לבחור איבר אחד מכל קבוצה.
חָדָשׁ!!: מונה אי נשיג ואקסיומת הבחירה · ראה עוד »
אקסיומת ההפרדה
בתורת הקבוצות האקסיומטית, אקסיומת ההפרדה היא סכימת אקסיומות שמבטיחה שכל תת קבוצה ניתנת להגדרה של קבוצה היא גם קבוצה.
חָדָשׁ!!: מונה אי נשיג ואקסיומת ההפרדה · ראה עוד »
אקסיומת ההחלפה
בתורת הקבוצות האקסיומטית, אקסיומת ההחלפה היא סכימה של אקסיומות שמבטיחות כי תמונה של הפעלת פונקציה גדירה על קבוצה היא גם קבוצה.
חָדָשׁ!!: מונה אי נשיג ואקסיומת ההחלפה · ראה עוד »
אקסיומת היסוד
בתורת הקבוצות, אקסיומת היסוד היא אקסיומה במערכת ZFC, שהוצגה לראשונה על ידי ג'ון פון נוימן.
חָדָשׁ!!: מונה אי נשיג ואקסיומת היסוד · ראה עוד »
ארנסט צרמלו
ארנסט פרידריך פרדיננד צֶרמֵלו (בגרמנית: Ernst Friedrich Ferdinand Zermelo) (27 ביולי 1871 - 21 במאי 1953) היה מתמטיקאי ופילוסוף גרמני.
חָדָשׁ!!: מונה אי נשיג וארנסט צרמלו · ראה עוד »
אלפרד טרסקי
אלפרד טרסקי (באנגלית: Alfred Tarski; 14 בינואר 1901 – 26 באוקטובר 1983), נולד כאלפרד טייטלבוים, היה מתמטיקאי, לוגיקן ופילוסוף אמריקאי ממוצא יהודי-פולני. השתלם במתמטיקה בבית הספר למתמטיקה ופילוסופיה בוורשה, היגר לארצות הברית ב-1939, ועסק בהוראה ובמחקר באוניברסיטת קליפורניה בברקלי למן שנת 1942 ועד יום מותו. טרסקי היה כותב פורה שנודע יותר מכל הודות לחיבוריו המתמטיים בתחום תורת המודלים, מטא-מתמטיקה, לוגיקה אלגברית, אלגברה מופשטת, טופולוגיה, גאומטריה, תורת המידה, לוגיקה מתמטית, תורת הקבוצות וכן בתחום הפילוסופיה האנליטית. יש המשווים את חשיבותו כלוגיקן לזו של אריסטו, ברטרנד ראסל, קורט גדל וגוטלוב פרגה. כותבי הביוגרפיה שלו, אניטה וסולומון פפרמן, הצהירו כי, "לצד בן-זמנו, קורט גדל, טרסקי שינה את פני הלוגיקה במאה ה-20, ובמיוחד באמצעות חיבוריו על עיקרון האמת ועל תורת המודלים" (א. פפרמן, 2004). גם על שמו נקרא פרדוקס בנך טרסקי שתואר במאמר פרי עטם שלו ושל סטפן בנך.
חָדָשׁ!!: מונה אי נשיג ואלפרד טרסקי · ראה עוד »
אינדוקציה טרנספיניטית
אינדוקציה טרנספיניטית או אינדוקציה על־סופית היא שיטת הוכחה המאפשרת להוכיח שתכונה מסוימת מתקיימת לכל איברי קבוצה סדורה היטב.
חָדָשׁ!!: מונה אי נשיג ואינדוקציה טרנספיניטית · ראה עוד »
עקביות (לוגיקה)
במתמטיקה ובלוגיקה, עקביות (או קונסיסטנטיות, קוהרנטיות) של מערכת מסוימת פירושה שמערכת זו היא נטולת סתירות.
חָדָשׁ!!: מונה אי נשיג ועקביות (לוגיקה) · ראה עוד »
עוצמה (מתמטיקה)
המונח המתמטי עוצמה, מספר קרדינלי או מספר מונה מתאר גודל של קבוצה שאינו תלוי בתכונות האיברים בקבוצה או בקשרים ביניהם.
חָדָשׁ!!: מונה אי נשיג ועוצמה (מתמטיקה) · ראה עוד »
פליקס האוסדורף
פליקס האוסדורף (בגרמנית: Felix Hausdorff; 8 בנובמבר 1868 – 26 בינואר 1942), מתמטיקאי יהודי-גרמני, ממייסדי הטופולוגיה המודרנית.
חָדָשׁ!!: מונה אי נשיג ופליקס האוסדורף · ראה עוד »
קבוצת החזקה
בתורת הקבוצות, קבוצת החזקה של קבוצה נתונה A היא קבוצת כל תת הקבוצות של A, ומסמנים אותה ב־ \mathcal(A).
חָדָשׁ!!: מונה אי נשיג וקבוצת החזקה · ראה עוד »
קבוצה שאינה בת מנייה
בתורת הקבוצות, קבוצה שאינה בת מנייה היא קבוצה אינסופית המכילה יותר מדי איברים מכדי שניתן יהיה למנות אותם.
חָדָשׁ!!: מונה אי נשיג וקבוצה שאינה בת מנייה · ראה עוד »
קורט גדל
קורט גֶדֶל (בגרמנית:; 28 באפריל 1906 – 14 בינואר 1978) היה לוגיקן ומתמטיקאי אוסטרי שהיגר לארצות הברית.
חָדָשׁ!!: מונה אי נשיג וקורט גדל · ראה עוד »
תורת הקבוצות
תורת הקבוצות היא תורה מתמטית בסיסית העוסקת במושג הקבוצה, שהיא אוסף מופשט של איברים שונים זה מזה.
חָדָשׁ!!: מונה אי נשיג ותורת הקבוצות · ראה עוד »
לוגיקה מסדר שני
בלוגיקה ובמתמטיקה, לוגיקה מסדר שני או שפה מסדר שני היא הרחבה של הלוגיקה מסדר ראשון שמתקבלת על ידי הוספת כמתים על תתי קבוצות של המודל, על פונקציות ועל יחסים.
חָדָשׁ!!: מונה אי נשיג ולוגיקה מסדר שני · ראה עוד »
ג'ון פון נוימן
ג'ון לואיס פון נוימן (באנגלית: John von Neumann; 28 בדצמבר 1903 – 8 בפברואר 1957) היה מתמטיקאי ואיש אשכולות הונגרי-אמריקאי יהודי מומר.
חָדָשׁ!!: מונה אי נשיג וג'ון פון נוימן · ראה עוד »
השערת הרצף
השערת הרצף היא טענה שהעלה אבי תורת הקבוצות, גאורג קנטור, לפיה עוצמת הרצף (מסומנת: 2^או |\mathbb R|) היא העוצמה הקטנה ביותר האפשרית של קבוצה שאינה בת מנייה (אומגה אחת).
חָדָשׁ!!: מונה אי נשיג והשערת הרצף · ראה עוד »
השערת הרצף המוכללת
#הפניה השערת הרצף#השערת הרצף המוכללת.
חָדָשׁ!!: מונה אי נשיג והשערת הרצף המוכללת · ראה עוד »
הוכחה
במתמטיקה ובלוגיקה הוכחה היא סדרה סופית של טענות הנובעות זו מזו בעזרת כללי היסק, תוך שימוש בהגדרות, באקסיומות, ובידע קודם שהוכח קודם לכן, המראה שטענה מסוימת היא נכונה.
חָדָשׁ!!: מונה אי נשיג והוכחה · ראה עוד »
הוכחה בדרך השלילה
בלוגיקה ובמתמטיקה הוכחה בדרך השלילה או הוכחה עקיפה היא שיטת הוכחה לפיה אם הפרכת טיעון מסוים מובילה לסתירה לוגית — הטיעון נכון.
חָדָשׁ!!: מונה אי נשיג והוכחה בדרך השלילה · ראה עוד »
היררכיה
תרשים אופייני המתאר היררכיה מעלה–מטה.ש עיגול מייצג אובייקט. מתחתיו מחוברים אליו אובייקטים משלב נמוך יותר בהיררכיה קצין בצה"ל נותן הוראה ללוחמיו. דוגמה להיררכיה אנושית בצבאות. קופי מקוק יפני בעלי היררכיה ברורה. רק הפרטים הנחשבים זוכים להיכנס לבריכות החמימות של יפן. הִיֶּרַרְכְיָה (מִדְרָג, מיוונית ἱεραρχία "שלטון הכהן העליון") היא מערכת של דירוג וארגון.
חָדָשׁ!!: מונה אי נשיג והיררכיה · ראה עוד »
ואצלב שרפינסקי
ואצלב פראנצ'ישֶק שֶׁרְפִּינסקי (בשם מלא בפולנית:; 14 במרץ 1882 – 21 באוקטובר 1969) היה מתמטיקאי פולני שנודע בתרומתו הגדולה לתורת הקבוצות בחקר אקסיומת הבחירה והשערת הרצף.
חָדָשׁ!!: מונה אי נשיג וואצלב שרפינסקי · ראה עוד »
כפייה (לוגיקה מתמטית)
ממוזער בלוגיקה מתמטית, כפייה (באנגלית: Forcing) היא טכניקה רבת עוצמה, המאפשרת לבנות מודלים של תורת הקבוצות שבהם מתקיימות טענות שונות, שלאו דווקא נובעות ממערכת האקסיומות המקורית.
חָדָשׁ!!: מונה אי נשיג וכפייה (לוגיקה מתמטית) · ראה עוד »
1908
אין תיאור.
חָדָשׁ!!: מונה אי נשיג ו1908 · ראה עוד »
1930
אין תיאור.
חָדָשׁ!!: מונה אי נשיג ו1930 · ראה עוד »
אזכור
[1] https://he.wikipedia.org/wiki/מונה_אי_נשיג
