Talk:Non-constructive algorithm existence proofs
 | This article has not yet been rated on Wikipedia's content assessment scale. |
This page should be a subsection of Constructive_proof#Non-constructive_proofs, 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)