בתשובה לדני גליק, 23/08/14 14:41
 |
|
 |
||
|
||||
 |
האמת היא שאני מבין מאד קטן בלוגיקה מסדר שני, אבל הלינק הבא נראה מעניין: הכותב מסביר שתורת פיאנו מסדר שני אינה שלמה בגלל שתורת פיאנו מסדר ראשון אינה שלמה, אבל היא אינה שלמה גם ללא תלות בזה (אם הבנתי נכון, גם בהינתן אורקל שאומר לנו על כל משפט מסדר ראשון אם הוא נכון במודל הסטנדרטי, תורת פיאנו מסדר שני היא לא כריעה. הכותב מסתמך על משפט טארסקי, שתקף גם לגבי תורת פיאנו מסדר שני). |
 |
 |
 |
|
|
|
||
|
||||
|
מצטער שאין לי זמן להגיב. אני ממליץ מאוד על הספר הזה עבור הנושאים הללו: |
|
|
|
|
|
|
||
|
||||
|
תודה. גם הפנייה לספר היא תגובה מועילה :-) | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |