בתשובה להאייל הצעיר, 18/09/05 22:22
 |
|
 |
||
|
||||
 |
"א. האם הטענה "0=1+1" נראית לך כסתירה?" לא, זוהי תוצאה תקנית באריתמטיקת-שעון, אבל אין זה קשור כלל וכלל לטענתו המקורית של ברוך, בה הוא משתמש ב-"0=1" כאשר משמעות הסימנית ויחסיהם ידועה היטב. "רוב השפות הפורמליות המעניינות הן אכן "שיקוף" של מושג אינטואיטיבי." נו, אז תגיד לי אתה, בשביל מה צריך את כל המשחקים המקדימים (שבמקרה זה הם מיותרים לחלוטין) של המנעות מהתובנה העומדת בבסיס הגדרה פורמלית, אם הגדרה זו הינה ריקה מתוכן ללא התובנה המכוננת שלה? "ב. למה אתה משתמש בלוגיקה הבינארית שעבר זמנה?" אני משתמש בלוגיקה-משלימה שהיא אינה לוגיקה בינרית ואף לא לוגיקה עמומה (הדוגמאות שאתה נתת מבוססת על לוגיקה עמומה של מצבי-ביניים בין אמת לשקר). "עדכן אותי: מה התובנות החדשות המכוננות את המספרים הטבעיים?" דרגות הסמטריה הפנימיות הקיימות בתוך כל n>2 , ואשר המתמטיקה הרגילה משתמשת רק בדרגת הסימטריה השבורה לחלוטין של כל מספר טבעי. |
 |
 |
 |
|
|
|
||
|
||||
|
"בה הוא משתמש ב-"0=1" כאשר משמעות הסימנית ויחסיהם ידועה היטב" ההפך. הוא בדיוק דיבר על שפה שעליה אנחנו לא יודעים *כלום*. "בשביל מה צריך את כל המשחקים המקדימים" למשל, כי אני לא יודע דרך אחרת להיות בטוח שמשהו שנראה כמו קבוצה הוא באמת קבוצה, חוץ מלבנות אותו ב-ZF (וגם אז, אני *כמעט* בטוח, לא בטוח לחלוטין). אני לא מכיר הגדרה מספקת למונח האינטואיטיבי "קבוצה" (כזו שלא נופלת לפרדוקסים). ספר לי קצת על התכונות של הלוגיקה המשלימה, בבקשה. א. תוכל גם להסביר, בלי להפנות אותי לדף שאני מכיר כל כך טוב, מה הן דרגות סימטריה של מספר? ב. נגדיר "מרפס" כמחלקה של כל דרגות הסימטריה של n כלשהו. כל דרגות הסימטריה של 2 יהיו מרפס2, כל דרגות הסימטריה 3 יהיו מרפס3, וכו'. כמובן, שניתן להגדיר חיבור, כפל וכו' על המחלקות (ע"פ הגדרת החיבור והכפל הרגילים). מה דעתך על תורת המרפסים? תחום מעניין או לא? תבוני או לא? |
|
|
|
|
|
|
||
|
||||
|
העדפתי את המרפסים של קונווי שעליהם סיפר אלון. | |
|
|
|
|
|
||
|
||||
|
ממנו גנבתי את השם. בכל מקרה, כפי שוודאי הבנת, מאחר שדורון קורא לעצים שלו ''מספרים'', אני קראתי ''מרפסים'' למחלקות שהן בעצם המספרים הטבעיים. |
|
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |