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