סיומת אינטרנט
כתובת אתר מחולקת למילים שמופרדות בנקודות. החלק הימני נקרא סיומת אינטרנט. סיומת אינטרנט = Top-level Domain. הארגון שמחלק סיומות נקרא ICANN. יש שני סוגים של סיומות. אחת היא סיומות מדינה. אלה שתי אותיות, כמו .il או .fr. השנייה היא סיומות גנריות. אלה מיועדות לשימוש כללי, כמו .com או .org. ב-1985 הוקצו...
אקסיומת הקבוצה האינסופית
אקסיומת האינסוף אומרת שיש קבוצה אינסופית. זה אומר שקיימת קבוצה A עם הקבוצה הריקה בתוכה. הקבוצה הריקה נקראת "אפס". לכל איבר בקבוצה יש גם "עוקב". העוקב של קבוצה הוא הקבוצה שמכילה את כל האיברים שלה וגם את הקבוצה עצמה. בדרך הזו בונים את המספרים הטבעיים. הם מתחילים מאפס וכל פעם מוסיפים עוקב. אפשר גם לה...
אקסיומת הבחירה
אקסיומת הבחירה אומרת: אם יש קבוצה של קבוצות, וכל אחת מהן לא ריקה, אפשר לבחור פריט אחד מכל קבוצת פריטים. דוגמה פשוטה: בזוגות נעליים אפשר לבחור את הנעל השמאלית בכל זוג. בזוגות גרביים זה לא כל כך ברור, כי אין שמאל וימין. האקסיומה הוצעה על ידי ארנסט צרמלו. היא לא מסבירה איך לבחור, רק אומרת שיכולה להתק...
אקסיומת המקבילים
אוקלידס, מתמטיקאי מן העת העתיקה, כתב כלל חשוב בגאומטריה. אקסיומה היא כלל בסיסי שלא הוכיחו. אקסיומת המקבילים אומרת בקיצור: דרך נקודה שמחוץ לקו אפשר לעבור רק קו אחד שמקביל לקו ההוא. אוקלידס בנה את הגאומטריה מתוך כמה הנחות פשוטות. הארבע הראשונות קצרות. החמישית ארוכה ומיוחדת. לכן היא זכתה לשם מיוחד. ...
.de
de היא סיומת אינטרנט של גרמניה מאז 1986. סיומת היא הסוף של כתובת אתר, כמו '.com'. האותיות 'de' באות מהמילה הגרמנית Deutschland, שפירושו גרמניה. בספרדית 'de' פירושו 'של', ולכן לפעמים משתמשים ב-de כדי ליצור שמות קצרים וקליטים....
.uk
.uk היא הסיומת של אתרי הממלכה המאוחדת. (סיומת = החלק האחרון בשם אתר). יש גם .gb, אבל כמעט לא משתמשים בה. .uk נרשמה ב-1985. זו הייתה הסיומת השנייה שנרשמה, אחרי .us. בשנת 2006 היו כ-5 מיליון אתרי .uk. זו הייתה אחת הסיומות הפופולריות ביותר. ...
.us
us. זו סיומת אינטרנט של ארצות הברית. סיומת = החלק שבסוף כתובת האתר אחרי הנקודה. הסימון קיים מאז 1985. זו הייתה הסיומת הלאומית הראשונה. הרבה אתרים משתמשים ב-.com, .net או .org. ה-.us בדרך כלל משמש למדינות ואזורים בתוך ארצות הברית. יש גם תתי-סיומות כמו .gov ו-.mil. הן שמורות לאמריקאים בלבד. ...
מין דקדוקי
מין דקדוקי אומר איך מחלקים שמות עצם בקבוצות. זה קובע איך מילים אחרות במשפט יתאמו אותן. בעברית יש שני מינים: זכר ונקבה. דוגמה: ילד וילדה. גם חתול וחתולה. יש שפות עם שלושה מינים. למשל גרמנית ולשונות עתיקות כמו לטינית. בטמילית יש שלושה סוגים מיוחדים. בחלק מהשפות יש הרבה מינים. הם יכולים להפריד בין ...
.in
in. היא סיומת אינטרנט של אתרים בהודו. סיומת היא החלק שבסוף כתובת אתר. הסיומת הושקה ב-1989. שמות האתרים מנוהלים על ידי ארגון בהודו בשם INRegistry. ארגון ממשלתי גדול שומר עליהם. בין 1992 ל-2004 נרשמו כ-7,000 שמות בלבד. עד מרץ 2010 היו יותר מ-610,000 שמות. באוקטובר 2011 עברו מיליון שמות. במרץ 2016 ...
.at
'''at.''' היא סיומת של אוסטריה. (סיומת = החלק בסוף כתובת אתר.) קיימת מאז 1988. דוברים באנגלית משתמשים בה. למשל: arrive.at....
.to
to. היא סיומת אינטרנט, החלק האחרון בשם האתר. היא שייכת לטונגה מאז 1995. כל אחד יכול לקנות שם עם .to. האותים 'to' באנגלית פירושם 'אל', ולכן יוצרים כתובות כמו go.to. עסקים בטורונטו קונים .to. גם אתרי טורנט (אתרים לשיתוף קבצים) כמו 1337x משתמשים בה....
.tk
tk. היא סיומת האינטרנט של טוקלאו. סיומת היא החלק שבסוף שם האתר. היא קיימת מאז 7 בנובמבר 1997. ממשלת טוקלאו נותנת רוב השמות עם .tk בחינם. כל שם שמור בשרת שנקרא DNS. זהו שרת שמפנה אותך לאתר הנכון. אפשר להפנות גם לאתרים שאוחסנו בחינם, כמו GeoCities או Angelfire. Teletok מפעילה את השירות. אם כתובת לא...
.tv
.tv היא סיומת אינטרנט של מדינה קטנה בשם טובאלו. סיומת = הסוף של כתובת אתר. אנשים יכולים לקנות כתובות אינטרנט עם .tv תמורת כסף. זה פופולרי כי TV מזכיר את המילה טלוויזיה. ממשלת טובאלו מקבלת כמעט מיליון דולר כל רבעון_from השימוש בסיומת. התוצר המקומי הגולמי הוא 12.2 מיליון דולר ב-2005. תוצר = כמה כסף ...
.com
com. (מאנגלית: commercial, מסחרי) היא סיומת אינטרנט. סיומת היא החלק האחרון בשם האתר. סיומת com קשורה לעסקים. היא הוגדרה לראשונה ב־1985. מאז היא הפכה לנפוצה ביותר. בתחילה רישום הסיומת נעשה עבור משרד ההגנה של ארצות הברית. מרכז מחקר של אוניברסיטת סטנפורד (SRI) טיפל בה. ב־1993 עברה האחריות למוסד מדעי ...
קבוצה אינסופית
קבוצה אינסופית היא קבוצה שיש לה הרבה איברים. הרבה כל כך שאי אפשר לספור כולם עד הסוף.\n\nבמתמטיקה יש כלל שנקרא אקסיומת האינסוף. זה אומר שיש לפחות קבוצה כזו.\n\n=דוגמאות לקבוצות אינסופיות=\nהמספרים הטבעיים הם דוגמה: 1,2,3,...\nגם המספרים הזוגיים הם דוגמה: 2,4,6,...\nאפשר לקשר כל מספר טבעי למספר הזוגי ...
אלומה (מתמטיקה)
אלומה היא דרך לשמור מידע מקומי על מקום מתמטי שנקרא מרחב. מרחב הוא רעיון למקום שבו יש נקודות ופתחים. לכל חלק פתוח U נשמור אוסף של דברים שנקראים חתכים. קדם אלומה נותנת לכל חלק פתוח U אוסף ותכונות צמצום. צמצום אומר לקחת את אותו דבר על חלק קטן יותר. אם לכוסיות של החלק הפתוח יש חתכים שמתאימים זו לזו בח...
Ilities
'ilities' הוא שם לתכונות של מערכת שלא קשורות למה שהיא עושה. באנגלית המילים נגמרות ב-'ility'. בעברית משתמשים בסיומות 'וֹת' ו'וּת'. קטגוריה:הנדסה...
DOC
DOC או doc זה סוג של שם קובץ. סיומת היא החלק בשם אחרי הנקודה. הסיומת שימשה בתחילה לקבצי טקסט פשוט. בשנות ה-80 השתמשו בה גם בתוכנת WordPerfect. בשנות ה-90 מיקרוסופט לקחה את הפורמט לשימוש בוורד. קבצי DOC יכולים להכיל טקסט מעוצב, תמונות, טבלאות ונוסחאות. הם יכולים גם להכיל מקרו. מקרו הוא פקודה קטנה ש...
.il
il. היא סיומת של אתרי אינטרנט שקשורים לישראל. סיומת זו נקראת ccTLD. זה אומר קוד מדינה לשם אתר. הסיומת il. נרשמה ב‑24 באוקטובר 1985. היא הייתה השלישית אחרי us. ו‑uk.. במאי 2020 אושרה גם הסיומת ".ישראל". רישום מוקדם התחיל באמצע 2022. יש שמונה תת‑סיומות של אתרים בישראל. לפעמים משתמשים בהן לא נכון. למש...
מכפלה קרטזית
מכפלה קרטזית יוצרת קבוצה של זוגות. בכל זוג, האיבר הראשון מגיע מקבוצה אחת. האיבר השני מגיע מקבוצה שנייה. זוג כזה נקרא "זוג סדור" כי הסדר חשוב. אם יש 13 דירוגים של קלפים ו‑4 סוגים (♠,♥,♦,♣), אז כל צירוף של דירוג וסוג יוצר קלף. כל הצירופים יחד הם 52 קלפים. אם יש כמה קבוצות, ממש כמו רשימה של תיבות, כל...
משפט טיכונוף
משפט טיכונוב אומר: אם כל אחד מהמרחבים בקבוצה הוא קומפקטי, אז גם המרחב שמורכב מהם יחד (המכפלה) קומפקטי. קומפקטיות פירושה: כל כיסוי של המרחב על ידי קבוצות פתוחות ניתן לכסות בעזרת מספר סופי מהן (כלומר לא צריך אינסוף קבוצות). טיכונוב הוכיח את זה בתחילת המאה ה־20. אחת ההוכחות מסתכלת על קבוצות פתוחות שמ...
קובץ
קובץ שומר מידע במחשב. מידע זה יכול להיות תמונה, טקסט או מוזיקה. קבצים נשמרים על דיסק קשיח או על דיסק און קי. זה נקרא אמצעי אחסון, מקום לשמור מידע. המערכת ההפעלה היא התוכנה שמנהלת את הקבצים. היא אוספת חלקים מפוזרים וקוראת להם קובץ. רוב הקבצים הם סדרתיים. קבצים אקראיים יש רק במחשבים גדולים. קבצים עם ...
אקסיומות המנייה
אקסיומות המנייה מדברות על כמה קבוצות יש במרחב טופולוגי. אם הקבוצות האלה אפשר לספור אותן, אומרים שהן בנות מנייה. מרחב טופולוגי הוא מקום עם קבוצות שנקראות פתוחות. בסיס הוא אוסף קטן של קבוצות פתוחות. כל קבוצה פתוחה נבנית מאיחוד של קבוצות מהבסיס. בסיס מקומי הוא אוסף כזה סביב נקודה מסוימת. אקסיומת המני...
שם חיבה
שם חיבה הוא שם קטן שאנשים קרובים נותנים. זה מראה חיבה. לעתים נותנים אותו לתינוקות. לפעמים מפסיקים להשתמש בו כשהם גדלים. הרבה פעמים זה רק צורת הקטנה של השם. דוגמה: ישראל → שרוליק. אברהם → אבי. בשפות אחרות גם יש כינויים. באנגלית: William → Bill. ברוסית: יקטרינה → קטיה. פעמים מוסיפים לסוף השם תוספת קצר...
הפרדוקס של בנך-טרסקי
הפרדוקס של בנך-טרסקי אומר שאפשר לחתוך כדור למספר חלקים, להזיז ולסובב את החלקים, ולקבל שני כדורים בגודל של הכדור הראשון. זה נשמע מוזר, אבל זה נכון במתמטיקה. "חופפות‑בחלקים" פירושו לחתוך צורה לקטעים ולהזיז או לסובב כל קטע כך שיתאים לקטעים של הצורה השנייה. "איזומטריה" היא העברה או סיבוב ששומרת על המ...
הפרדוקס של ראסל
ברטראנד ראסל גילה בעיה חשובה בלוגיקה בשנת 1901. הבעיה השפיעה על הדרך של מתמטיקאים לבנות קבוצות. קבוצות הן אוספים של דברים. החזירו רעיון פשוט: יש קבוצות שמכילות את עצמן, ויש כאלה שלא. ראסל בנה את X, שהיא הקבוצה של כל הקבוצות שלא שייכות לעצמן. נשאלת שאלה: האם X שייכת ל‑X? אם X שייכת ל‑X, אז היא לא י...
מידת לבג
מידת לבג אומרת כמה "אורך" יש לקבוצה על הישר. השם מגיע מהמתמטיקאי אנרי לבג. זו פונקציה שמודדת קבוצות על הישר. היא נותנת לכל קטע את האורך שלו. אורך של הקטע [a,b) הוא b-a. כדי למדוד קבוצות מסובכות מכסים אותן בקטעים. מודדים את סכום האורכים של הקטעים. לוקחים את הערך הקטן ביותר האפשרי. כך מקבלים את ה...
גאומטריה לא-אוקלידית
גאומטריה לא-אוקלידית היא דרך שונה לעשות גאומטריה. היא שונה מכללים מסוימים של אוקלידס. אקסיומה (אקסיומה = כלל בסיסי) חשובה היא אקסיומת המקבילים. באוקלידס יש בדיוק קו אחד שעובר דרך נקודה ואינו פוגש קו אחר. בגאומטריה היפרבולית יש רבים מאוד קווים דרך אותה נקודה שאינם נפגשים בקו הנתון. בגאומטריה הספרית...
סדר טוב
סדר טוב הוא סדר שבו כל תת־קבוצה לא ריקה מתחילה עם איבר ראשון. (איבר ראשון הוא האיבר הקטן ביותר בקבוצה.) דוגמה פשוטה: המספרים הטבעיים מסודרים היטב. בכל קבוצה של טבעיים יש מספר הכי קטן. אבל בכל השלמים אין מספר ראשון. לכן הם לא מסודרים היטב. עבור המספרים הממשיים אומרים שיכולים לסדר אותם היטב בעזרת רע...
הלמה של צורן
הלמה של צורן היא כללי עזר במתמטיקה. היא עוזרת להוכיח שקיים משהו, גם כשלא בונים אותו במפורש. הרעיון המרכזי פשוט: יש קבוצה עם יחס שמסדר חלק מהאיברים. שרשרת היא קבוצה שבה כל שני איברים כן אפשר להשוות. אם כל שרשרת מקבלת "חסם מלעיל" (איבר שהוא גדול או שווה לכל האיברים בשרשרת), אז יש בקבוצה איבר שמעליו...
או. הנרי
ויליאם סידני פורטר (1862, 1910) כתב בשם או. הנרי. הוא היה סופר מפורסם של סיפורים קצרים. הוא אמר שיש סיפור בכל דבר. פורטר נולד בגרינסבורו. בגיל 15 עזב את בית הספר ועבד בחנות אביו. ב-1882 עבר לטקסס ועבד בחווה ובמשרות שונות. הוא עבד בבנק ואז התחיל לכתוב בעיתון. ב-1896 האשימו אותו בגניבת כסף מהבנק. הוא...
מונחון IUPAC
IUPAC הוא האיגוד שקובע שמות לחומרים בכימיה. השמות עוזרים להבין איך החומר בנוי. אלקאנים הם חומרים עם פחמן ומימן בלבד. אין להם קשרים כפולים. שמות שלהם נגמרים ב"-אן". דוגמאות קצרות: מתאן ופרופאן. השֵׁם אומר מהי השרשרת הארוכה ביותר של פחמנים. אם יש חלקים שמתחברים מהצד הם נקראים אלקיל. אלקיל מוסיפים בש...
אקסיומה
אקסיומה היא רעיון שמקבלים כנכון בלי להוכיח. (הנחה = רעיון שמתחילים ממנו.) במתמטיקה בונים על אקסיומות. הן משמשות כנקודת מוצא להוכחות ולכללים. חשוב שהאקסיומות לא יתנו סתירה אחת לשנייה. יש מקרים שגילו שאפשר לשנות אקסיומה ולקבל גאומטריה אחרת. זה קורה עם אקסיומת המקבילים לגאומטריה. בפיזיקה אקסיומה היא ...
מואבית
מואבית הייתה שפה שתדברו בממלכת מואב. השפה כבר לא מדוברת היום. היא דומה לעברית של התנ"ך. הכי ידועה הכתובת על מצבת מישע. הכתובות נכתבו בכתב כנעני ישן. יש עוד כתובות קטנות, אבל מצבת מישע חשובה ביותר. במואבית רבים נסתיימו ב־ין. זה שונה מהעברית שלנו שסתימת הרבים היא -ים. לדוגמה mlkn מול "מלכים". נקב...
.au
.au היא הסיומת של אתרי אינטרנט של אוסטרליה מאז 1986. ccTLD (סיומת של מדינה) פירושה סיומת לשם של מדינה. בתחילה אוניברסיטת מלבורן טיפלה בהרשמות. אחר כך הקימו את auDA. auDA הוא ארגון ללא רווח שקיבל מהממשלה את המשימה לנהל את הדומיינים. מאז 2002 אפשר לקנות שמות רק דרך רשמים מורשים (חברות שמוכרות שמות ד...
מערכת האקסיומות של הילברט
דויד הילברט בנה ב-1899 קבוצה של 20 אקסיומות. אקסיומה היא הנחה בסיסית שלא מוכיחים. המטרה הייתה לבנות חוקי יסוד לגאומטריה, במקום התיאורים הישנים של אוקלידס. המערכת מדברת על שלושה דברים בסיסיים: נקודה (נקודה = מיקום בלי גודל), ישר (קו שאפשר להושיט בלי כיפוף) ומישור (משטח שטוח). יש גם יחסים חשובים: ח...
חכיתיה
חכיתיה (גם חכתיה או חקיטיה) היא לשון יהודית שקרובה לספרדית. לאדינו זו ספרדית משולבת במילים עבריות. השפה צמחה אצל יהודי צפון מרוקו. מקורה הוא בספרד לפני הגירוש ב-1492. היא שילבה מילים מעברית ומערבית. בתוכה שמים לב לאופן דיבור מיוחד של האות ח. חי"ת הגרונית היא האות ח שמודלקת מהגרון. חכיתיה נכתבה באו...
תבנית:PDF
שמים סימן קטן אחרי קישור לקובץ PDF שאינו מסתיים ב-.pdf. PDF הוא פורמט לקבצים לקריאה. אם הכתובת כוללת .pdf, הסימן מתווסף לבד. הסימן מראה שהקובץ נטען לאט יותר מקישור רגיל. מוסיפים את הסימן מיד אחרי הקישור כדי לשמור על סדר. אפשר להוסיף לכתובת פרטים קטנים שנקראים פרמטרים. הפרמטר page# פותח עמוד ספציפי ב...
צריחון
צריחון הוא צריח קטן וחד שמוצמד לגגות כנסיות גותיות. (גותית = סגנון בנויות ישנות מאוד.) הצריחון עוזר לשני דברים חשובים. קודם כל, הוא דוחף את הכוח של התקרה כלפי מטה. כך הקירות הדקים לא ייפלו. שנית, הוא מקשט ועושה את הכנסייה להיראות גבוהה. כבר בימי הביניים הצריחונים הופיעו על כנסיות בצרפת ובאנגליה. ה...
משפט הקומפקטיות
משפט הקומפקטיות אומר שאם כל קבוצה קטנה של משפטים מתקיימת, גם כל הקבוצה כולה יכולה להתקיים. מודל הוא מקום שבו המשפטים נכונים.\n\n= הוכחות למשפט =\nיש כמה דרכים להוכיח את המשפט. אחת מהן משתמשת במשפט השלמות של גדל. המשפט הזה מחבר בין "אין סתירה" לבין "יש מודל". דרך אחרת היא טופולוגית. שם מסתכלים על מרח...
משפט טרסקי
אלפרד טרסקי גילה משפט שמקושר לאקסיומת הבחירה. אקסיומת הבחירה אומרת שאפשר לבחור פריט אחד מכל קבוצה במשפחה של קבוצות. טרסקי הראה שאם לכל קבוצה אינסופית מספר האיברים שלה שווה למספר האיברים בזוגות שלה (A×A), אז אפשר להוכיח את אקסיומת הבחירה. כשטרסקי שלח את המאמר לפרסום, שני מתמטיקאים מפורסמים דחו אותו...
קובץ הרצה
קובץ הרצה הוא קובץ שהמחשב יכול להפעיל. ברוב הקבצים האלה המידע כתוב בבינארי. בינארי זה סדרת אפסים ואחדים. הפקודות שם הן מה שהמעבד, המוח של המחשב, מבין. לקבצים כאלה יש לפעמים סיומות כמו exe או bin. המחשב יכול גם להראות אם הקובץ זמין להרצה. אם מותקנת תוכנת ג'אווה במחשב, אפשר להריץ קבצי JAR. לפעמים ...
ישרים מקבילים
ישרים מקבילים הם קווים באותו מישור שאינם נפגשים. ("מישור" = משטח שטוח.) אקסיומת המקבילים אומרת: דרך נקודה מחוץ לקו אפשר להעביר רק קו אחד שאינו נפגש עם הקו ההוא. כשקו חותך שני ישרים, נוצרים כמה זוויות. "זוויות" הן פינות שנוצרות בין קווים. "זוויות חד-צדדיות" הן שתי זוויות שנמצאות מאותו צד של הקו ה...
גאומטריה היפרבולית
על משטח היפרבולי גאומטריה היפרבולית היא דרך אחרת לתאר שטח. אוקלידית היא הגאומטריה הרגילה. אקסיומה היא כלל בסיסי. כאן החליפו את כלל המקבילים: דרך נקודה מחוץ לישר עוברים יותר משורה אחת שאינו חותך את אותו ישר. זה דומה לגאומטריה הרגילה בהרבה דברים, אבל יש הבדלים חשובים. צריך ללמוד מושגים חדשים. רק ...
אי חג המולד
טריטוריית האי כריסטמס שייכת לאוסטרליה. האי נמצא באוקיינוס ההודי, רחוק מפרת׳ וג'קרטה. שטח האי כ-135 קמ"ר. כ-65% מהאי שמורה לטבע. האי הופיע על מפות כבר במאה ה-17. ב-1888 הספיקו אותו הבריטים אחרי שמצאו פוספטים (סלעים שממנו מייצרים דשנים). במלחמת העולם השנייה כבשו אותו היפנים עד 1945. ב-1957 הוא עבר לש...
נקודה (פיסוק)
נקודה ('.') היא סימן פיסוק. סימן פיסוק זה מראה מתי משפט נגמר. אומרים משפט ואז שמים נקודה. לדוגמה: "אתמול הלכתי לטייל. בדרך ראיתי כלב." נקודה מופיעה גם בקיצורים. קיצור (מילה מקוצרת) כמו Dr. או Mr. או Ms. בסינית משתמשים בנקודה כדי להפריד שם פרטי ושם משפחה בשמות זרים. שמות סיניים רגילים לא משתמשים ב...
גאומטריה אוקלידית
גאומטריה אוקלידית מדברת על נקודות, קווים ומעגלים. נקודה היא נקודה קטנה בלי גודל. ישר הוא קו ארוך שאפשר להמשיך אותו בלי סוף. מעגל הוא קו סביב נקודת מרכז במרחק קבוע. זווית היא הפינה בין שני קווים. היוונים קבעו חוקים פשוטים שעוזרים לבנות משפטים. החוקים העיקריים: 1. אפשר לצייר קו ישר בין שתי נקודות. 2....
משפט אוריסון
משפט אוריסון אומר כך: אם יש לנו מקום טופולוגי עם שתי תכונות חשובות, אפשר להגדיר בו מרחק. התכונות הן פרקטיות: אפשר להפריד נקודות מסוימות, ויש רשימה קטנה של קבוצות שמבנה את המקום. = הוכחה = = סכמת ההוכחה = 1. הופכים את המקום לנורמלי. נורמלי כאן אומר שיכולים להפריד שתי קבוצות סגורות. 2. בונים העתק של ה...
עוצמה (מתמטיקה)
עוצמה היא המונח למידת הגודל של קבוצה.\nזה פשוט לקבוצות סופיות: העוצמה היא כמה איברים יש בקבוצה. למשל, קבוצת חודשי השנה יש לה 12 איברים.\n\nלעתים יש קבוצות אינסופיות. גם להן יש עוצמה.\nלמשל, לכל המספרים 1,2,3,... יש אותה עוצמה כמו לכל המספרים הזוגיים 2,4,6,... כי אפשר לזווג כל n עם 2n.\n\nקבוצה אינסו...
תורת הקבוצות האקסיומטית
תורת הקבוצות האקסיומטית היא דרך מסודרת לדבר על קבוצות. קבוצה, אוסף של דברים. לפני כמאה שנים ראסל גילה בעיות בתיאורים פשוטים של קבוצות. הבעיות אלו גרמו למתמטיקאים ליצור חוקים ברורים. צרמלו ופרנקל עזרו לבנות את המערכת החדשה הזו. המתמטיקאים עובדים בעיקר עם ZFC. זו מערכת של חוקים בסיסיים על קבוצות....