Proofs of Existence and Optimality · Proofs of Nonexistence
Lesson 7
Problem. Is this a correct proof?
There cannot be more than eight queens because in each of the eight columns there cannot be more than one queen.
This problem can only be submitted at Cogniterra.
Yes, it is correct.
No, it is incorrect.