טרחנים כפייתיים במתמטיקה

בתשובה לדורון שדמי, 05/09/05 16:57

בקשה

327736

האייל הצעיר • בתשובה לדורון שדמי

יום ב', 5/9/2005, 20:13

"א) הוא מסביר את יופיה וכלליותה של השיטה-הדדוקטיבית, ומסביר כיצד ניתן לבנות בעזרתה מערכת הגדרות מכוננות עיקביות וריגורוזית לחלוטין, שבעזרתה ניתן להכריע, *ללא יוצא מן הכלל, כל משפט* הנגזר מאותם הגדרות מכוננת ולהראות בצורה חד-משמעית אם הוא אמת או שקר במסגרת (ורק במסגרת) מערכת ההגדרות המכוננות." (הדגשות שלי)

אולי תוכל להראות לי בבקשה איפה אלון טען דבר כזה?

חזרה לעמוד הראשי

המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
RSS מאמרים \| כתבו למערכת \| אודות האתר \| טרם התעדכנת \| ארכיון \| חיפוש \| עזרה \| תנאי שימוש	© כל הזכויות שמורות