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

תורה, תורה (לוגיקה מתמטית), תורה אור ולקוטי תורה, תורה אחרי צבא, תורה אלקטרומגנטית, תורה בירץ', תורה ברץ', תורה בתפארתה, תורה ודעת, תורה וירא