Hacker News Reader

Don't Gödel's incompleteness theorems show that this approach is impossible even for a domain as simple as arithmetic?

Science doesn’t need to be complete. It needs to be useful (that’s what I value in it).