הוכחה בנפנופי ידיים

הוכחה בנפנופי ידיים הוא ביטוי המתאר נימוק של טענה בהיעדר הוכחה פורמלית מלאה ומוסדרת. הביטוי נפוץ בתחומים כמו מתמטיקה, פיזיקה, ודיבייט, ולקוח מן הנטייה לשימוש בתנועות ידיים להמחשת רעיונות בצורה אינטואיטיבית.

במקרים מסוימים, הסבר בנפנוף ידיים יכול לסייע בהבנת בעיות מורכבות בכך שמתרכזים ברעיון הכללי מאחורי הטענה במקום בדקויות שעליה הטענה מסתמכת, במיוחד כאשר ההוכחה הפורמלית ארוכה או מסובכת. עם זאת, הביטוי נושא לעיתים גוון שלילי, ומשמש כדי לבקר תיאוריות והוכחות מדעיות או מתמטיות שאינן מנוסחות באופן קפדני וברור.

דוגמאות להוכחות בנפנופי ידיים

 את הצורך במאיצי חלקיקים ובאנרגיות גבוהות על מנת לחקור חלקיקים אלמנטריים ניתן להסביר כך: ככל שחלקיקים מוגבלים למקום מוגבל ומוגדר היטב, כך על-פי עקרון האי-ודאות אי הוודאות בתנע שלהם גדולה יותר, ולכן כדי לקשור חלקיקים אלו יחד יש צורך באנרגיות גבוהות. מכאן שככל שחלקיקים קטנים יותר כך על מנת לחקור את המבנה שלהם יש צורך באנרגיות גבוהות יותר. זו דוגמה לניסיון הוכחה בנפנופי ידיים שכן היא מהווה הסבר אינטואיטיבי אך לא הוכחה פורמלית.
 עם השנים, התפתחותה של המתמטיקה העיונית הובילה להתחזקות הגישה האקסיומטית, ולירידת קרנו של האמפיריציזם במתמטיקה לא שימושית. כתוצאה מכך, הוכחות שבזמנן נחשבו לתקינות, כיום נתפסות כהוכחות בנפנופי ידיים. דוגמאות רבות לפערים מסוג זה מצויות בהיסטוריה של החשבון האינפיניטסימלי. לדוגמה, התורה שעליה התבסס התחום החל מסוף המאה ה-17, נבנתה סביב מושגים כגון מושג הגבול, שנוסח לראשונה באופן ריגורוזי רק ב על ידי אוגוסטן לואי קושי (ראו: הגדרת הגבול לפי קושי).

 ראו גם 
 הוכחה
 חישוב על גב מעטפה
 ריגורוזיות
 טרחן כפייתי
 תאוריה מדעית

 הערות שוליים 

קטגוריה:ביטויים
קטגוריה:הוכחה