ריגורוזיות
ריגורוזיות (מלטינית: Rigor) או מדוקדקות[1] היא תואר לדבר שמבוצע באופן קפדני, מדויק ומבוסס לוגית. המונח נמצא בשימוש בעיקר בתחומי המתמטיקה, הלוגיקה והפילוסופיה. כיום, ריגורוזיות היא הסטנדרט המקובל וההכרחי לעבודה מתמטית על מנת שתהיה קבילה ומבוססת.
|
"קפדנות היא המוסר של המתמטיקאים." – אנדרה וייל |
שימוש זה נפוץ בייחוד להגדרות והוכחות והוא משמש כתואר חיובי:
- ניסוח ריגורוזי הוא ניסוח קפדני ומדוקדק.
- הוכחה ריגורוזית היא הוכחה שמבוססת היטב, מנוסחת בדקדקנות ובקפידה, וכל צעד בה מנומק היטב מבחינה לוגית. במובן מסוים, הוכחה ריגורוזית היא ההוכחה האידיאלית (מבחינה צורנית) במתמטיקה.
לעומת ה"ריגורוזיות", ישנה גישה של "נפנופי ידיים" (או "על הגל הקל"). מדובר בהסבר או בהוכחה הנסמכים על אינטואיציה, ללא בחינה מדוקדקת, באמצעות הצדקות רופפות, ניסוח מרושל, השארת פערים וחורים בהוכחה, התעלמות מפרטים קטנים וממקרי קצה ואף עקיפת כללי היסק פורמליים. הוכחה כזו לא נועדה להחליף הוכחה ריגורוזית אלא לספק רק רעיון של הוכחה או הצדקה רופפת שלה כאשר ישנן מגבלות טכניות (כמו זמן או רמת ידע) בהסברת הנוסח הריגורוזי והמלא של ההוכחה.
הוכחות רבות החלו את דרכן כ"נפנופי ידיים" ועברו תהליך של "ריגוריזציה" בה הושלמו החורים בהוכחות, תוקנו הפרטים הקטנים והכל בוסס לוגית. דוגמה ידועה לכך היא פיתוח החשבון האינפיניטסימלי שהחל בידי אייזק ניוטון וגוטפריד וילהלם לייבניץ ללא ביסוס סביר ובוסס בהמשך בצורה ריגורוזית בעיקר באמצעות הגדרת הגבול על פי קושי.
