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