בתשובה להיא, 17/12/10 13:55
הגרמנית דווקא בסדר, אבל מה עם העברית? 559370
אורי גוראל גורביץ'  (אתר) • בתשובה להיא יום ו', 17/12/2010, 18:29
הכוונה היא פשוט להוכחה מתמטית במלוא מובן המילה (דהיינו, http://en.wikipedia.org/wiki/Formal_proof ), להבדיל נניח, מהוכחות של פיזיקאים. כמובן, עד שנגיע ליום שבו מאמרים ילווו בקוד של ההוכחה לא נוכל להשתמש במילה כפשוטה, ועל כן כעת משתמשים בה כעת לציין משהו שברור לכל מתמטיקאי בתחום איך לתרגם להוכחה פורמלית.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות