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