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

בתשובה לירדן ניר-בוכבינדר, 03/03/06 17:13

371237

האייל האלמוני • בתשובה לירדן ניר-בוכבינדר

יום ו', 3/3/2006, 17:20

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

371254

ירדן ניר-בוכבינדר • בתשובה להאייל האלמוני

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

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

‏¹ או שאני טועה.

371256

אלון עמית • בתשובה לירדן ניר-בוכבינדר

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

בהחלט נכון, אתה לא טועה.

חזרה לעמוד הראשי

המאמר המלא

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