בתשובה להאייל האלמוני, 25/07/07 13:58
אלון, גדי, מישהו? 453500
ואני הבנתי משהו אחר:
גם לדמקה וגם לשח יש הוכחת *קיום*. לדמקה יש היום גם הוכחת *בניה*.
אלון, גדי, מישהו? 453507
אם אפשר, אשמח לקבל לינק להוכחת הקיום לגבי שח.
אלון, גדי, מישהו? 453513
הוכחת הקיום, כפי שאמרו קודם, היא "משפט צרמלו". לרוע המזל, ההוכחה מראש שקיימת אסטרטגיית נצחון לשחור או ללבן, או שקיימת לשניהם אסטרטגיית תיקו; היא לא אומרת (וזו השאלה המעניינת) מה משלושת האפשרויות הללו מתקיים במקרה של שחמט.

משפט צרמלו [ויקיפדיה]
אלון, גדי, מישהו? 453520
המשפט מוכר לי [אגב, לכך כיוונתי כאשר אמרתי שזה "כמעט טריוויאלי", לא הייתה זו כוונתי לזלזל בהוכחה הראשונית]. בפרט, ראובן דיבר על נצחון/תיקו *ללבן*, ולגבי כך שאלתי. אני חושד שהוכחת קיום כזאת לא קיימת לפי שעה.

אבל תודה בכל אופן.
אלון, גדי, מישהו? 453521
כן, אולי אני מתבלבל בין לבן לבין ''צבע כלשהו''.
אלון, גדי, מישהו? 453528
לרגע חשבתי שאתה מתחכם עם ''שחור אינו צבע''. בשחמט הוא כן.
אלון, גדי, מישהו? 453545
זה לא עלה על דעתי.

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

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