News for hackers. Stuff that matters.
Re:1931: Kurt Gödel shows limits of math, logic, computing, AI by ProfHewitt on Monday June 21, 2021 @07:29PM (#27585916)
Classical mathematical logic requires complete consistency.

Discourse using empirical information inevitably involves some disagreement requiring robust inference.

See the following article:

https://papers.ssrn.com/abstract=3789701

There are no comments on this comment yet.