Hacker News new | ask | show | jobs
by elsamuko 1256 days ago
That's a paradox.

See also https://xkcd.com/552/
2 comments
mdp2021 1256 days ago
> paradox

It technically isn't, because it's not an "Epimenides" - the poster is not asking to be believed, but just encouraging.

It is not that ¬B(¬B(x)) would promote a truth value of x.

link
catach 1256 days ago
Technically, you don't know if it might be a paradox, because you don't know if I personally know OP or not. Except, I don't know OP, so I can't know that you don't know--hell, you might even be OP.
link