Jump to content

Talk:Non-constructive algorithm existence proofs

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Qwerfjkl (bot) (talk | contribs) at 11:11, 12 August 2023 (Adding {{WikiProject banner shell}} (Task 19)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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)[reply]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Non-constructive_algorithm_existence_proofs&oldid=1169957573"