בתשובה ליובל נוב, 17/04/11 13:19
למה יש שאלות שאין עליהן תשובות 568482
גדי אלכסנדרוביץ'  (אתר) • בתשובה ליובל נוב יום ב', 18/4/2011, 8:54
אני היחיד שהתרגז כאן במיוחד על "אקסיומות הן משפטים שמניחים כי נכונותם ברורה מאליה"? זה אולי היה נכון לפני אלפי שנים אבל ממש לא התפקיד של אקסיומות במתמטיקה המודרנית.

בהמשך אותה פסקה יש את "ישנן בעיות שמפגינות מה שהוגדר בתור "סיבוכיות" (computational complexity) שלא ניתן לפתור אותן בשימוש באלגוריתמים מעשיים" ששייך לסוג המשפטים של כן-אני-יודע-למה-הוא-התכוון-אבל-אלוהים-איזה-סלט.

ונראה לי קצת מוזר שעם כל הבלאגן הזה הוא לא טרח להזכיר את בעיית העצירה (שלטעמי מבהירה את הבעיה באופן הרבה יותר חד וברור ממשפטי גדל, והקושי שלה לא נובע מ"מה שהוגדר בתור "סיבוכיות"" או אילוצים מעשיים כלשהם.
למה יש שאלות שאין עליהן תשובות 568496
אפופידס • בתשובה לגדי אלכסנדרוביץ' יום ב', 18/4/2011, 10:57
בעניין האקסיומות, גם אני חש אי נוחות בכל פעם שאני נתקל בווריאציות על טענה זו. אם כבר, אז איך היית אתה מגדיר אקסיומות במשפט קליט אחד?
למה יש שאלות שאין עליהן תשובות 568503
שם • בתשובה לאפופידס יום ב', 18/4/2011, 11:50
הנחות יסוד במערכת פורמלית?
למה יש שאלות שאין עליהן תשובות 568507
אפופידס • בתשובה לשם יום ב', 18/4/2011, 13:05
''קליט''
למה יש שאלות שאין עליהן תשובות 568509
גדי אלכסנדרוביץ'  (אתר) • בתשובה לאפופידס יום ב', 18/4/2011, 13:54
"הנחות היסוד של התורה שלנו"?
למה יש שאלות שאין עליהן תשובות 568511
צפריר כהן  (אתר) • בתשובה לגדי אלכסנדרוביץ' יום ב', 18/4/2011, 14:07
יש לה רק הנחת יסוד אחת.
למה יש שאלות שאין עליהן תשובות 568520
אפופידס • בתשובה לגדי אלכסנדרוביץ' יום ב', 18/4/2011, 17:08
נדמה לי שהוא מנסה לומר זאת באופן שיתאים עוד יותר לאוזניים של הדיוטות, שהצמד ''הנחות יסוד'' אינו לגמרי נהיר להם. אבל אין לי הצעה טובה יותר מאשר הניסוח שלך.
למה יש שאלות שאין עליהן תשובות 568522
גדי אלכסנדרוביץ'  (אתר) • בתשובה לאפופידס יום ב', 18/4/2011, 17:20
לי נדמה שהוא פשוט לא מבין את ההבדל. אבל אולי אני מפריז. בכל מקרה לא נראה לי שלעבוד על ההדיוטות במקרה הזה היא הדרך הנכונה להתאים לאוזניים שלהם.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות