בתשובה להאייל האלמוני, 03/03/06 17:20
371254
ירדן ניר-בוכבינדר • בתשובה להאייל האלמוני יום ו', 3/3/2006, 21:19
תודה לאלון על ההסבר הנאה (אף פעם לא עמדתי על ההבדל הזה בין שלמות תחשיב היחסים לאי-שלמות מערכות האקסיומות). אבל נראה לי שכדאי להבהיר, למי שנשאר מבולבל, שאתה צודק‏1: משפטי שלמות ייתכנו לכל מיני מערכות גזירה (ובפרט, יש משפטי שלמות לתחשיב הפסוקים ולתחשיב היחסים). אם אומרים "משפט השלמות של גדל" זה כבר מזהה חד-משמעית את משפט השלמות של תחשיב היחסים, כי אותו גדל הוכיח.

‏1 או שאני טועה.
371256
אלון עמית • בתשובה לירדן ניר-בוכבינדר יום ו', 3/3/2006, 21:20
בהחלט נכון, אתה לא טועה.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות