משפטי האי-שלמות של גדל
קורט גדל היה לוגיקן שהוכיח בשנות ה-30 שני משפטים חשובים. הם מראים שלמערכות חוקים במתמטיקה יש גבולות. מערכת אקסיומות היא קבוצה של כללים בסיסיים. אם המערכת ברורה ומכאנית, אפשר לבדוק חוקים בה בצורה מדויקת. המשפט הראשון אומר שקיימת תמיד טענה שאי אפשר להוכיח או להפריך בתוך המערכת. הגדל בנה טענה שאומ...
תורה (לוגיקה מתמטית)
תורה בבבלוגיקה היא רשימה של כללים ושפה מתמטית. אקסיומה היא משפט שמקבלים כנכון בתוך הרשימה. משתנה חופשי הוא משתנה שלא קשור בכמותים כמו "לכל" או "קיים". לשפה עצמה אין פירוש עד שבוחרים מודל, כלומר מבנה שמתאים לסימנים. דמיינו מסעדה: P אומר "זו צלחת" ו‑A(x,y) אומר ש‑x ו‑y יושבים באותו שולחן. אז חוק יכו...