בתשובה לסמילי, 04/07/02 16:10
האם קופים חשים כאב 76481
אין איזה משפט שאומר שלא תתכן מערכת כזו? גדל או משהו כזה?
האם קופים חשים כאב 76528
האם המערכת עליה מדבר סמיילי היא ברמת המורכבות של המספרים הטבעיים (לפחות) ?
האם קופים חשים כאב 76534
בשליפה מהמותן ובלי להשקיע הרבה מחשבה בנושא, נראה לי שאם הוא רוצה שהמערכת שלו תתיחס גם לקופים הכחולים שחיים על המאדים ועדיין לא גילינו אותם אז הוא עלול למצוא את עצמו עם מערכת מספיק מורכבת בשביל שתקיים את המשפט המדובר ואז הוא יתקע עם ישיות שלא ניתן להכריע לגביהן.
האם קופים חשים כאב 76545
לא צריכים מערכת מספיק מורכבת. המערכת הפשוטה למדי של ''קבוצה'' עם פעולת ההכלה מספיקה (''קבוצת כל הקבוצות'').
האם קופים חשים כאב 76865
אני לא זוכר מה ההגדרה למורכבות של מערכת אם בכלל יש כזו, בכל אופן מהמערכת שתיארת ניתן להסיק את האריתמטיקה של המספרים הטבעיים וזה התנאי הדרוש.
בכל אופן אני חושב שהדגמנו בצורה יפה את מה שג. שמעון תאר בתגובה אחר כדרך לצנזר דיון והצלחנו לעצור את הויכוח חסר התוחלת שהתקיים לפני הדיון חסר התוחלת הזה ולכן אני רק אומר שאתה כנראה צודק ויתכן מאוד שאני טועה, כאמור הזכרון שלי מחורבן.
היה שלום ותודה על האוגרים.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים