תנו לגדול בשקט

האייל האלמוני • בתשובה לאלון עמית

יום ו', 3/3/2006, 21:29

א. אם כך, האם אין כאן שום עניין של טאוטולוגיות? (משום מה זכור לי שיש).

ב. האם יש כאן איזה קישור בין סינטקס לסמנטיקה?

שבת, 4/3/2006, 10:29

ב. כן. נובע סינטקטית משמעו ניתן להוכחה פורמלית. נובע סמנטית משמעו נכון בכל מודל המקיים את האקסיומות. משפט השלמות אומר שהשניים שקולים.

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
RSS מאמרים \| כתבו למערכת \| אודות האתר \| טרם התעדכנת \| ארכיון \| חיפוש \| עזרה \| תנאי שימוש	© כל הזכויות שמורות