Беpтpан Расселл и папа римский
В видео с ошибочным доказательством отсылка к баяну:
Один философ испытал сильнейшее потрясение, узнав от Беpтpана Расселла, что из ложного утверждения следует любое утверждение. Он спросил: «Вы всерьез считаете, что из утверждения «два плюс два — пять» следует, что вы папа римский?» Расселл ответил утвердительно. «И вы можете доказать это?» — продолжал сомневаться философ. «Конечно!» — последовал уверенный ответ, и Расселл предложил такое доказательство:
1) Предположим, что 2+2=5.
2) Вычтем из обеих частей по двойке: 2=3.
3) Переставим правую и левую части: 3=2.
4) Вычтем из обеих частей по единице: 2=1.
Папа римский и я — нас двое. Так как 2=1, то папа римский и я — одно лицо. Следовательно, я — папа римский.
А теперь пусть докажет, что он - не Папа Римский. Ведь: "Из ложного утверждения следует любое утверждение."
Здесь, как мне кажется, совсем очевидно - не правильно дифференцируется правая часть.
"предположим что я папа римский"
Правая часть зависит от x в двух местах. Если мы обозначим функцию "сумма n m раз" как S(n,m) частная производная по первому аргументу у неё m а по второму n; А на доске правая часть это S(x,x) и после её дифференцирования выйдет S`= x+x