אל על מניה. תורת הקבוצות

אלכסנדריה אוקסיו-קורטז, חברת קונגרס וחברה בוועדת השירותים הפיננסיים של ארה"ב, כתבה הערב בתגובה על סגירת אפשרות המסחר מצד האפליקצייה כי מדובר בפעולה "בלתי מתקבלת על הדעת" מה עם הוכחה של טיעון הסדרה הזה עצמו? ראשית, בואו נכתוב במפורש את אברי הקבוצות
נ מחזור עיסקה אחרונה בכסף נפח ע עכשיו בואו נדבר על מספרים אלגבריים

אבל אני לא יכול לעשות את זה! מס' עיסקאות מחזור עיסקה אחרונה ע.

29
מניית אל על
בין זוג המספרים הטבעיים 0 ו-1 יש אינסוף מספרים רציונליים מסוגים שונים ומשונים
מניית אל על
ראשית, מה זה פולינום רציונלי, בכלל? למעשה, מדובר באסטרטגיה נפוצה, בה משתמשים קרנות הון ומשקיעים רבים ברחבי העולם
אל על מתחילה להחזיר כסף לנוסעים: מנסה לשכנע לקחת זיכוי
אני מקווה שעד סוף הפוסט האינטואיציה שלנו תתמודד עם זה טוב יותר
כדי להוכיח את זה, מספיק שאוכיח שיש רק מספר בן מניה של תוכניות מחשב עבור שפה קונקרטית כלשהי, למשל פייתון; אבל לא צריך בכלל להיכנס לפרטים של פייתון לשם כך, רק לשים לב לאופן שבו תוכנית פייתון כתובה: תוכנית כזו היא סדרה סופית של תווים, שנלקחים מתוך קבוצה סופית פעם הקבוצה הזו של התווים נקראה ASCII ובימינו היא הורחבה למשהו שנקרא UNICODE אבל שוב - אין חשיבות למהות של הקבוצה הזו מעבר לכך שהיא סופית אני חושב שבשלב הזה הבנו את הרעיון, אבל לפני שאני מסיים אני רוצה כמו בפוסט הקודם להביא דוגמא שקשורה לתורת החישוביות - ושוב, בלי שנצטרך להבין משהו בחישוביות לשם כך
כדי לראות את זה נוח להסתכל על המספרים בייצוג עשרוני נ שער גבוה שער נמוך מחזור בכסף מחזור ממוצע שנתי באלפי ש"ח 267 1,313,068 2,693,741 49

לרוב זה סתם מקשה עלינו.

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