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

פונקציות פרימיטיביות רקורסיביות, פונקציות רציפות, פונקצייה חסומה, פונקצייה על, פונקציית L, פונקציית אוילר, פונקציית אוריסון, פונקציית איירי, פונקציית אקרמן, פונקציית בחירה חברתית