A theorem with constructive and non-constructive proofs
History and Overview
2012-12-19 v2
Abstract
We present a very simple example of a theorem with constructive and non-constructive proofs: the equation c^2 x^2 - (c^2 + c)x + c = 0 has a solution.
Cite
@article{arxiv.1211.0442,
title = {A theorem with constructive and non-constructive proofs},
author = {Jaime Gaspar},
journal= {arXiv preprint arXiv:1211.0442},
year = {2012}
}