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

יום ב', 3/4/2006, 23:42

ומה ההגדרה הפורמלית ל"מודל" (אם היא לא מסובכת מדי)?

יום ג', 4/4/2006, 4:06

הגדרה לא לגמרי פורמלית יש בתגובה 318055, ומשהו קצת יותר מפורט יש כאן:

אם זה לא מספיק פורמלי או ברור, שאל.

מה נאמר באותה הרצאה? מהן הבעיות

מיכל • בתשובה לאלון עמית לרגע

שבת, 29/7/2006, 21:50

הפילוסופיות שנובעות ממשפט השלמות על תחשיב הפרדיקטים?

מה נאמר באותה הרצאה?

יום א', 30/7/2006, 3:16

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

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