בתשובה לאלון עמית, 30/06/04 12:09
סמנטיקה 229527
משפטים במתמטיקה נוטים להיות מרובי (>1) כמתים. ואז ההבדל בין "נניח שאין X" ו-"נניח שיש X מוזר" זה ענין של סמנטיקה. לדוגמא משפט נקודת השבת של בראור עצמו. אפשר להסתכל על הנחת השלילה בתור "נניח שקיימת פונקציה כך וכך ללא נקודת שבת". לחלופין אפשר לאמר "נתונה פונקציה כך וכך נניח שאין לה נקודת שבת".

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

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים