News for hackers. Stuff that matters.

A comment on Gödel’s first incompleteness theorem – an interactive tutorial. Parent comment

Re:Gödel’s first incompleteness theorem – an interactive tut... by aristofun on Wednesday October 19, 2022 @04:13PM (#33267390)
How and why does a specific contradiction "coll_conj and ¬coll_conj" apply to all possible conjectures?
[ Parent | on HN ]

There are no comments on this comment yet.