שאלה
מתוך הסיפור "חלוקה באפס" מאת טד צ'יאנג: "קיימת 'הוכחה' ידועה היטב לכך שאחת שווה שתיים. היא מתחילה הכמה הגדרות. הצב ערך a = 1; הצב ערך b = 1; היא מסתיימת במסקנה "a = 2a", כלומר, אחת שווה שתיים. באמצע מסתתרת לה בשקט חלוקה באפס, ובנקודה זו קופצת ההוכחה מעל הצוק, והופכת את כל הכללים לבטלים ומובטלים. התרת חלוקה באפס מאפשרת לאדם להוכיח שלא זו בלבד שאחת ושתיים שווים, אלא שכל שני מספרים - אמיתיים או דמיוניים, הגיוניים או לא הגיוניים - הם שווים..." האם באמת יש כזו הוכחה? אם כן, אפשר פירוט עליה? תודה
מתוך הסיפור "חלוקה באפס" מאת טד צ'יאנג: "קיימת 'הוכחה' ידועה היטב לכך שאחת שווה שתיים. היא מתחילה הכמה הגדרות. הצב ערך a = 1; הצב ערך b = 1; היא מסתיימת במסקנה "a = 2a", כלומר, אחת שווה שתיים. באמצע מסתתרת לה בשקט חלוקה באפס, ובנקודה זו קופצת ההוכחה מעל הצוק, והופכת את כל הכללים לבטלים ומובטלים. התרת חלוקה באפס מאפשרת לאדם להוכיח שלא זו בלבד שאחת ושתיים שווים, אלא שכל שני מספרים - אמיתיים או דמיוניים, הגיוניים או לא הגיוניים - הם שווים..." האם באמת יש כזו הוכחה? אם כן, אפשר פירוט עליה? תודה