בתשובה לדורון שדמי, 18/09/05 22:48
פתיחת ספר היסודות של אוקלידס 330678
האייל הצעיר • בתשובה לדורון שדמי יום א', 18/9/2005, 23:31
"בה הוא משתמש ב-"0=1" כאשר משמעות הסימנית ויחסיהם ידועה היטב"

ההפך. הוא בדיוק דיבר על שפה שעליה אנחנו לא יודעים *כלום*.

"בשביל מה צריך את כל המשחקים המקדימים"

למשל, כי אני לא יודע דרך אחרת להיות בטוח שמשהו שנראה כמו קבוצה הוא באמת קבוצה, חוץ מלבנות אותו ב-ZF (וגם אז, אני *כמעט* בטוח, לא בטוח לחלוטין). אני לא מכיר הגדרה מספקת למונח האינטואיטיבי "קבוצה" (כזו שלא נופלת לפרדוקסים).

ספר לי קצת על התכונות של הלוגיקה המשלימה, בבקשה.

א. תוכל גם להסביר, בלי להפנות אותי לדף שאני מכיר כל כך טוב, מה הן דרגות סימטריה של מספר?
ב. נגדיר "מרפס" כמחלקה של כל דרגות הסימטריה של n כלשהו. כל דרגות הסימטריה של 2 יהיו מרפס2, כל דרגות הסימטריה 3 יהיו מרפס3, וכו'. כמובן, שניתן להגדיר חיבור, כפל וכו' על המחלקות (ע"פ הגדרת החיבור והכפל הרגילים). מה דעתך על תורת המרפסים? תחום מעניין או לא? תבוני או לא?
פתיחת ספר היסודות של אוקלידס 330679
גדי אלכסנדרוביץ' • בתשובה להאייל הצעיר יום א', 18/9/2005, 23:35
העדפתי את המרפסים של קונווי שעליהם סיפר אלון.
פתיחת ספר היסודות של אוקלידס 330680
האייל הצעיר • בתשובה לגדי אלכסנדרוביץ' יום א', 18/9/2005, 23:38
ממנו גנבתי את השם.

בכל מקרה, כפי שוודאי הבנת, מאחר שדורון קורא לעצים שלו ''מספרים'', אני קראתי ''מרפסים'' למחלקות שהן בעצם המספרים הטבעיים.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות