罗素的证明
程序员文章站
2022-04-17 15:39:50
听说,有一功德之人曾向闻名的英国哲学家兼逻辑学家罗素提出这样一个题目:老师,既然假命题蕴涵任何命题,那么你可否由2+2=5这个假命题推出“罗素与某主教是一...
听说,有一功德之人曾向闻名的英国哲学家兼逻辑学家罗素提出这样一个题目:老师,既然假命题蕴涵任何命题,那么你可否由2+2=5这个假命题推出“罗素与某主教是一个人”这个命题呢? 罗素不假思考,顿时给了这样一个证明: 既然认可2+2=5,而我知道2+2=4,故5=4。等式两边减一减频频减一,等量减等量,余数相称,故又得2=1。而人们知道,罗素与那位主教是两小我私人(2),以是罗素与那位主教是一小我私人(1),由于2=1。证明完毕。