בתשובה לMRP, 24/07/07 7:32
אלון, גדי, מישהו? 453357
נצחון בלתי נמנע בהחלט עומד בתנאי ''למנוע מהצד השני לנצח''.
אלון, גדי, מישהו? 453381
אני התייחסתי רק ל-''במשחק בו תיקו הוא אופציה (עפ''י חוקי המשחק), ברור שלא ניתן להוכיח שמישהו חייב לנצח''.
אלון, גדי, מישהו? 453386
חלק מהיופי במתמטיקה הוא היכולת לומר על דברים כמעט טריוויאליים שהם באמת טריוויאליים ואין מלכודת שמסתתרת מאחוריהם (מלכודות כאלו קיימות הרבה יותר משנדמה במבט ראשון).
אלון, גדי, מישהו? 453397
זהו, שיש מלכודת.
המשפט "במשחק בו תיקו הוא אופציה (עפ"י חוקי המשחק), ברור שלא ניתן להוכיח שמישהו חייב‏1 לנצח" הוא שגוי.
___
1 חייב במובן זה שהנצחון תלוי רק בו, ולצד השני אין דרך להימנע מהפסד.
אלון, גדי, מישהו? 453402
התייחסתי ל''כמעט טריוויאלי'' מההודעה הקודמת שלו (על משחק ''כלשהו'').

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

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