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