בתשובה לגדי אלכסנדרוביץ', 29/04/10 11:37
סוף הדרך 541893
הם ישתמשו בכוח המיוחד של ההידרה ויחזרו לאולימפוס בזמן שלנו.
גם בבעיה המקורית (גולדבך) במובן מסוים בדקת האם נעשו אינסוף צעדים כך שאני לא מבין איזה נקודה נראית לך שונה.
סוף הדרך 541894
כי כאן צריך להרכיב את הבדיקה ההיא על מה שכבר קורה, ואני לא רואה את החלקים מתחברים.

מילא, נתתם לי תרגיל כיפי בחישוביות. מתישהו אחשוב עליו עד הסוף ואז אוכל להסכים/למצוא דוגמה נגדית משכנעת. רק קצת חבל שהדיון לא יימשך כאן.
סוף הדרך 541895
אחלה. השאלה העיקרית היא האם ברור לך שעברת לטענה אחרת?:)
(גם אם בפוקס היסטרי הבנת את הבדיחה אתה כמובן לא חייב לענות).
סוף הדרך 541896
הבנתי, הבנתי.
סוף הדרך 541903
הרקולס עונה בזמן סופי על השאלה "האם חישוב נתון יסתיים בזמן סופי" (אם אנחנו יודעים שכן, נוכל לבצע את החישוב בעצמנו בזמן סופי ולקבל את התוצאה).

ת'ור: אותו דבר, אך החישוב הנתון יכול לכלול שאלות דומות להרקולס.
סוף הדרך 541906
כאמור, אני צריך לראות האם מסתדר לי שת'ור ישאל את הרקולס שאלות, או שיש לנו כאן רמת היררכייה נוספת של מופרכות, וזה משהו שכבר אענה לעצמי עליו בעתיד.

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

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