פרדוקס הערמה – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
עריכה
יהודה 01 (שיחה | תרומות)
ניסוח ברור יותר
שורה 6:
1. גרגר חול אחד אינו ערימה.
 
2. אם מצבור של גרגרי חול אינושאינו ערימה, הוספת גרגר אחד לא תהפוך אותו לערימה.
 
[[אינדוקציה מתמטית]] מסיקה מן ההנחות האלה את הטענה המופרכת בעליל, שלא קיימות ערימות חול בעולם. כלומר, שכל אוסף סופי של גרגרי חול אינו מהווה ערימה. הרי עבור המקרה N=1, כלומר גרגר חול אחד, הטענה נובעת מההנחה הראשונה. ואם הטענה נכונה עבור N כלשהו, מההנחה השנייה נובע כי גם N+1 גרגרים אינם מהווים ערימה. כלומר אין ערימות חול בעולם.