בתשובה לדורון שדמי, 05/09/05 16:57
 |
|
 |
||
|
||||
 |
"א) הוא מסביר את יופיה וכלליותה של השיטה-הדדוקטיבית, ומסביר כיצד ניתן לבנות בעזרתה מערכת הגדרות מכוננות עיקביות וריגורוזית לחלוטין, שבעזרתה ניתן להכריע, *ללא יוצא מן הכלל, כל משפט* הנגזר מאותם הגדרות מכוננת ולהראות בצורה חד-משמעית אם הוא אמת או שקר במסגרת (ורק במסגרת) מערכת ההגדרות המכוננות." (הדגשות שלי) אולי תוכל להראות לי בבקשה איפה אלון טען דבר כזה? |
 |
 |
 |
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש והצהרת נגישות
|
© כל הזכויות שמורות |