Questions tagged [proof-search]
Proof search problems in formal systems
1 question
37
votes
2
answers
2k
views
If P=NP, could we obtain proofs of Goldbach's Conjecture etc.?
This is a naive question, out of my expertise; apologies in advance.
Goldbach's Conjecture and many other unsolved questions in mathematics can be written
as short formulas in predicate calculus.
For ...
- 3,773