 |
|
 |
||
|
||||
 |
אוקי. תודה לאא ולאגג על ההבהרה. אני מכירה את המילה משימושה הנפוץ בגרמנית, שבה המשמעות הינה בדיוק מַחְמִיר, קָשׁוּחַ, וקַפְּדָן (לא תמיד במובן השלילי של המילה). מהי המשמעות המתמטית הטכנית הנוספת? האם התכוון אמ בהתשמשו במילה למשהו נוסף מעבר למַחְמִיר, קָשׁוּחַ, או קַפְּדָן? |
 |
 |
 |
|
|
|
||
|
||||
|
הכוונה היא פשוט להוכחה מתמטית במלוא מובן המילה (דהיינו, http://en.wikipedia.org/wiki/Formal_proof ), להבדיל נניח, מהוכחות של פיזיקאים. כמובן, עד שנגיע ליום שבו מאמרים ילווו בקוד של ההוכחה לא נוכל להשתמש במילה כפשוטה, ועל כן כעת משתמשים בה כעת לציין משהו שברור לכל מתמטיקאי בתחום איך לתרגם להוכחה פורמלית. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |