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 caiquelira on Monday October 17, 2022 @02:57PM (#33238039)
It doesn't lead to a contradiction, the contradiction was already there. If you have a contradiction on your system you can prove everything:

1- Assume ¬X

2- Point out the contradiction

3- Therefore X is true

[ Parent | on HN ]
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 ]