ויקיפדיה

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

עיון אינטראקטיבי בהיסטוריה
→ העריכה הקודמתהעריכה הבאה ←
תוכן שנמחק תוכן שנוסף
חזותיקוד ויקי
Matanyabot (שיחה | תרומות)
475,756 עריכות
מ בוט החלפות: \1כדי
שורה 4:
באופן מובנה יותר, ניתן לתאר את הפרדוקס כמבוסס על שתי ההנחות הבאות שנדמות כמוסכמות:
# גרגר חול אחד אינו ערימה
# הוספתאם גרגר חול אחד לכל כמותמצבור גרגרי חול שהיאאינו ערימה, אינההוספת הופכתגרגיר אחד אתלא הכמותתהפוך המתקבלתאותו לערימה.
 
ב[[אינדוקציה מתמטית]] ניתןמסיקה להוכיחמן ההנחות האלה את הטענה המופרכת בעליל, שלא קיימות ערימות חול בעולם. כלומר להוכיח, שכל אוסף סופי של גרגרי חול אינו מהווה ערימה. אם כךהרי עבור המקרה N=1, כלומר גרגר חול אחד, הטענה נובעת מההנחה הראשונה. כעתואם בהינתן שהטענההטענה נכונה עבור N כלשהו, הרי שמההנחהמההנחה השנייה נובע כי גם N+1 גרגרים אינם מהווים ערימה. כלומר אין ערימות חול בעולם.
 
הפרדוקס מדגים את העמימות המובנית של ה[[שפה]] האנושית. המונח "ערימה" אינו מבוסס על הגדרה החלטית ומדויקת, כי אם על מושג שתפיסתו היא מעורפלת וגמישה. יש שיאמרו שאין כלל מקום להפעיל על מונח לשוני זה כלים לוגיים פורמליים מהסוג שהודגם כאן.
אוחזר מתוך "https://he.wikipedia.org/wiki/פרדוקס_הערמה"