(מי שלא ראה את החידה, אני ממליץ לחזור בלי להציץ ולנסות קודם לפתור את החידה בעצמו. הנה הלינק )
הפתרון:
את חידת האריות הלוגיים אנחנו פותרים קצת כמו חד גדיא של ליל הסדר. בשפה המקצועית קוראים לזה אינדוקציה.
בואו נראה:
אם היה על האי רק אריה אחד, הוא לא היה חושש להטרף בעצמו (אחרי שיהפוך לכבשה) ולכן, היה טורף את הכבשה מייד.
אם באי היו שני אריות, כל אחד מהם היה חושש שאחרי שיטרוף את הכבשה, יהפוך הוא לכבשה, ויטרף על ידי האריה השני. לכן, אם יש שני אריות על האי, הכבשה תשאר בחיים.
עכשיו נתבונן במקרה של שלושה אריות על האי:
הראשון שרואה את הכבשה, יודע, שאם יטרוף אותה - יהפוך לכבשה, ואז יהיו על האי שני האריות האחרים וכבשה (הוא עצמו). ברגע שיהיו שני אריות וכבשה, כך כבר ראינו, הכבשה לא תטרף.
אם כן, במצב של שלושה אריות וכבשה, האריה הראשון שיראה את הכבשה, יטרוף אותה ללא חשש.
מי כבר מנחש מה יקרה עם ארבעה אריות וכבשה על האי?
ניחשתם נכון. כל אחד מארבעת האריות רואה את הכבשה, ויודע, שאם יטרוף אותה, יהפוך לכבשה בעצמו. במצב זה ישארו שלושת האריות האחרים עם כבשה - מצב שכבר ראינו שהוא עגמומי למדי עבור הכבשה….
אם כך, החוקיות ברורה:
במספר אי זוגי של אריות על האי, הכבשה נטרפת.
במספר זוגי של אריות - הכבשה תמות, אולי, מזיקנה.
כולכם מוזמנים לראות הרצאה קצרצרה ומעוררת השראה ממש שראיתי היום.
כרגע היא באנגלית ללא תרגום (האנגלית לא קשה).
בדרך כלל בתוך ימים אחדים החבר'ה של טד מוסיפים תרגום לכל השפות כולל עברית.
אין תגובות:
הוסף רשומת תגובה