News for hackers. Stuff that matters.
Re:The Axiom of Choice Is Wrong (2007) by amelius on Sunday February 05, 2017 @05:07PM (#13574944)
Wikipedia ([1]) describes some ways around Godel's incompleteness theorem.

[1] https://en.wikipedia.org/wiki/Hilbert's_program#Hilbert.27s_...

There are no comments on this comment yet.