A theorem with constructive and non-constructive proofs
classification
🧮 math.HO
keywords
constructivenon-constructiveproofstheoremequationexamplesimplesolution
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.