Today at lunch, we ended up spending a fair amount of time pondering and debating Curry's Paradox. None of us were able to explain it very well even by the end of lunch, and some didn't think it was meaningful. After reading a couple of web sites, I now understand it, so I'm going to try to explain it in logical symbols
(
Read more... )