|
סעיף ו' לכאן אפשר אולי להוסיף את המאמר של לואיס קארול על הצב ואכילס בו הצב מראה לאכילס כיצד המרחק בין שתי נקודות דווקא הולך וגדל:
a. שני דברים ששווים לדבר שלישי שווים ביניהם b. שתי צלעות משולש שווים לאותו אורך z. שתי הצלעות שוות זו לזו
הצב לא מקבל את הגזירה מ a+b ל z, ואכילס רוצה לשלוח אותו לשחק כדורגל, אם כי זה יומצא רק בעוד 2000 שנה.
אז הצב מציע להוסיף c. אם a+b נכונים אז גם z נכון
אז הוא אמנם מקבל את אמיתות a+b+c אבל לא את z, ולכן הוא מוסיף את d. אם a+b+c נכונים אז z נכון
ולאחר שקלא וטריא הוא עדיין שולל את היפותזה z.
אכילס מתרגז ואומר שסרובו של הצב לקבל את z למרות שהוא מקבל את a+b+c... דורש שימוש בלוגיקה שתתפוס אותו בגרונו ותכריח אותו לקבל את זה.
קארול נאלץ לעזוב את שני המתדיינים כדי לגשת בדחיפות לבנק, ועברו כמה חדשים עד שהוא נפגש עמם פעם נוספת. עתה אכילס כבר מילא את מחברתו באלף ואחד הנחות.
|
|