בתשובה לאינקוגניטו, 27/12/09 21:35
יש אמת מעבר למילים. 532256
צפריר כהן • בתשובה לאינקוגניטו יום א', 27/12/2009, 21:59
הם מקווים לטוב.

אבל אתה לא הצלחת לשכנע אותי בטענות מתגובה 532220. לא הצלחת לשכנע אותי שאתה יכול לספק לי הוכחה (ההוכחה שהצגת לא עובדת על מספרים גדולים מספיק). לא הצלחת להראות לי שהיא לא מסתמכת על אקסיומת האינדוקציה (גם לא ממש ניסחת את הטענה הזו בקפדנות).

הבעיה היא שהיית מצליח לספק לי את אותה הוכחה שאמורה להיות משכנעת גם כאשר היא אינה נכונה. כדי שהיא תהיה נכונה, על כל n המחשב אמור להוציא לך בחישוב ערך גדול מ־n. אם אתכנת את המחשב לשקר, זה לא יעבוד. לדוגמה: אם אני יודע מראש שתבדוק רק מליון מספרים, אני אתכנת את המעבד שאני בונה לשקר לך (לחסר 1 מ־n במקום להגדיל ב־1) בבדיקה המליון ועוד אחד. לחילופין, אני יכול לתכנת את המעבד לשקר לך במקום אקראי, ואז קיים סיכוי‏1 שתחשוב שהמחשב מאשש את טענתך, למרות שהוא לא.

אבל יש גם דרך יותר פשוטה: אני אפעיל את האלגוריתם הבא:

א. בקש מאינקוגניטו להראות את נכונות הטענה לגבי x
ב. טען: "ההוכחה לגבי המספרים עד x לא מספיקה לי - לא בדקת שהמחשב מחשבר נכון גם את הערך x+1".
ג. הגדל את x ב־1
ד. חזור ל־א'

אני מניח שקוראי האייל מכירים היטב טכניקות דומות.

‏1 אם כי במקרה הזה הסיכוי יכול להיות זניח למדי, אם לא נזהרים עם הפרמטרים)
יש אמת מעבר למילים. 532259
אינקוגניטו • בתשובה לצפריר כהן יום א', 27/12/2009, 22:24
וואו כתבתי שתי שורות, והצלחת להבין אותי הפוך לחלוטין, כנראה שאני באמת מוכשר.

לא כתבתי שיש לי הוכחה או שאני יכול למצוא אחת. אמרתי שאני *מבין* ש n+1>n. כל הנקודה שלי היא שיש דברים שאני יודע שהם נכונים גם בלי הוכחות.
יש אמת מעבר למילים. 532262
צפריר כהן • בתשובה לאינקוגניטו יום א', 27/12/2009, 22:39
זה לא נכון תמיד בשעון שלי.

הבעיה היא שמתמטיקה (גם המעשית) זימנה לנו לא מעט תוצאות לא אינטואיטיביות.

לדוגמה: הצפנה אסימטרית, נחשבה עד לשנות השבעים למשהו לא הגיוני.
יש אמת מעבר למילים. 532264
אינקוגניטו • בתשובה לצפריר כהן יום א', 27/12/2009, 22:44
הכוונה בפונקציות שמוגדרות כמו שצריך.

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