This page should be a subsection of Constructive_proof#Non-constructive_proofs, since it gives examples of non-constructive proofs in computer science. However,
| This article has not yet been rated on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||
| ||||||||||||||||||
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)
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.