3 ms·
But, given x->y, if you prove !y, you can conclude !x, so in a sense kibibu is right (possibly requiring "proved" to be read as "indirectly proved"), and we sho
by xamuel 7y ago
But, given x->y, if you prove !y, you can conclude !x, so in a sense kibibu is right (possibly requiring "proved" to be read as "indirectly proved"), and we should give them the benefit of the doubt.
- pdonis 7y ago> given x->y, if you prove !y, you can conclude !x But given x -> y, if you prove !x, you can't conclude anything. And kibibu said !x, not !y.
- kibibu 7y agoYeah, I interpreted: > quantum fields near the horizon can violate some of the assumptions that are required for the area theorem as !x