3 ms·
Maybe that could be a thing to prove. Is it possible to prove that something is not provable?
by sacheendra 9y ago
Maybe that could be a thing to prove.
Is it possible to prove that something is not provable?
- jlebar 9y agoSee http://www.scottaaronson.com/papers/indep.ps http://www.scottaaronson.com/papers/indep.ps
- emmab 9y ago> Is it possible to prove that something is not provable? It's possible to prove that something is not provable within some axiom set. See: https://en.wikipedia.org/wiki/List_of_statements_independent_of_ZFC https://en.wikipedia.org/wiki/List_of_statements_independent...
- infogulch 9y agoIn general yes. [1] I don't know about PvNP [1]: https://math.stackexchange.com/questions/2027182/how-do-we-prove-that-something-is-unprovable https://math.stackexchange.com/questions/2027182/how-do-we-p...
- auggierose 9y agoYep. That's what Gödel did.