Hacker News new | ask | show | jobs
by mdp2021 1260 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.