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