Open Internet by MindsNet

Finding Non-Constructive Existence Proofs with Minimal Information

The problem seeks examples of non-constructive existence proofs that provide minimal information about the solution. Current examples either rely on non-constructive axioms or are based on exhaustive cases, which are not ideal. The goal is to show existence with little to no information about the actual solution.

Mathematics & logic, Mathematics, Mathematical Logic