מטריצות פאולי
מטריצות פאולי הן שלוש "טבלאות" קטנות של מספרים. כל טבלה היא בגודל שני על שני. "טבלה" כאן פירושה מטריצה. יש שלוש מטריצות: σ1, σ2 ו‑σ3. כל אחת נותנת דרך שונה לשנות וקטור קטן של שני מספרים. אחת מחליפה בין שתי הכניסות. השנייה משתמשת ב‑i, שהוא מספר דמיוני. השלישית נותקת סימן אחד ל־+1 ולחברו ל‑−1. הן מ...
תזת צ'רץ'-טיורינג
תזת צ'רץ'-טיורינג הוצעה על ידי אלן טיורינג ואלונזו צ'רץ' בשנות ה־30. היא אומרת: כל חישוב הגיוני אפשר לעשות עם מכונת טיורינג. מכונת טיורינג היא מכונה מדומיינת. היא קוראת וכותבת סימנים על סרט, בצעדים פשוטים. יש גרסאות שונות של התזה. גרסה חזקה מדברת על זמן ומשאבים. גרסה פיזיקלית אומרת שכל דבר שמערכת פ...