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 koyanisqatsi on Monday October 17, 2022 @03:24PM (#33238352)
Yes, paraconsistent logic could be considered an instance of such a system: https://en.wikipedia.org/wiki/Paraconsistent_logic.
[ Parent | on HN ]

There are no comments on this comment yet.