2 ms·
Actually, there are problems that are neither provably true/false, nor actually true/false. In fact I think a standard counting argument shows that 99.9999...%
by Cacti 16y ago
Actually, there are problems that are neither provably true/false, nor actually true/false. In fact I think a standard counting argument shows that 99.9999...% are in that category.
- podperson 16y agoYes but incompleteness refers to things that are true but can't be proven to be true. I think you're referring to the idea of prospective axioms which can be proven to be independent of existing axioms (notably the axiom of choice). This is another thing altogether. In the end, knowing enough about something to reduce it to axioms is only the start and not the end of understanding. P = NP wouldn't suddenly trivialize the problems so much as indicate that a polynomial time solution exists somewhere.