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

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