בתשובה לאמ, 15/12/10 21:42
הגרמנית דווקא בסדר, אבל מה עם העברית? 559274
היא • בתשובה לאמ יום ד', 15/12/2010, 23:00
הגרמנית דווקא בסדר, אבל מה עם העברית? 559350
אא • בתשובה להיא יום ו', 17/12/2010, 9:14
התואר ''ריגורוזי'' שגור מאוד בפקולטות העבריות למדעים מדויקים, כמחמאה להוכחה קפדנית. בנקודה זו, אין מקום לביקורת על אמ.
הגרמנית דווקא בסדר, אבל מה עם העברית? 559363
אורי גוראל גורביץ'  (אתר) • בתשובה להיא יום ו', 17/12/2010, 12:44
למלה ריגורוזי יש משמעות מתמטית טכנית שאינה זהה (בעברית של היום) למַחְמִיר, קָשׁוּחַ, קַפְּדָן.
הגרמנית דווקא בסדר, אבל מה עם העברית? 559364
היא • בתשובה לאורי גוראל גורביץ' יום ו', 17/12/2010, 13:55
אוקי. תודה לאא ולאגג על ההבהרה.

אני מכירה את המילה משימושה הנפוץ בגרמנית, שבה המשמעות הינה בדיוק מַחְמִיר, קָשׁוּחַ, וקַפְּדָן (לא תמיד במובן השלילי של המילה).

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