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