חוק הופשטטר

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

החוק קובע כי:

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

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

ראו גם
לולאה מוזרה - עוד הפניה עצמית מבית מדרשו של הופשטטר.

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

חוכמת חיים
רקורסיה