News for hackers. Stuff that matters.

A comment on Gödel, Escher, Bach: an in-depth explainer. Parent comment

Re:Gödel, Escher, Bach: an in-depth explainer by mjan22640 on Wednesday September 14, 2022 @03:09AM (#32834153)
It is still a paradox, a two step one, that drags the whole system into being a paradox. The false statements that have a proof do already abstractly exist.
[ Parent | on HN ]
Re:Gödel, Escher, Bach: an in-depth explainer by Kranar on Wednesday September 14, 2022 @02:58PM (#32841661)
There is no paradox in the statement "This sentence has no proof."
[ Parent | on HN ]