חוק הופשטטר

מתוך ויקיפדיה, האנציקלופדיה החופשית

חוק הופשטטר הוא אמרת כנף רקורסיבית שנטבעה על ידי מדען המחשב דאגלס הופשטטר ונקראת על שמו.

החוק קובע כי:

"לעולם יידרש לך יותר זמן משציפית, גם אחרי שהבאת בחשבון את חוק הופשטטר."

מתורגם מאנגלית מתוך: גדל אשר באך, עמוד 152

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

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

ראו גם[עריכת קוד מקור | עריכה]

כללים נוספים[עריכת קוד מקור | עריכה]

יש עוד כללים פסימיים ביסודם, העוסקים בחוסר היכולת לארגן דברים כמו שצריך. כמו חוק הופשטטר, גם הם קרויים על שם טובעיהם: