|
||||
|
||||
(שכחתי להמליץ, לא בפעם הראשונה כמדומני, על Computability and Logic של Boolos, Burgess and Jeffrey. יש שם ניסוחים מדוייקים של כל המשפטים שהצליחו לבלבל אותך עד כה, כולל פרק קצר ונאה המסביר איך כל המשפטים הבסיסיים מתרסקים בתורות מסדר שני: משפט הקומפקטיות, סקולם-לוונהיים, ומשפט השלמות). |
|
||||
|
||||
אני לא מבין כלום במתמטיקה, אבל יש לי הרגשה שאתם לא בדיון הנכון. |
|
||||
|
||||
אני מקווה שאתה טועה, אבל אין לי רצון עז להעמיק חקר בשאלה הזו. |
|
||||
|
||||
לא ממש תכננתי לחזור לדיון הזה כי נראה לי שיש בו כל מה שצריך בשביל לקבוע דעה. אבל על תגובה 164351 קשה לוותר. |
|
||||
|
||||
לקחתי מהספרייה. נראה אחלה ספר (אני חושב שהצצתי בו פעם ולא התעמקתי - עכשיו אנסה לעשות קריאת Cover to cover). |
חזרה לעמוד הראשי |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |