בתשובה לגדי אלכסנדרוביץ', 03/01/10 7:44
 |
|
 |
||
|
||||
 |
ודאי - לכן הדגשתי "להצרין". זו לא "רמאות", זו פשוט הדגשת ההבדל בין נביעה לוגית ליכיחות פורמלית. משפט השלמות של גדל מראה שההבדל הזה לא קיים בלוגיקה מסדר ראשון, וחסרונו בלוגיקה מסדר שני מראה את הבעייתיות של מערכות אקסיומטיות מסדר שני. |  |
 |
 |
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |