קידוד גדל
מונח בלוגיקה מתמטית / ויקיפדיה האנציקלופדיה encyclopedia
בלוגיקה מתמטית, מספר גדל (Gödel) הוא פונקציה המקצה לכל סמל ונוסחה בנויה-היטב של שפה פורמלית כל שהיא, מספר טבעי ייחודי, הנקרא מספר גדל שלה. המושג היה בשימוש על ידי קורט גדל להוכחת משפטי אי-השלמות שלו. (Gödel 1931)
מספר גדל יכול להתפרש כקידוד, שבו מוקצה מספר לכל סמל בסימון מתמטי, כאשר בשלב הבא, רצף של מספרים טבעיים יכול לייצג רצף של סמלים. רצף זה של מספרים טבעיים יכול בתורו להיות מיוצג על ידי מספר טבעי יחיד, ובכך להקל מניפולציה עליו בתאוריות פורמליות של האריתמטיקה.
מאז פרסום המאמר של גדל ב-1931, נעשה שימוש במונח "מספר גדל" או "קידוד גדל" כדי להתייחס להקצאה כללית יותר של מספרים טבעיים לאובייקטים מתמטיים.