Talk:Non-constructive algorithm existence proofs

This page should be a subsection of Constructive_proof, since it gives examples of non-constructive proofs in computer science. However, due to its length I think it is better to make it a separate page. Maybe it's better to rename it to "non-constructive proofs in computer science" or "pure existence proofs in complexity theory". --Erel Segal (talk) 08:41, 25 November 2014 (UTC)