יצחק נבו 28 שנטילת גרגרים מהערמה שוב ושוב גורמת לכך שנתקשה יותר ויותר לכנות אותה "ערמה", אך מבחינה לוגית היא ממשיכה להיות "ערמה" בגלל האילוץ של המשוואה לעיל ! אף על פי שבמציאות אנו קובעים כי אוסף גרגרים דל או גרגר בודד כבר אינם יכולים להיקרא ערמה . המשוואה נכונה והגיונית, אבל אנחנו מגיעים איתה לתוצאה אבסורדית . היכן הלוגיקה כשלה ? ערמה . jpg הפתרון : הטעות היא במשוואה עצמה - בהתייחסות לערמה רק על פי מרכיביה . ערמה היא ערמה מעצם מהותה ואופייה ולא רק על פי תכולתה . המשוואה "מתעלמת" מכך שיש עוד נתונים שיקבעו אם הערמה היא אכן ערמה . בלוגיקה כל משפט "סגור על עצמו" – הוא מספק את כל האינפורמציה על עצמו, וכאמור יכול להיות אמת או שקר ( מוחלטים ) , בלא אפשרויות ביניים . כך גם משוואה לוגית – כל האינפורמציה שבה המשוואה דנה ניתנת בה עצמה, והיא חייבת להיות נכונה תמיד . אך האם המשוואה לעיל אומרת הכול על מהות 92פתרונות של פרדוקסים הערמה ? אולי יש עוד נתונים שצריך להביא בחשבון כשאנו באים להחליט על גורל הערמה, אם היא ערמה או לא, ולא רק "לפתור" את המשוואה הזאת ? נראה זאת להלן . המשוואה היא רקורסיבית ( מש...
אל הספר