logoalt Hacker News

gpvos12/09/20241 replyview on HN

It's written in a form of English that is formal enough to have a straightforward translation to logic formulas. Also, in the solution article that now has been posted, it's compared to the statement "I have read all books on my shelf" with an empty shelf, which is indeed vacuously true. The sentence about hats is equivalent, I think even the least exactly-minded English speaker would agree.


Replies

nailer12/10/2024

> Also, in the solution article that now has been posted, it's compared to the statement "I have read all books on my shelf" with an empty shelf, which is indeed vacuously true.

Really? Any human I have ever met when presented with that statement would likely immediately point out that there are no books on that shelf.